Grammatiken

<math> G\ = ( V\ , \Sigma , P\ , S\ ) </math>

<math>V\ </math> endliche Menge der Variablen, nicht terminal Symbole
<math>\Sigma\ </math> endliche Menge von terminal Symbolen, Alphabet
<math>P\ </math>
<math>S\ </math> Startsymbol , <math>S\ </math>