L Systems

  • Lila Kari
  • Grzegorz Rozenberg
  • Arto Salomaa

Abstract

L systems are parallel rewriting systems which were originally introduced in 1968 to model the development of multicellular organisms [L1]. The basic ideas gave rise to an abundance of language-theoretic problems, both mathematically challenging and interesting from the point of view of diverse applications. After an exceptionally vigorous initial research period (roughly up to 1975; in the book [RSed2], published in 1985, the period up to 1975 is referred to as “when L was young” [RS2]), some of the resulting language families, notably the families of D0L, 0L, DT0L, E0L and ET0L languages, had emerged as fundamental ones in the parallel or L hierarchy. Indeed, nowadays the fundamental L families constitute a similar testing ground as the Chomsky hierarchy when new devices (grammars, automata, etc.) and new phenomena are investigated in language theory.

Keywords

Burning Cac2 Assure Lution Adenine 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Ad1]
    L. Adleman, Molecular computation of solutions to combinatorial problems. Science 266, (Nov.1994) 1021–1024.CrossRefGoogle Scholar
  2. [Ad2]
    L. Adleman, On constructing a molecular computer. Manuscript in circulation.Google Scholar
  3. [AL]
    M. Albert and J. Lawrence, A proof of Ehrenfeucht’s conjecture. Theoret. Comput. Sci. 41 (1985) 121–123.MathSciNetMATHCrossRefGoogle Scholar
  4. [APDS]
    M. Andrasiu, G. Paun, J. Dassow and A. Salomaa, Language-theoretic problems arising from Richelieu cryptosystems. Theoret. Comput. Sci. 116 (1993) 339–357.MathSciNetMATHCrossRefGoogle Scholar
  5. [Be]
    J. Berstel, Sur les pôles et le quotient de Hadamard de séries N-rationelles, C. R. Acad.Sci., Sér.A 272 (1971) 1079–1081.MathSciNetMATHGoogle Scholar
  6. [BeP]
    J. Berstel and D. Perrin, Theory of codes. Academic Press, New York (1985).MATHGoogle Scholar
  7. [Br]
    V. Bruyere, Codes prefixes. Codes a delai dechiffrage borne. Nouvelle thèse, Université de Mons (1989).Google Scholar
  8. [Ch]
    C. Choffrut, Iterated substitutions and locally catenative systems: a decidability result in the binary case. In [RSed3], 49–92.Google Scholar
  9. [CF]
    K. Culik II and I. Fris, The decidability of the equivalence problem for D0L systems. Inform. and Control 35 (1977) 20–39.MathSciNetMATHCrossRefGoogle Scholar
  10. [CK1]
    K. Culik II and J. Karhumäki, Systems of equations over a free monoid and Ehrenfeucht’s conjecture. Discrete Math. 43 (1983) 139–153.MathSciNetMATHCrossRefGoogle Scholar
  11. [CK2]
    K. Culik II and J. Karhumäki, A new proof for the D0L sequence equivalence problem and its implications. In [RSed2], 63–74.Google Scholar
  12. [CS1]
    K. Culik II and A. Salomaa, On the decidability of homomorphism equivalence for languages. J. Comput. Systems Sci. 17 (1978) 163–175.MathSciNetMATHCrossRefGoogle Scholar
  13. [CS2]
    K. Culik II and A. Salomaa, Ambiguity and decision problems concerning number systems. Inform. and Control 56 (1983) 139–153.MathSciNetMATHCrossRefGoogle Scholar
  14. [Da1]
    J. Dassow, Eine Neue Funktion für Lindenmayer-Systeme. Elektron. Informationsverarb. Kybernet. 12 (1976) 515–521.MathSciNetMATHGoogle Scholar
  15. [Da2]
    J. Dassow, On compound Lindenmayer systems. In [RSed2], 75–86.Google Scholar
  16. [DPS1]
    J. Dassow, G. Paun and A. Salomaa, On thinness and slenderness of L languages. EATCS Bull. 49 (1993) 152–158.MATHGoogle Scholar
  17. [DPS2]
    J. Dassow, G. Paun and A. Salomaa, On the union of 0L languages. Inform. Process. Lett. 47 (1993) 59–63.MathSciNetMATHCrossRefGoogle Scholar
  18. [ER1]
    A. Ehrenfeucht and G. Rozenberg, The equality of E0L languages and codings of 0L languages. Internat. J. Comput. Math. 4 (1974) 95–104.MathSciNetMATHCrossRefGoogle Scholar
  19. [ER2]
    A. Ehrenfeucht and G. Rozenberg, Simplifications of homomorphisms, Inform. and Control 38 (1978) 298–309.MathSciNetMATHCrossRefGoogle Scholar
  20. [ER3]
    A. Ehrenfeucht and G. Rozenberg, Elementary homomorphisms and a solution of the D0L sequence equivalence problem. Theoret. Comput. Sci. 7 (1978) 169–183.MathSciNetMATHCrossRefGoogle Scholar
  21. [ER4]
    A. Ehrenfeucht and G. Rozenberg, On a bound for the D0L sequence equivalence problem. Theoret. Comput. Sci. 12 (1980) 339–342.MathSciNetMATHCrossRefGoogle Scholar
  22. [En]
    J. Engelfriet, The ET0L hierarchy is in the 01 hierarchy. In [RSed2], 100–110.Google Scholar
  23. [Fe]
    H. Fernau, Remarks on adult languages of propagating systems with restricted parallelism. In [RSed4], 90–101.Google Scholar
  24. [HW]
    G. Hardy and E. M. Wright, An introduction to the Theory of Numbers. Oxford Univ. Press, London (1954).MATHGoogle Scholar
  25. [Ha]
    T. Harju, A polynomial recognition algorithm for the EDT0L languages, Elektron. Informationsverarb. Kybernet. 13 (1977) 169–177.MathSciNetMATHGoogle Scholar
  26. [Har1]
    J. Harrison, Morphic congruences and D0L languages. Theoret. Comput. Sci. 134 (1994) 537–544.MathSciNetMATHCrossRefGoogle Scholar
  27. [Har2]
    J. Harrison, Dynamical properties of PWD0L systems. Theoret. Comput. Sci. 14 (1995) 269–284.CrossRefGoogle Scholar
  28. [He]
    T. Head, Splicing schemes and DNA. In [RSed3], 371–384.Google Scholar
  29. [H1]
    G. T. Herman, The computing ability of a developmental model for filamentous organisms. J. Theoret. Biol. 25 (1969) 421–435.CrossRefGoogle Scholar
  30. [H2]
    G. T. Herman, Models for cellular interactions in development withough polarity of individual cells. Internat. J. System Sci. 2 (1971) 271–289; 3 (1972) 149–175.Google Scholar
  31. [HR]
    G. T. Herman and G. Rozenberg, Developmental Systems and Languages North-Holland, Amsterdam (1975).MATHGoogle Scholar
  32. [HWa]
    G. T. Herman and A. Walker, Context-free languages in biological systems. Internat. J. Comput. Math. 4 (1975) 369–391.MathSciNetMATHCrossRefGoogle Scholar
  33. [Ho1]
    J. Honkala, Unique representation in number systems and L codes. Discrete Appl. Math. 4 (1982) 229–232.MathSciNetMATHCrossRefGoogle Scholar
  34. [Ho2]
    J. Honkala, Bases and ambiguity of number systems. Theoret. Comput. Sci. 31 (1984) 61–71.MathSciNetMATHCrossRefGoogle Scholar
  35. [Ho3]
    J. Honkala, A decision method for the recognizability of sets defined by number systems. RAIRO 20 (1986) 395–403.MathSciNetMATHGoogle Scholar
  36. [Ho4]
    J. Honkala, It is decidable whether or not a permutation-free morphism is an L code. Internat. J. Computer Math. 22 (1987) 1–11.MATHCrossRefGoogle Scholar
  37. [Ho5]
    J. Honkala, On number systems with negative digits. Annales Academiae Scientiarum Fennicae, Series A. I. Mathematica 14 (1989) 149–156.MathSciNetMATHGoogle Scholar
  38. [Ho6]
    J. Honkala, On unambiguous number systems with a prime power base. Acta Cybern. 10 (1992) 155–163.MathSciNetMATHGoogle Scholar
  39. [Ho7]
    J. Honkala, Regularity properties of L ambiguities of morphisms. In [RSed3], 25–47.Google Scholar
  40. [Ho8]
    J. Honkala, On D0L systems with immigration. Theoret. Comput. Sci. 120 (1993) 229–245.MathSciNetMATHCrossRefGoogle Scholar
  41. [Ho9]
    J. Honkala, A decision method for the unambiguity of sets defined by number systems. J. of Univ. Comput. Sci. 1 (1995) 648–653.Google Scholar
  42. [HoS]
    J. Honkala and A. Salomaa, Characterization results about L codes. RAIRO 26 (1992) 287–301.MathSciNetMATHGoogle Scholar
  43. [IT]
    M. Ito and G. Thierrin, D0L schemes and recurrent words. In [RSed2], 157–166.Google Scholar
  44. [JS]
    N. Jones and S. Skyum, Complexity of some problems concerning L systems. Lecture Notes in Computer Science 52 Springer-Verlab, Berlin (1977) 301–308.Google Scholar
  45. [JM]
    H. Jürgensen and D. Matthews, Stochastic 0L systems and formal power series. In [RSed2], 167–178.Google Scholar
  46. [K1]
    J. Karhumäki, An example of a PD2L system with the growth type 2 1/2. Inform. Process. Lett. 2 (1974) 131–134.CrossRefGoogle Scholar
  47. [K2]
    J. Karhumäki, On Length Sets of L Systems, Licentiate thesis, Univ. of Turku (1974).Google Scholar
  48. [K3]
    J. Karhumäki, Two theorems concerning recognizable N-subsets of σ * . Theoret. Comput. Sci. 1 (1976) 317–323.MATHCrossRefGoogle Scholar
  49. [Ka1]
    L. Kari, On insertions and deletions in formal languages. Ph.D. thesis, University of Turku, Finland, 1991.Google Scholar
  50. [Ka2]
    L. Kari, Power of controlled insertion and deletion. Lecture Notes in Computer Science, 812 Springer-Verlag, Berlin (1994), 197–212.Google Scholar
  51. [KMPS]
    L. Kari, A. Mateescu, G. Paun, A. Salomaa. On parallel deletions applied to a word, RAIRO - Theoretical Informations and Applications, vol.29, 2(1995), 129–144.MathSciNetMATHGoogle Scholar
  52. [KRS]
    L. Kari, G. Rozenberg and A. Salomaa, Generalized D0L trees. Acta Cybern., 12 (1995) 1–9.MathSciNetMATHGoogle Scholar
  53. [KT]
    L. Kari, G. Thierrin, Contextual insertions/deletions and computability. To appear in Information and Computation. Submitted.Google Scholar
  54. [KOE]
    T. Katayama, M. Okamoto and H. Enomoto, Characterization of the structure-generating functions of regular sets and the D0L growth functions. Inform. and Control 36 (1978) 85–101.MathSciNetMATHCrossRefGoogle Scholar
  55. [Ke]
    A. Kelemenová, Complexity of 0L systems. In [RSed2], 179–192.Google Scholar
  56. [Ko]
    Y. Kobuchi, Interaction strength of DIL systems. In [RSed3], 107–114.Google Scholar
  57. [Ku]
    W. Kuich, Lindenmayer systems generalized to formal power series and their growth functions. In [RSed4], 171–178.Google Scholar
  58. [KS]
    W. Kuich and A. Salomaa, Semirings, Automata,Languages. Springer-Verlag, Berlin (1986).MATHCrossRefGoogle Scholar
  59. [Lan]
    B. Lando, Periodicity and ultimate periodicity of D0L systems. Theoret. Comput. Sci. 82 (1991) 19–33.MathSciNetMATHCrossRefGoogle Scholar
  60. [LaSch]
    K. J. Lange and M. Schudy, The complexity of the emptiness problem for E0L systems. In [RSed3], 167–176.Google Scholar
  61. [La1]
    M. Latteux, Sur les T0L systémes unaires. RAIRO 9 (1975) 51–62.MathSciNetMATHGoogle Scholar
  62. [La2]
    M. Latteux, Deux problèmes décidables concernant les TUL langages. Discrete Math. 17 (1977) 165–172.MathSciNetMATHCrossRefGoogle Scholar
  63. [L1]
    A. Lindenmayer, Mathematical models for cellular interaction in development I and II. J. Theoret. Biol. 18 (1968) 280–315.CrossRefGoogle Scholar
  64. [L2]
    A. Lindenmayer, Developmental systems without cellular interactions, their languages and grammars. J. Theoret. Biol. 30 (1971) 455–484.CrossRefGoogle Scholar
  65. [L3]
    A. Lindenmayer, Developmental algorithms for multicellular organisms: a survey of L systems. J. Theoret. Biol. 54 (1975) 3–22.MathSciNetCrossRefGoogle Scholar
  66. [L4]
    A. Lindenmayer, Models for multi-cellular development: characterization, inference and complexity of L-systems. Lecture Notes in Computer Science 281 Springer-Verlag, Berlin (1987) 138–168.Google Scholar
  67. [LJ]
    A. Lindenmayer and H. Jürgensen, Grammars of development: discretestate models for growth, differentiation and gene expression in modular organisms. In [RSed3], 3–24.Google Scholar
  68. [Li1]
    M. Linna, The D0L-ness for context-free languages is decidable. Inform. Process. Lett. 5 (1976) 149–151.MathSciNetMATHCrossRefGoogle Scholar
  69. [Li2]
    M. Linna, The decidability of the D0L prefix problem. Intern. J. Comput. Math. 6 (1977) 127–142.MathSciNetMATHCrossRefGoogle Scholar
  70. [Ma]
    G. Makanin, The problem of solvability of equations in a free semigroup. Math. USSR Sb. 32 (1977) 129–138.MATHCrossRefGoogle Scholar
  71. [MSW1]
    H. Maurer, A. Salomaa and D. Wood, E0L forms. Acta Inform. 8 (1977) 75–96.MathSciNetMATHGoogle Scholar
  72. [MSW2]
    H. Maurer, A. Salomaa, D. Wood, L codes and number systems. Theoret. Comput. Sci. 22 (1983) 331–346.MathSciNetMATHCrossRefGoogle Scholar
  73. [MSW3]
    H. Maurer, A. Salomaa and D. Wood, Bounded delay L codes. Theoret. Comput. Sci. 84 (1991) 265–279.MathSciNetMATHCrossRefGoogle Scholar
  74. [MT]
    L. M. Milne-Thompson, The Calculus of Finite Differences. Macmillan, New York (1951).Google Scholar
  75. [MRS]
    J. Mäenpää, G. Rozenberg and A. Salomaa, Bibliography of L systems. Leiden University Computer Science Technical Report (1981).Google Scholar
  76. [N]
    M. Nielsen, On the decidability of some equivalence problems for D0L systems. Inform. and Control 25 (1974) 166–193.MATHCrossRefGoogle Scholar
  77. [NRSS]
    M. Nielsen, G. Rozenberg, A. Salomaa and S. Skyum, Nonterminals, homomorphisms and codings in different variations of 0L systems, I and II. Acta Inform. 3 (1974) 357–364; 4 (1974) 87–106.Google Scholar
  78. [Nie]
    V. Niemi. A normal form for structurally equivalent E0L grammars. In [RSed3], 133–148.Google Scholar
  79. [Ni]
    T. Nishida, Quasi-deterministic 0L systems. Lecture Notes in Computer Science 623 Springer-Verlag, Berlin (1992) 65–76.Google Scholar
  80. [NiS]
    T. Nishida and A. Salomaa, Slender 0L languages. Theoret. Comput. Sci. 158 (1996) 161–176.MathSciNetMATHCrossRefGoogle Scholar
  81. [OW]
    Th.Ottman and D. Wood, Simplifications of E0L grammars. In [RSed3], 149–166.Google Scholar
  82. [Pa]
    G. Paun, Parallel communicating grammar systems of L systems. In [RSed3], 405–418.Google Scholar
  83. [PaS]
    G. Paun and A. Salomaa, Decision problems concerning the thinness of D0L languages. EATCS Bull. 46 (1992) 171–181.MATHGoogle Scholar
  84. [PS]
    A. Paz and A. Salomaa, Integral sequential word functions and growth equivalence of Lindenmayer systems. Inform. and Control 23 (1973) 313–343.MathSciNetMATHCrossRefGoogle Scholar
  85. [PK]
    P. Prusinkiewicz, L. Kari, Subapical bracketed L systems. Lecture Notes in Computer Science 1073 Springer-Verlag, Berlin (1994) 550–565.Google Scholar
  86. [PL]
    P. Prusinkiewicz and A. Lindenmayer, The Algorithmic Beauty of Plants. Springer-Verlag, Berlin (1990).MATHCrossRefGoogle Scholar
  87. [R1]
    G. Rozenberg, T0L systems and languages. Inform. and Control 23 (1973) 262–283.CrossRefGoogle Scholar
  88. [R2]
    G. Rozenberg, Extension of tabled 0L systems and languages. Internat. J. Comput. Inform. Sci. 2 (1973) 311–334.MATHCrossRefGoogle Scholar
  89. [RRS]
    G. Rozenberg, K. Ruohonen and A. Salomaa, Developmental systems with fragmentation. Internat. J. Comput. Math. 5 (1976) 177–191.MathSciNetMATHCrossRefGoogle Scholar
  90. [RS1]
    G. Rozenberg and A. Salomaa, The Mathematical Theory of L Systems. Academic Press, New York (1980).MATHGoogle Scholar
  91. [RS2]
    G. Rozenberg and A. Salomaa, When L was young. In [RSed2], 383–392.Google Scholar
  92. [RS3]
    G. Rozenberg and A. Salomaa, Cornerstones of Undecidability. Prentice Hall, New York (1994).MATHGoogle Scholar
  93. [RSed1]
    G. Rozenberg and A. Salomaa (eds.), L systems. Lecture Notes in Computer Science 15 Springer-Verlag, Berlin (1974).MATHGoogle Scholar
  94. [RSed2]
    G. Rozenberg and A. Salomaa (eds.), The Book of L. Springer-Verlag, Berlin (1985).Google Scholar
  95. [RSed3]
    G. Rozenberg and A. Salomaa (eds.), Lindenmayer Systems. Springer-Verlag, Berlin (1992).MATHGoogle Scholar
  96. [RSed4]
    G. Rozenberg and A. Salomaa (eds.), Developments in Language Theory. World Scientific, Singapore (1994).MATHGoogle Scholar
  97. [Ru1]
    K. Ruohonen, Zeros of Z-rational functions and D0L equivalence, Theoret. Comput. Sci. 3 (1976) 283–292.MathSciNetCrossRefGoogle Scholar
  98. [Ru2]
    K. Ruohonen, The decidability of the F0L-D0L equivalence problem. Inform. Process. Lett. 8 (1979) 257–261.MathSciNetMATHCrossRefGoogle Scholar
  99. [Ru3]
    K. Ruohonen, The inclusion problem for D0L langugaes. Elektron. Informationsverarb. Kybernet. 15 (1979) 535–548.MathSciNetMATHGoogle Scholar
  100. [Ru4]
    K. Ruohonen, The decidability of the D0L-DT0L equivalence problem. J. Comput. System Sci. 22 (1981) 42–52.MathSciNetMATHCrossRefGoogle Scholar
  101. [S1]
    A. Salomaa, Formal Languages. Academic Press, New York (1973).MATHGoogle Scholar
  102. [S2]
    A. Salomaa, Solution of a decision problem concerning unary Lindenmayer systems. Discrete Math. 9 (1974) 71–77.MathSciNetMATHCrossRefGoogle Scholar
  103. [S3]
    A. Salomaa, On exponential growth in Lindenmayer systems. Indag. Math. 35 (1973) 23–30.MathSciNetGoogle Scholar
  104. [S4]
    A. Salomaa, Comparative decision problems between sequential and parallel rewriting. Proc. Symp. Uniformly Structured Automata Logic, Tokyo (1975) 62–66.Google Scholar
  105. [S5]
    A. Salomaa, Jewels of Formal Language Theory. Computer Science Press, Rockville (1981).Google Scholar
  106. [S6]
    A. Salomaa, Simple reductions between D0L language and sequence equivalence problems. Discrete Appl. Math. 41 (1993) 271–274.MathSciNetMATHCrossRefGoogle Scholar
  107. [S7]
    A. Salomaa, Developmental models for artificial life: basics of L systems. In G. Paun (ed.) Artificial life: Grammatical Models. Black Sea University Press (1995) 22–32.Google Scholar
  108. [SS]
    A. Salomaa and M. Soittola, Automata-Theoretic Aspects of Formal Power Series. Springer-Verlag, Berlin (1978).MATHCrossRefGoogle Scholar
  109. [SWY]
    K. Salomaa, D. Wood and S. Yu, Complexity of E0L structural equivalence. Lecture Notes in Computer Science. 841 Springer-Verlag, Berlin (1994) 587–596.Google Scholar
  110. [SY]
    K. Salomaa and S. Yu, Decidability of structural equivalence of E0L grammars. Theoret. Comput. Sci. 82 (1991) 131–139.MathSciNetMATHCrossRefGoogle Scholar
  111. [SmS]
    W. Smith, A. Schweitzer, DNA computers in vitro and in vivo. NEC Research Report, Mar.31, 1995.Google Scholar
  112. [Sol]
    M. Soittola, Remarks on D0L growth sequences. RAIRO 10 (1976) 23–34.MATHGoogle Scholar
  113. [So2]
    M. Soittola, Positive rational sequences. Theoret. Comput. Sci. 2 (1976) 317–322.MathSciNetMATHCrossRefGoogle Scholar
  114. [Sz]
    A. Szilard, Growth Functions of Lindenmayer Systems, Tech. Rep., Cornput. Sci, Dep., Univ. of Western Ontario (1971).Google Scholar
  115. [vL]
    J. van Leeuwen, The membership question for ET0L languages is polynomially complete. Inform. Process. Lett. 3 (1975) 138–143.MATHCrossRefGoogle Scholar
  116. [V]
    P. Vitany, Structure of growth in Lindenmayer Systems. Indag. Math. 35 (1973) 247–253.Google Scholar
  117. [Yo1]
    T. Yokomori, Graph-controlled systems-an extension of 0L systems. In [RSed2], 461–471.Google Scholar
  118. [Yo2]
    T. Yokomori, Inductive inference of 0L languages. In [RSed3], 115–132.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Lila Kari
  • Grzegorz Rozenberg
  • Arto Salomaa

There are no affiliations available

Personalised recommendations