grammar S ABb A aSb A Ba B Bb B