A regularity test for dual bordered OS systems

DOI10.1007/BF00289112zbMath0569.68061OpenAlexW2050207978MaRDI QIDQ1060851

W. Bucher

Publication date: 1986

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00289112

zbMATH Keywords

regular language

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On regularity of context-free languages
• On total regulators generated by derivation relations
• The theory of well-quasi-ordering: a frequently discovered concept
• On sentential forms of context-free grammars
• Pure grammars
• Some decidability problems of sentential formst †
• Ordering by Divisibility in Abstract Algebras

This page was built for publication: A regularity test for dual bordered OS systems