// g_grei.g  from book p97

verbose 6

start A1

terminal a b ;

variable A1 A2 A3 ;

A1 -> A2 A3 ;
A2 -> A3 A1 ;
A2 -> b ;
A3 -> A1 A2 ;
A3 -> a ;

enddef
ba
ababab
aaa