// g_140v.g  grammar from page 140
//           elementary test of cyk_parse
//           this is already in Chomsky Normal Form

verbose 3
start S
terminal a b ;

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

enddef
baaba
ab
ba
bba
bb