Terminale      = { a, b, c }
Nichtterminale = { E, A }
Startsymbol    = S
Ersetzungsregeln:
S -> E
E -> 'abcc', A
A -> (zwischen 'a' und 'b' ein 'ab' einfügen und 'cc' am Schluss anhängen, dann A aufrufen) || Ende