Hey Uxdiu,
auf S. 159 des Info-Buchs (Teil 1) steht allerdings folgendes:
"
Beispiel-Grammatik:
G = ({S, A, B}, {a, b}, P, S ),
P = {S → ABS,
abAB → abaB | abba,
AB → ab,
B → bb}
"
Somit scheint bei kontextsensitiven Grammatiken AB-> ab doch erlaubt zu sein. Warum ist das so?
Danke bereits im Voraus ;)