%token a b
%start S
%%
S : A a
  | b
;
A : b B A1
;
A1 : a B A1
  | /* epsilon */
;
B : a b
;