Notations pour la syntaxe: les grammaires BNF

La syntaxe d'Ada est décrite à l'aide d'une grammaire, d'une forme particulière dite BNF (en anglais: Backus-Naur Form, d'après leurs inventeurs: Backus et Naur).

• Une grammaire est un ensemble de règles décrivant precisément la syntaxe d'un langage, autrement dit, la manière d'agencer les symboles du langage pour obtenir des phrases syntaxiquement correctes.
  

• Souvent, on découpe un langage en catégories syntaxiques correspondant à des parties bien distinctes du langage. Par exemple, en français, le sujet et le prédicat sont deux catégories syntaxiques distinctes. Le prédicat est composé d'autres catégories syntaxiques, telles que le verbe, le complément d'objet, etc.
  

• Une règle ou production décrit la synt axe d'une partie du langage. Ainsi, elle décrit toute ou une partie d'une catégorie syntaxique.
  

Notations BNF:

• catégories syntaxiques: écrites en italiques minuscules,

• mot-clés ou symboles reservés: écrits en caractères typographiques,

• règles: ont la forme nom_catégorie_syntaxique ::= description_syntaxe

• ensemble_regles: une catégorie syntaxique est souvent décrite par un ensemble de règles, chacune traitant un cas différent de la syntaxe. Ils sont alors séparées par le symbole |, qu'on lit ``ou''.

• autres symboles:
  • [] entoure les items optionnels,
  • {} entoure les items qu'on peut ommettre ou repéter une ou plusieurs fois