Typ | Bezeichnung | Eigenschaften |
Typ 0 | keine Bezeichnung | beliebig |
Typ 1 | kontextsensitiv | Für jede Relation
![]() ![]() ![]() ![]() |
Typ 2 | kontextfrei | Links muß ein einzelnes Nonterminal stehen. |
Typ 3 | regulär | Die Regeln im Regelsystem müssen die folgende Form haben
|
S | ![]() |
aSBC|aBC | Aufbau des Wortes |
CB | ![]() |
BC | umsortieren |
aB | ![]() |
ab | umwandeln in Terminale |
bB | ![]() |
bb | umwandeln in Terminale |
bC | ![]() |
bc | umwandeln in Terminale |
cC | ![]() |
cc | umwandeln in Terminale |