Folien
Folien
Folien
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Automaten und Berechenbarkeit 24<br />
2 Kellerautomaten und kf. Sprachen<br />
Definition 2.1 (kontextfreie Grammatik) Ein Quadrupel<br />
G = (N,X,S,P) heißt kontextfreie Grammatik (CFG) genau dann,<br />
wenn<br />
1. N,X sind nichtleere Mengen<br />
N heißt Menge der Nichtterminalsymbole<br />
X heißt Menge der Terminalsymbole<br />
2. N∩X = ∅<br />
3. S ∈ N, S ist das Startsymbol<br />
4. P ⊆ N×(N∪X) ∗ ist eine endliche Menge und heißt Menge der<br />
Produktionen<br />
Schreibweise: Für (A,w) ∈ P : A →G w