// g_97v.g  test greibach P97

verbose 7
start A1
terminal a b ;

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

enddef
ba
ababab
aabb
bbaa