# hw8.g  a grammar for cykp for HW8
#        cykp < hw8.g > hw8.out
# G = (V, T, P, S)   V={S, A, B, C}   T={a, b}    S=S

start S
terminal a b ;
verbose 3

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

enddef
aaaaa
aaaaaa
baabab