Gegeben sei die Grammatik
G = ({S, A, B,C},{a, b},S,{S → AB |CA, A → a, B → BC | AB,C → aB | b}) .
Finden Sie eine Grammatik G′, die nur nützliche Nicht-Terminalzeichen enthält, so dass L(G) = L(G′).