%token a b
%start S
%%
S : b S1
;
S1 : a b a S1
   | /* epsilon */
;