Brauche ich hier denn zwangsläufig die beiden Übergänge S->aSb und A bzw. S->aAb?
Eigentlich müsste man den Übergang S->aSb doch auch weglassen können, da man für A ohnehin noch beliebig oft vorne a und hinten b an das bisherige Wort anhängen kann, bevor man zu B übergeht.