On the decidability of the sequence equivalence problem for DOL-systems

DOI10.1016/0304-3975(76)90066-9MaRDI QIDQ1235985zbMATHOpenAlexFDO

Authors Karel II Culik

Publication date 1977

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(76)90066-9

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Genetics and epigenetics (92D10)

Cites work

• scientific article; zbMATH DE number 3485222 (Why is no real title available?)
• scientific article; zbMATH DE number 3501021 (Why is no real title available?)
• scientific article; zbMATH DE number 3569855 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• Closure properties of some families of languages associated with biological systems
• Extension of tabled 0L-systems and languages
• Integral sequential word functions and growth equivalence of lindenmayer systems
• On some families of languages related to developmental systems
• On the decidability of some equivalence problems for DOL-systems
• The unsolvability of the equality problem for sentential forms of context-free grammars

Cited in

(8)

• REMARKS CONCERNING THE D0L ω-EQUIVALENCE PROBLEM
• THE D0L ω-EQUIVALENCE PROBLEM
• A survey on decidable equivalence problems for tree transducers
• Balance of many-valued transductions and equivalence problems
• scientific article; zbMATH DE number 3866597 (Why is no real title available?)
• Lindenmayer grammars and symbolic testing
• Homomorphism equivalence on etol languages†
• On the decidability of homomorphism equivalence for languages

This page was built for publication: On the decidability of the sequence equivalence problem for DOL-systems

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