Spécifications

Backus-Naur Form. Méthode de description de la syntaxe d'un langage formel, conçue d'abord par J. W. Backus puis reprise par P. Naur. Elle a été utilisée pour la première fois pour spécifier le langage ALGOL. Exemple classique, ici issu du Jargon File 3.0.0 :

<adresse>::=<nom> <rue> <ville> .

<nom>::=<prénom> <nom-de-famille> <EOL> | <statut-civil> <prénom> <nom-de-famille> <EOL> .

<rue>::= [<apt>] [<bat>] <numéro> <nom-de-rue> <EOL> .

<ville>::= <code-postal> <nom-de-ville> <EOL> .

Une adresse est donc composée d'un nom, d'une rue et d'une ville. Un nom est composé soit d'un prénom et d'un nom, soit d'un statut civil (Madame, Mademoiselle, Monsieur, etc.) d'un prénom et d'un nom. Un nom est toujours terminé par une fin de ligne. Une rue est composée de deux éléments optionnels, un numéro d'appartement et un identifiant de bâtiment, puis doit contenir un numéro de rue, une virgule, un nom de rue et se termine par une fin de ligne. Enfin, la ville est un code postal suivi du nom de la ville et d'une fin de ligne. La BNF a été largement étendue depuis ses débuts, reprise par exemple pour les base de données avec leurs célèbres formes normales numérotées de 1 à 3, voire 5 pour les spécialistes, et peut maintenant utiliser la récursion ainsi que divers symboles et wildcards. On rencontre aussi la FBN et la FNB, qui sont deux version française, rarement utilisées.

(29-11-2003).