McNaughton, Robert; Narendran, Paliath; Otto, Friedrich Church-Rosser Thue systems and formal languages. (English) Zbl 0652.68093 J. Assoc. Comput. Mach. 35, No. 2, 324-344 (1988). Cited in 8 ReviewsCited in 52 Documents MSC: 68Q45 Formal languages and automata 03D03 Thue and Post systems, etc. Keywords:Church-Rosser systems; Thue systems; formal languages × Cite Format Result Cite Review PDF Full Text: DOI