Grammatiken

(LaTeX-Formel: G\ = ( V\ , \Sigma , P\ , S\ ))

$ V\ $ endliche Menge der Variablen, nicht terminal Symbole
$ \Sigma \ $ endliche Menge von terminal Symbolen, Alphabet
$ P\ $ Regeln
$ S\ $ Startsymbol , $ S\ $

Je nach Spracheklasse unterliegen Grammtikregeln einer gewissen Form.

$ REG\subset DCFL\subset CFL\subset DCSL\subseteq CSL\subset REC\subset RE $

$ REG\ $ Menge der regulären Sprachen
$ DCFL\ $ Menge der deterministisch kontextfreien Sprachen
$ CFL\ $ Menge der kontextfreien Sprachen
$ DCSL\ $ Menge der deterministisch kontext-sensitiv Sprachen
$ CSL\ $ Menge der kontext-sensitiv Sprachen
$ REC\ \ $ Menge der rekursive aufzählbaren Sprachen
$ RE\ \ $ Menge der Sprachen