Cours Ada 1 - Libre

3
III - Notations B.N.F.
Une représentation très utilisée en théorie des langages (voir cours correspondant niveau BAC + 3) est la
notation dite B.N.F. (Backus-Naur-Form). Outre son aspect purement descriptif d'une grammaire, elle est
sous-tendue par une théorie mathématique qui la rend indispensable. De plus elle peut être directement utilisée
par un traitement de texte sans graphisme ou un analyseur syntaxique. Malgré cela nous ne l'utiliserons pas dans
ce cours car elle est moins lisible que les diagrammes syntaxiques. Cependant elle est utilisée dans le manuel de
référence Ada (voir par exemple Barnes pages 595 à 609) et de ce fait doit être connue.
Sept symboles particuliers (méta-symboles) sont utilisés :
• : : = qui signifie "est défini comme"
• | qui signifie « ou bien », ce symbole marque donc l’alternative.
• [ ] qui signifie que les éléments entre les crochets peuvent être présents 0 ou 1 fois,
• { } qui signifie que les éléments entre les accolades peuvent être présents 0, 1 ou plusieurs fois,
• ' ' qui encadrent des éléments terminaux, (correspondant aux cartouches arrondis des
diagrammes syntaxiques),
• < > qui encadrent des éléments non terminaux (correspondant aux cartouches rectangulaires des
diagrammes syntaxiques),
• ( ) qui permettent de regrouper des parties de définition, ces parenthèses sont utilisées chaque fois
qu'il y a ambiguïté.
Par exemple, les 4 diagrammes syntaxiques ci-dessous :
diag1:
ident1
ident2
Diagrammes évoqués
au tableau
ident3
diag2 :
ident1
ident3
ident2
diag3 :
ident1
ident2
ident3
diag4 :
ident1
ident2
ident3
D. Feneuille I.U.T. Aix 2001 (cours n°1 Généralités II fichier Cours1_B.DOC) 30/06/02