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>