NTS grammars and Church-Rosser systems
From MaRDI portal
Publication:1159985
DOI10.1016/0020-0190(81)90036-3zbMath0476.68053MaRDI QIDQ1159985
Publication date: 1981
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(81)90036-3
context-free grammars; Thue system; monadic Church-Rosser systems; nonterminal separated grammar; sentential forms
Related Items
The equivalence and inclusion problems for NTS languages, NTS languages are deterministic and congruential, Learning deterministic context free grammars: the Omphalos competition, Unnamed Item, On the generating power of regularly controlled bidirectional grammars
Cites Work
- Unnamed Item
- Unnamed Item
- Testing for the Church-Rosser property
- Monadic Thue systems
- Une généralisation des ensembles de Dyck
- On theories with a combinatorial definition of 'equivalence'
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Confluent and Other Types of Thue Systems