Informatik III (Automatentheorie und formale Sprachen)

1 Terminologie
1.1 Sprache, Grammatik
Definition 1.6 (Ableitung, Rechnung)
Sei
G = (V, T, R, S) eine Grammatik, w, w ′ Wörter aus
(V ∪ T ) ∗ ,
so gilt w =⇒ w ′ , in Worten w geht über in w ′ , falls gilt:
∃u, v ∈ (V ∪ T ) ∗ ∃P → Q ∈ R ( w = uP v und w ′ = uQv ) .
Für “w geht über in w ′ . . .
. . . mit der Grammatik G” schreibt man auch: w =⇒ G
w ′
. . . durch die Regel P → Q” schreibt man auch:
w =⇒ P →Q
w ′ .
Prof. Dr. Jürgen Dix · Clausthal, WS 09/10 24