// lect24.g  get V table

verbose 3
start S
terminal a b ;

A -> a ;
B -> b ;
C -> a ;

S -> A B ;
S -> B C ;
A -> B A ;
B -> C C ;
C -> A B ;

// should accept
enddef
baaba