The following pages link to (Q3904059):
Displaying 6 items.
- The equivalence and inclusion problems for NTS languages (Q1083219) (← links)
- Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages (Q1120292) (← links)
- PHRASE parsers from multi-axiom grammars (Q1129132) (← links)
- NTS grammars and Church-Rosser systems (Q1159985) (← links)
- A new class of C.F.L. for which the equivalence is decidable (Q1162819) (← links)
- (Q3335013) (← links)
