Chomsky-Grammatik

Formale Grammatik Viertupel G = (N,Σ,P,S) N Nichtterminalsysmbole, endlich T Terminalsymbole, endlich, nicht-leer P Produktionsregeln, endlich, nicht-leer; Form (p,q) Element N ∪ T, p mind. ein Nichtterminalsymbol S Startsymbol, Axiom, Element N N disjunkt T: kein Symbol in N und in T Ableitung x ∈ (N ∪ T) und (p, q) ∈ P mit x […]