Publication:3904059
From MaRDI portal
zbMath0455.68041MaRDI QIDQ3904059
Publication date: 1980
68Q45: Formal languages and automata
Related Items
The equivalence and inclusion problems for NTS languages, Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages, PHRASE parsers from multi-axiom grammars, NTS grammars and Church-Rosser systems, A new class of C.F.L. for which the equivalence is decidable, Unnamed Item