grammar S aSb S