Wie krass das nach Mathe aussieht, sei einmal dahingestellt. Du hast zwei Sprachen über dem Alphabet { a, b }. Die erste besteht aus allen Wörtern, die genau ein b und vor diesem b ebensoviele a wie hinter dem b, also { b, aba, aabaa, aaabaaa, ... }. Die zweite besteht aus allen Wörtern, die mit einem a enden, also { a, aa, ba, aaa, aba, baa, bba, aaaa, ... }. Offenbar besteht der Durchschnitt fast aus der ganzen ersten Sprache. Siehst Du das nicht bereits so, könntest Du den ersten teil von b) vorziehen. Eine kontextfreie Grammatik für den Schnitt zua), mit der auch der Rest von b) gelöst werden kann, lässt sich damit eigentlich sofort aufstellen. Eher unklar ist mir, auf was sich "Geben Sie alle relevanten Zwischenschritte an." bezieht...
