grammaire sans contexte
Définition
Forme la plus utilisée de spécification d'un langage informatique, qu'il soit de programmation ou autre. Une grammaire sans contexte (CF grammar) est composée de "productions", elles-mêmes composées:
- à gauche (left-hand side)
- d'un symbole non-terminal
- à droite (right-hand side)
- d'une séquence vide ou non de symboles terminaux ou non-terminaux.
Les symboles sont pris dans un alphabet spécifique, appelé l'univers de la grammaire. Voir jeton.