On the decidability of some equivalence problems for DOL-systems

This publication has 5 references indexed in Scilit:

• Mathematical models for cellular interactions in development I. Filaments with one-sided inputs
  Published by Elsevier ,2004
• Integral sequential word functions and growth equivalence of lindenmayer systems
  Information and Control, 1973
• On sentential forms of context-free grammars
  Acta Informatica, 1973
• Direct proofs of the undecidability of the equivalence problem for sentential forms of linear context-free grammars and the equivalence problem for OL systems
  Information Processing Letters, 1972
• The equivalence problem for deterministic T0L-systems is undecidable
  Information Processing Letters, 1972