Grammatiken
Aus Byte-Welt Wiki
(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
