08.04. kontextsensitive Sprachen
1. Vergleiche die beiden Grammatiken für die Sprache anbncn
von Folie 11 und 12.
• Wie kannst du fragen, ob die Strings aaabbbccc und aabbbcc
von den Grammatiken generiert werden?
• Kannst du mit den Grammatiken auch Strings generieren? Welche
Argumente müssen jeweils bei der Anfrage instantiiert sein?
2. Schreibe eine DCG, die die folgende Sprache akzeptiert:
a^n b^m c^n d^m