NTS grammars and Church-Rosser systems

DOI10.1016/0020-0190(81)90036-3zbMATH Open0476.68053OpenAlexW2075454140MaRDI QIDQ1159985FDOQ1159985

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

• On theories with a combinatorial definition of 'equivalence'
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Une généralisation des ensembles de Dyck
• Confluent and Other Types of Thue Systems
• Testing for the Church-Rosser property
• Monadic Thue systems
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• NTS languages are deterministic and congruential
• Learning deterministic context free grammars: the Omphalos competition
• The equivalence and inclusion problems for NTS languages
• On the generating power of regularly controlled bidirectional grammars

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)