grammar S AB A aAb A ab B bBc B bc