On the decidability of the sequence equivalence problem for DOL-systems. (English) Zbl 0352.68103


68Q45 Formal languages and automata
92D10 Genetics and epigenetics
Full Text: DOI


[1] Blattner, M., The unsolvability of the equality problem for setential forms of context-free grammars, J. comput. system sci., 7, 463-468, (1973) · Zbl 0273.68054
[2] Culik, K., On some families of languages related to developmental systems, Internl. J. comput. math., 4, A, 31-42, (1974) · Zbl 0294.68025
[3] K. Culik II and J. Opatrný, Macro OL-systems, Internl. J. Comput. Math (A) 5, to appear. · Zbl 0309.68064
[4] G. T. Herman, Closure properties of some families of languages associated with biological systems, Information and Control, to appear. · Zbl 0275.68018
[5] Herman, G.T.; Rozenberg, G., Developmental systems and languages, (1974), North-Holland Amsterdam
[6] Hopcroft, J.L.; Ullman, J.D., Formal languages and their relation to automata, (1969), Addison-Wesley Reading, Mass · Zbl 0196.01701
[7] Johansen, P.; Meiling, E., Free groups in lindenmayer systems, () · Zbl 0319.68039
[8] Lindenmayer, A., Developmental systems without cellular interaction, their languages and grammars, J. theoret. biol, 30, 455-484, (1971)
[9] Nielsen, M., On the decidability of some equivalence problems for DOL-systems, Information and control, 25, 166-193, (1974) · Zbl 0284.68065
[10] Paz, A.; Salomaa, A., Integral sequential word functions and growth equivalence of lindenmayer systems, Information and control, 23, 313-343, (1973) · Zbl 0273.68056
[11] Rozenberg, G., Extensions of tabled OL-systems and languages, Internl. J. comput. information sci., 2, 311-334, (1973) · Zbl 0293.68065
[12] G. Rozenberg and A. Salomaa, The mathematical theory of L-systems, in: Progress in Information Science, J. Tou, ed. (Academic Press, New York, to appear). · Zbl 0365.68072
[13] (), 14-26
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.