Revision [5758]
This is an old revision of AtfsProduktionen made by ToBo on 2008-10-25 12:14:59.
Produktionen in den Automatentheorie
Produktionen sind Ersetzungsregeln.
G = (N, T, S, P)
N: Alphabet der nichtterminalen Symbole, z.B. <digit>
T: Alphabet der terminalen Symbole mit N ∩ T = ∅, z.B. 1
S: Startsymbol mit S ∈ N
P: Eine endliche Teilmenge von (N ∪ T)+ × (N ∪ T)* und heißt die Menge der Produktionen.
Beispiel 1
Schritte:
- <number> := <digit>{<digit>}
- <digit> := 1
- <digit> := 5
<number> → <digit><digit> → 1<digit> → 15
L(G) = {x ∈ T* | S ⇒ x }
- Typ 0: keine Einschränkung
- Typ 1: ∀ Produktionen a →b gilt:
b ∈ (N ∪ T)""<sup>+</sup> und
≤ |
Siehe auch