Cours NF01
Cours
Formalisme BNF (Backus-Naur Form)
Ce formalisme permet de définir des règles de dérivation.
<alternative> ::= SI <condition> ALORS <instruction>
<alternative> ::= SI <condition> ALORS <instruction> SINON <instruction>
-
SI, ALORS et SINON sont des symboles terminaux,
-
<condition> est une catégorie syntaxique,
-
::= est un méta-symbole signifiant « peut être défini par ».
Un programme est une phrase correcte du langage dérivée à partir d'un symbole initial et ne contenant que des symboles terminaux.
En Pascal : <programme> ::= program <identificateur> ; <bloc>.
