Ich habe leider Ihren Beweis nicht gut verstanden.
Es ist eine monotone Grammatik verlangt, und nicht unbedingt kontextsenistive Grammatik (z.B BAS-->MHS ist monoton aber nicht kontextsensitiv), deswegen muss man nur darauf achten dass eine monotone Grammatik erzeugt wird(rechte Seite mindesetens so lang wie linke Seite), die ist in obiger Grammatik erfüllt, oder mache ich irgendwas falsch?