linkerKontext N rechterKontext -> linkerKontext w rechterKontext
N - ein Nichtterminal;
linkerKontext, rechterKontext und w - String über Nichtterminal- und Terminalalphabet
Animation einer Wortableitung:
|
Wir wollen noch einen Kuchen haben.
Allerdings ist unser Bäcker diesmal sehr ordentlich und etwas eigen.
Öl kommt bei ihm nicht in den Kuchen und
bei einem ordentlichen Kuchen werden die Zutaten zunächst mal nach Typ geordnet aufgereiht.
Korrekte Wörter wären z.B.
Gkuchen2 = ({S, M, X, Y, Z}, { , , }, P, S)
Regeln P :
Generierung
|
weitere Generierung
4. | X![Ei](/Forschung/SIMBA/export/mod-lklass/bilder/ei.jpg) | -> | Y ![Ei](/Forschung/SIMBA/export/mod-lklass/bilder/ei.jpg) ![Ei](/Forschung/SIMBA/export/mod-lklass/bilder/ei.jpg) |
5. | Y M | -> | ![Zucker](/Forschung/SIMBA/export/mod-lklass/bilder/zucker.jpg) M X M |
6. | Y M | -> | ![Zucker](/Forschung/SIMBA/export/mod-lklass/bilder/zucker.jpg) M M |
|
Vertauschen von M und Y
7. | M Y | -> | Z Y |
8. | Z Y | -> | Z M |
9. | Z M | -> | Y M |
|
Vertauschen von X und M
10. | X M | -> | Z M |
11. | Z M | -> | Z X |
12. | Z X | -> | M X |
|
Y wird immer dann in die Ableitung eingefügt, wenn ein X zu einem ersetzt wurde.
Das Y kann so verstanden werden, dass die Ableitung solange unvollständig bleibt,
bis das Verhältnis der Zutaten durch Zugabe von Zucker und Mehl wieder ausgeglichen ist.
Z ist ein Hilfssymbol, das beim Verdrehen von zwei Nichtterminalen nötig ist.
Die Vertauschregeln können durch XM -> MX und MY -> YM abgekürzt werden.
Erweitern Sie die Grammatik so, dass man einen "ordentlichen" Kuchen auch mit Öl backen kann.
|