Éléments de la notation EBNF

Une notation couramment utilisée pour décrire la syntaxe formelle des langages de programmation est la notation EBNF (Extended Backus-Naur Form).

Les éléments de base de cette notation sont les suivants:

• Identificateur en minuscule: un tel identificateur représente une règle syntaxique (une règle non-terminale) permettant de générer une phrase auxiliaire, une série de symboles.
• Identificateur en MAJUSCULE: un tel identificateur représente une classe de mots du langage. Par exemple, les IDENTIFICATEURs, qui sont formés de lettres, chiffres ou du caractère souligné.
• Suite de caractères entre guillemets "...": ceci représente une suite de caractères devant apparaître exactement telle qu'indiquée (par exemple, un mot-clé). Il est à noter que l'on distingue les minuscules des majuscules.
• Caractère |: ceci indique un choix entre deux ou plusieurs possibilités.
• Accolades { ... }: ceci indique un élément facultatif (donc pouvant apparaître 0 ou 1 fois).
• Astérisque *: ceci indique un élément pouvant apparaître 0, 1 ou plusieurs fois.
• Symbole +: ceci indique un élément pouvant apparaître 1 ou plusieurs fois (donc au moins une fois).
• Les éléments entre parenthèses ordinaires ne servent qu'à regrouper une série d'éléments.
• Le symbole ``;'' indique la fin d'une règle.