// grammar from page 83 // G = ( V, T, P, S ) V = { A, S ) T = { a, b } S = S start S terminal a b ; S -> a A S ; S -> a ; A -> S b A ; A -> S S ; A -> b a ; enddef a abaa aaaa aaaaaaa aabbaa abab