S: 'b' A;
A : 'a' A B | ;
B : ;