Next: Règles de grammaires
Up: Caml
Previous: Documentation
Nous donnons une syntaxe BNF (Backus Naur Form) étendue.
Chaque règle de la grammaire définit un non-terminal par une
production. Le non-terminal défini est à gauche
du symbole ::=, la production à droite. Un non-terminal est écrit
ainsi, les mots clés et symboles terminaux ainsi.
Dans les membres droits de règles, le symbole signifie
l'alternative, les crochets indiquent une partie optionnelle
ainsi
, les accolades une partie qui peut être
répétée un nombre quelconque de fois
ainsi
, tandis qu'un symbole + en exposant des accolades
indique une partie
répétée au moins une fois,
ainsi
.Dans les règles lexicales les trois points ..., situés entre deux
caractères a et b, indiquent l'ensemble des caractères entre
a et b dans l'ordre du code ASCII.
Finalement, les parenthèses servent au groupement (ainsi).