Test Sets for Context Free Languages and Algebraic Systems of Equations over a Free Monoid

Test Sets for Context Free Languages and Algebraic Systems of Equations over a Free Monoid J. Albert Karel Culik II Juhani Karhumäki 172-186 Information and Control February 1982 52 2 db/journals/iandc/iandc52.html#AlbertCK82 http://dx.doi.org/10.1016/S0019-9958(82)80028-4