Developmental systems and languages:
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Amsterdam
North-Holland Publ. Comp. [u.a.]
1975
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XVI, 363 S. Ill., graph. Darst. |
ISBN: | 0720428068 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV001958758 | ||
003 | DE-604 | ||
005 | 20230904 | ||
007 | t | ||
008 | 890928s1975 ad|| |||| 00||| eng d | ||
020 | |a 0720428068 |9 0-7204-2806-8 | ||
035 | |a (OCoLC)844190064 | ||
035 | |a (DE-599)BVBBV001958758 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-12 |a DE-91G |a DE-384 |a DE-355 |a DE-20 |a DE-706 |a DE-83 |a DE-188 | ||
050 | 0 | |a QH324.2 | |
082 | 0 | |a 574.3/01/84 |2 18 | |
082 | 0 | |a 001.6/424 | |
084 | |a ES 920 |0 (DE-625)27929: |2 rvk | ||
084 | |a 68Q45 |2 msc/2020 | ||
100 | 1 | |a Herman, Gabor T. |e Verfasser |4 aut | |
245 | 1 | 0 | |a Developmental systems and languages |c Gabor T. Herman and Grzegorz Rozenberg |
264 | 1 | |a Amsterdam |b North-Holland Publ. Comp. [u.a.] |c 1975 | |
300 | |a XVI, 363 S. |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 4 | |a Biologie - Informatique | |
650 | 7 | |a Biologie |2 gtt | |
650 | 4 | |a Langages formels | |
650 | 7 | |a Statistische methoden |2 gtt | |
650 | 7 | |a Taal |2 gtt | |
650 | 4 | |a Datenverarbeitung | |
650 | 4 | |a Biology |x Data processing | |
650 | 4 | |a Formal languages | |
650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Rozenberg, Grzegorz |d 1942- |e Verfasser |0 (DE-588)1079124624 |4 aut | |
856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001277120&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
940 | 1 | |q TUB-nveb | |
999 | |a oai:aleph.bib-bvb.de:BVB01-001277120 | ||
980 | 4 | |a (DE-12)AK9590681 | |
980 | 4 | |a (DE-12)AK18890269 |
Datensatz im Suchindex
_version_ | 1804116401117462528 |
---|---|
adam_text | CONTENTS
Preface vii
Contents ix
List of Symbols xiii
Chapter 0
DEVELOPMENTAL SYSTEMS AND LANGUAGES IN THEIR BIOLOGICAL
CONTEXT, Aristid Lindenmayer 1
0.1. Cellular automata arrays and developmental Systems 3
0.2. Growth descriptions and growth functions 7
0.3. Root growth as example of elemental growth descriptions 9
0.4. Cell lineages and morphogenesis 16
0.5. Locally catenative rules for algal growth 23
0.6. Development ofcompound structures: compound leaves 26
0.7. Development under cyclic changes of environment: zones ofperithecia . . 28
0.8. Development under a Single major environmental change: fiower initiation . 31
0.9. Polarity in development 36
O.lO.Concludingremarks 38
PART I. LANGUAGES
Chapter 1
DEVELOPMENTAL SYSTEMS AND LANGUAGES IN THEIR FORMAL
CONTEXT 43
1.1. A biological example 43
1.2. Developmental Systems and languages 52
1.3. The Chomsky hierarchy 55
Exercises 62
Chapter 2
THE BASIC FAMILY: 0L LANGUAGES 63
2.1. Formal definitions 63
2.2. Examples and elementary properties 65
2.3. Decision problems 68
2.4. Derivations and derivation graphs in 0L schemes 70
2.5. The linear derivation property and a solution to the membership problem . 74
2.6. The equivalence problem for 0L Systems 76
2.7. Deterministic and propagating restrictions on 0L Systems 78
Exercises 80
Chapter 3
RESTRICnON TO ONE LETTER ALPHABET: U0L LANGUAGES ... 81
3.1. Formal definitions 81
ix
X CONTENTS
3.2. Characterization results 83
3.3. Regulär expressions 89
3.4. Regulär expressions and UOL languages 90
3.5. Two closure results for UOL languages 92
3.6. The deterministic and propagating restrictions on UOL Systems 96
Exercises 96
Chapter 4
EXTENSION USING AUXILIARY SYMBOLS: EOL LANGUAGES ... 98
4.1. The extension Operation 99
4.2. Synchronization and closure results 101
4.3. EOL languages as generalizations of CF languages 103
4.4. Deterministic and propagating restrictions on EOL Systems 110
Exercises 110
Chapter 5
CONTROL USING TABLES: T0L LANGUAGES 112
5.1. Formal definitions, examples and elementary properties 112
5.2. Derivations and derivation graphs in T0L schemes 115
5.3. Some complexity results for T0L Systems and languages 117
5.4. The role of erasing in T0L Systems 120
5.5. Determinism in T0L Systems 126
Exercises 130
Chapter 6
SYSTEMS WITH INTERACTIONS: IL LANGUAGES 132
6.1. Formal definitions and examples 132
6.2. A normal form theorem for IL Systems 135
6.3. A basic inclusion result for IL languages 137
6.4. Two sided IL Systems 139
6.5. One sided IL Systems 140
6.6. The role of erasing 143
Exercises 145
Chapter 7
SOME OTHER GENERALIZATIONS 147
7.1. Finite axiom Systems 147
7.2. Extensions of IL languages 151
7.3. Extensions of T0L languages 154
Exercises 162
Chapter 8
RECURRENCE SYSTEMS 164
8.1. Motivation and definitions 164
8.2. Normal form theorems for recurrence Systems 172
8.3. Recurrence Systems and developmental languages 178
Exercises 186
CONTENTS Xi
Chapter 9
CLOSURE PROPERTIES 188
9.1. Motivation and definitions 188
9.2. Lack of closure properties for the family of OL languages 190
9.3. Closure properties of the family of ETOL languages 192
Exercises 195
Chapter 10
COMPARISON OF GENERATIVE POWER 197
10.1. Turing machines 197
10.2. Inclusion results 202
Exercises 209
PART II. SEQUENCES
Chapter 11
D0L SEQUENCES 213
11.1. Definitions, notation and examples 213
11.2. The role of erasing 215
11.3. Periodicities in D0L sequences 217
11.4. Circularities in D0L sequences 221
Exercises 222
Chapter 12
LOCALLY CATENATIVE SEQUENCES 224
12.1. Definitions and examples 224
12.2. Realizations of locally catenative formulas 225
12.3. PDOL Systems with covering 227
12.4. Dependent PDOL Systems 228
12.5. Covering versus dependence 230
12.6. Dependence versus local catenativeness 232
12.7. Equivalence of locally catenative formulas 233
Exercises 236
Chapter 13
THE ROLE OF ENVIRONMENT 238
13.1. Interactive Systems with changing environment 238
13.2. Autonomy: independence from the environment 246
Exercises 250
Chapter 14
SYNTACTIC INFERENCE 251
14.1. The syntactic inference problem 251
14.2. Solutions to the syntactic inference Problems 257
14.3. Relevance of grammatical inference notions to biological problems . . . 262
Exercises 268
Chapter 15
GROWTH FUNCTIONS 269
15.1. Definitions and problem Statements 269
XÜ CONTENTS
15.2. Analysis ofgrowth functions ofDOIL Systems 272
15.3. Synthesis of growth functions and DOIL Systems 276
15.4. The growth equivalence and classification Problems forDOIL Systems . . . 278
15.5. Hierarchy Problems 279
Exercises 281
PART III. BIOLOGICALLY ORIENTED TOPICS
Chapter 16
SYNCHRONIZATION OF GROWING FILAMENTS 287
16.1. The generalized firing squad synchronization problem 288
16.2. Synchronization with growth at theends: preparatory stage 291
16.3. Synchronization with growth at the ends: Standard stage 296
16.4. Implementation 300
Exercises 304
Chapter 17
POLARITY 305
17.1. Motivation and definitions 305
17.2. The problem of universal Computing ability . 308
17.3. The French flag problem 312
Exercises . 324
Chapter 18
SIMULATION OF DEVELOPMENTAL PROCESSES . 325
18.1. Pigmentation patterns on snail Shells 325
18.2. The problem ofheterocyst formation in filamentous blue-green algae . . . 328
18.3. The appropriateness of approximating the continuous Situation by a discrete
model . 340
Exercise 341
Bibliographical Comments 342
Bibliography . 349
Author Index . 359
Subject Index . 361
|
any_adam_object | 1 |
author | Herman, Gabor T. Rozenberg, Grzegorz 1942- |
author_GND | (DE-588)1079124624 |
author_facet | Herman, Gabor T. Rozenberg, Grzegorz 1942- |
author_role | aut aut |
author_sort | Herman, Gabor T. |
author_variant | g t h gt gth g r gr |
building | Verbundindex |
bvnumber | BV001958758 |
callnumber-first | Q - Science |
callnumber-label | QH324 |
callnumber-raw | QH324.2 |
callnumber-search | QH324.2 |
callnumber-sort | QH 3324.2 |
callnumber-subject | QH - Natural History and Biology |
classification_rvk | ES 920 |
ctrlnum | (OCoLC)844190064 (DE-599)BVBBV001958758 |
dewey-full | 574.3/01/84 001.6/424 |
dewey-hundreds | 500 - Natural sciences and mathematics 000 - Computer science, information, general works |
dewey-ones | 574 - [Unassigned] 001 - Knowledge |
dewey-raw | 574.3/01/84 001.6/424 |
dewey-search | 574.3/01/84 001.6/424 |
dewey-sort | 3574.3 11 284 |
dewey-tens | 570 - Biology 000 - Computer science, information, general works |
discipline | Allgemeines Biologie Sprachwissenschaft Literaturwissenschaft |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01808nam a2200505 c 4500</leader><controlfield tag="001">BV001958758</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230904 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1975 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720428068</subfield><subfield code="9">0-7204-2806-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844190064</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001958758</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QH324.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">574.3/01/84</subfield><subfield code="2">18</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.6/424</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 920</subfield><subfield code="0">(DE-625)27929:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Q45</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Herman, Gabor T.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Developmental systems and languages</subfield><subfield code="c">Gabor T. Herman and Grzegorz Rozenberg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Publ. Comp. [u.a.]</subfield><subfield code="c">1975</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 363 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Biologie - Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Biologie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Statistische methoden</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Taal</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Biology</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rozenberg, Grzegorz</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1079124624</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001277120&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001277120</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK9590681</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK18890269</subfield></datafield></record></collection> |
id | DE-604.BV001958758 |
illustrated | Illustrated |
indexdate | 2024-07-09T15:37:55Z |
institution | BVB |
isbn | 0720428068 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001277120 |
oclc_num | 844190064 |
open_access_boolean | |
owner | DE-12 DE-91G DE-BY-TUM DE-384 DE-355 DE-BY-UBR DE-20 DE-706 DE-83 DE-188 |
owner_facet | DE-12 DE-91G DE-BY-TUM DE-384 DE-355 DE-BY-UBR DE-20 DE-706 DE-83 DE-188 |
physical | XVI, 363 S. Ill., graph. Darst. |
psigel | TUB-nveb |
publishDate | 1975 |
publishDateSearch | 1975 |
publishDateSort | 1975 |
publisher | North-Holland Publ. Comp. [u.a.] |
record_format | marc |
spelling | Herman, Gabor T. Verfasser aut Developmental systems and languages Gabor T. Herman and Grzegorz Rozenberg Amsterdam North-Holland Publ. Comp. [u.a.] 1975 XVI, 363 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Biologie - Informatique Biologie gtt Langages formels Statistische methoden gtt Taal gtt Datenverarbeitung Biology Data processing Formal languages Formale Sprache (DE-588)4017848-1 gnd rswk-swf Formale Sprache (DE-588)4017848-1 s DE-604 Rozenberg, Grzegorz 1942- Verfasser (DE-588)1079124624 aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001277120&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Herman, Gabor T. Rozenberg, Grzegorz 1942- Developmental systems and languages Biologie - Informatique Biologie gtt Langages formels Statistische methoden gtt Taal gtt Datenverarbeitung Biology Data processing Formal languages Formale Sprache (DE-588)4017848-1 gnd |
subject_GND | (DE-588)4017848-1 |
title | Developmental systems and languages |
title_auth | Developmental systems and languages |
title_exact_search | Developmental systems and languages |
title_full | Developmental systems and languages Gabor T. Herman and Grzegorz Rozenberg |
title_fullStr | Developmental systems and languages Gabor T. Herman and Grzegorz Rozenberg |
title_full_unstemmed | Developmental systems and languages Gabor T. Herman and Grzegorz Rozenberg |
title_short | Developmental systems and languages |
title_sort | developmental systems and languages |
topic | Biologie - Informatique Biologie gtt Langages formels Statistische methoden gtt Taal gtt Datenverarbeitung Biology Data processing Formal languages Formale Sprache (DE-588)4017848-1 gnd |
topic_facet | Biologie - Informatique Biologie Langages formels Statistische methoden Taal Datenverarbeitung Biology Data processing Formal languages Formale Sprache |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001277120&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT hermangabort developmentalsystemsandlanguages AT rozenberggrzegorz developmentalsystemsandlanguages |