NTS grammars and Church-Rosser systems

DOI10.1016/0020-0190(81)90036-3MaRDI QIDQ1159985zbMATH OpenOpenAlexFDO

Authors Ronald V. Book

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

zbMATH Keywords

context-free grammarsThue systemmonadic Church-Rosser systemsnonterminal separated grammarsentential forms

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Thue and Post systems, etc. (03D03)

Cites work

• scientific article; zbMATH DE number 3713194 (Why is no real title available?)
• scientific article; zbMATH DE number 3528212 (Why is no real title available?)
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Confluent and Other Types of Thue Systems
• Monadic Thue systems
• On theories with a combinatorial definition of 'equivalence'
• Testing for the Church-Rosser property
• Une généralisation des ensembles de Dyck

Cited in

(5)

• On the generating power of regularly controlled bidirectional grammars
• Learning deterministic context free grammars: the Omphalos competition
• scientific article; zbMATH DE number 3872710 (Why is no real title available?)
• The equivalence and inclusion problems for NTS languages
• NTS languages are deterministic and congruential

This page was built for publication: NTS grammars and Church-Rosser systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1159985)