On Equivalence and Containment Problems for Formal Languages

DOI10.1145/322017.322020MaRDI QIDQ4131690zbMATH OpenOpenAlexFDO

Authors H. B. III Hunt, Daniel J. Rosenkrantz

Publication date 1977

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/322017.322020

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited in

(7)

• Double Greibach operator grammars
• Bond-free DNA language classes
• Descriptional and Computational Complexity of Finite Automata
• Classifying the computational complexity of problems
• Descriptional and computational complexity of finite automata -- a survey
• On the undecidability and descriptional complexity of synchronized regular expressions
• Decision problems concerning L systems

This page was built for publication: On Equivalence and Containment Problems for Formal Languages

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