grammar S aABb A aAc A B bB B c