> Une ***grammaire*** permet d’engendrer des phrases à partir d’un lexique (ensemble de mots) et de règles de transformation.
Le lexique est composé d'un lexique propre $`A`$ constitué de symboles terminaux avec le symbole $`\varnothing`$ et d'un lexique intermédiaire $`I`$ sous la forme d'un ensemble $`R`$.
Exemple :
* $`A = \{a, b\}, I = \{S\}`$
*```math
\[\left\{
\begin{array}{rcr}
S & \Rightarrow & \varnothing \\
-x+4y & = & 0 \\
\end{array}
\right.\]
```
Cherchons donc à définir un langage permettant de générer une infinité de séquence de mots, à partir des phonèmes (des mots) `GA`, `BU`, `ZO`, `MEU`.