Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental BiologyGrzegorz Rozenberg, Arto Salomaa Springer Science & Business Media, 6 déc. 2012 - 514 pages L systems are language-theoretic models for developmental biology. They wereintroduced in 1968 by Aristid Lindenmayer (1925-1989) and have proved to be among the most beautiful examples of interdisciplinary science, where work in one area induces fruitful ideas and results in other areas. L systemsare based on relational and set-theoretic concepts, which are more suitable for the discrete and combinatorial structures of biology than mathematical models based on calculus or statistics. L systems have stimulated new work not only in the realistic simulation of developing organisms but also in the theory of automata and formal languages, formal power series, computer graphics, and combinatorics of words. This book contains research papers by almost all leading authorities and by many of the most promising young researchers in the field. The 28 contributions are organized in sections on basic L systems, computer graphics, graph grammars and map L systems, biological aspects and models, and variations and generalizations of L systems. The introductory paper by Lindenmayer and J}rgensen was written for a wide audience and is accessible to the non-specialist reader. The volume documents the state of the art in the theory of L systems and their applications. It will interest researchers and advanced students in theoretical computer science and developmental biology as well as professionals in computer graphics. |
À l'intérieur du livre
Résultats 1-5 sur 80
Page 4
... definition of programmatic phenomena which requires " that in addition to the phenomenon itself , there exists a ... defined and used profitably in the study of multicellular development " from egg to adult organism . " It is quite ...
... definition of programmatic phenomena which requires " that in addition to the phenomenon itself , there exists a ... defined and used profitably in the study of multicellular development " from egg to adult organism . " It is quite ...
Page 5
... defined for structures other than just strings of letters as well , for instance for arrays , graphs , and maps . Grammar - like constructs have been defined and used by us to describe development . They have come to be called L systems ...
... defined for structures other than just strings of letters as well , for instance for arrays , graphs , and maps . Grammar - like constructs have been defined and used by us to describe development . They have come to be called L systems ...
Page 25
... define four basic ambiguity sets and establish their effective regularity in many cases . Decidability results concerning ... defined and various resulting families studied in [ 12 ] . Many classical cryptosystems can be viewed as codes ...
... define four basic ambiguity sets and establish their effective regularity in many cases . Decidability results concerning ... defined and various resulting families studied in [ 12 ] . Many classical cryptosystems can be viewed as codes ...
Page 26
... defined by ( boh ( b1 ) ... h " ( b ) | n ≥ 0 , b in B } . = = L ( G ) Intuitively , the words of L ( G ) describe the various developmental stages of the immigrants . To ask whether or not a morphism h : X * → X * is an L code ...
... defined by ( boh ( b1 ) ... h " ( b ) | n ≥ 0 , b in B } . = = L ( G ) Intuitively , the words of L ( G ) describe the various developmental stages of the immigrants . To ask whether or not a morphism h : X * → X * is an L code ...
Page 29
... Definition 1. Suppose h : x * B≤ x + . Denote Σ = m x * is a morphism and Bx Bu B x { a } . The language L1 ( h , B ) over the alphabet Σ is defined by L1 ( h , B ) = ( ( b1 , bí ) ( b2 , b1⁄2 ) ... ( bm , b ) ( b + 1 , λ ) ... ( Þm + ...
... Definition 1. Suppose h : x * B≤ x + . Denote Σ = m x * is a morphism and Bx Bu B x { a } . The language L1 ( h , B ) over the alphabet Σ is defined by L1 ( h , B ) = ( ( b1 , bí ) ( b2 , b1⁄2 ) ... ( bm , b ) ( b + 1 , λ ) ... ( Þm + ...
Table des matières
3 | |
25 | |
47 | |
Alternating iteration of morphisms and the Kolakovski sequence | 93 |
K Culik II J Karhumäki A Lepistö | 107 |
T Yokomori | 131 |
Simplifications of EOL grammars | 149 |
Th Ottmann D Wood | 167 |
AOL and CFGsize of languages | 177 |
from formalism to programming languages | 193 |
P Prusinkiewicz J Hanan | 229 |
On synchronized Lindenmayer picture languages 253 | 252 |
Parallel hyperedge replacement 271 | 270 |
H Ehrig G Taenzer | 303 |
K Aizawa A Nakamura | 319 |
Autres éditions - Tout afficher
Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer ... Grzegorz Rozenberg,Arto Salomaa Aucun aperçu disponible - 1992 |
Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer ... Grzegorz Rozenberg,Arto Salomaa Aucun aperçu disponible - 2012 |
Expressions et termes fréquents
a₁ algebraic lattice algorithm alphabet application assume automata automaton axiom B₁ c₁ called cell division cell system cellular cellular automata colouring compact compact element Computer Science consider construction contains context context-free context-free grammars contradiction corresponding defined definition denote derivation step developmental division wall DOL system edge labels element EOL grammar example exists Figure finite set formal language theory Fr-OL fragments free monoid G₁ G₂ given grammar G graph grammars graph morphisms graphical Hence hyperedge hyperedge replacement implies incomparable infinite integer isomorphic iterations L-systems L₁ Lemma length Lindenmayer map L-system node nonempty nonterminals obtained P₁ parallel communicating parameters pattern PDOL prefix prefix code problem production rules Proof Proposition recursive resp rewriting Rozenberg Salomaa sequence sequential function simulated skew-morphism splicing string structurally equivalent subset symbols syntax tree system G Theorem Um-1-covered Um-covered vector word