Developments in language theory: at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Singapore u.a.
World Scientific
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 492 S. Ill., graph. Darst. |
| ISBN: | 9810216459 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009718077 | ||
| 003 | DE-604 | ||
| 005 | 19951018 | ||
| 007 | t| | ||
| 008 | 940726s1994 xx ad|| |||| 10||| eng d | ||
| 020 | |a 9810216459 |9 981-02-1645-9 | ||
| 035 | |a (OCoLC)31087458 | ||
| 035 | |a (DE-599)BVBBV009718077 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-12 | ||
| 050 | 0 | |a QA267.3 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a LIN 005f |2 stub | ||
| 084 | |a DAT 710f |2 stub | ||
| 245 | 1 | 0 | |a Developments in language theory |b at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993 |c ed. G Rozenberg ... |
| 264 | 1 | |a Singapore u.a. |b World Scientific |c 1994 | |
| 300 | |a XII, 492 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Formal languages |v Congresses | |
| 650 | 4 | |a L systems |v Congresses | |
| 650 | 0 | 7 | |a Mathematische Linguistik |0 (DE-588)4037950-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Naturwissenschaften |0 (DE-588)4041421-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Makrolinguistik |0 (DE-588)4455051-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Turku |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Linguistik |0 (DE-588)4037950-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Makrolinguistik |0 (DE-588)4455051-0 |D s |
| 689 | 1 | 1 | |a Naturwissenschaften |0 (DE-588)4041421-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Rozenberg, Grzegorz |d 1942- |e Sonstige |0 (DE-588)1079124624 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006428855&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |n oe | |
| 942 | 1 | 1 | |e 22/bsb |g 4897 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006428855 | |
Datensatz im Suchindex
| _version_ | 1820868059487797248 |
|---|---|
| adam_text |
CONTENTS
Preface vii
CHAPTER
1
CLASSICAL LANGUAGE THEORY
E. Jurvanen, A. Potthoff and W. Thomas
Tree Languages Recognizable by Regular Frontier Check
3
D. Raz
Deciding Multiplicity Equivalence for Certain Context-free Languages
18
D. Derencourt and A. Terlutte
Compositions of Codings
30
D. Vaida
Iteration Conditions of W. Ogden's Type and Applications
to Programming Languages (II)
44
A. Atanasiu and V. Mitrana
Substitution on Words and Languages
51
G. Georgescu
On the Index of Pure Context-free Grammars and Languages
60
H. Bordihn and J. Dassow
A Note on the Degree of Nondeterminism
70
G.
latrate
The Strong Equivalence of ETOL Grammars
81
H. Fernau
Remarks on Adult Languages of Propagating Systems
with Restricted Parallelism
90
A. Kelemenová
and P. Vajgel
Productions in Stable OL-Sysiems
102
CHAPTER
2
SEQUENCES
С.
Calude
Borei
Normality and Algorithmic Randomness
113
A. Lepistö
Repetitions in Kolakoski Sequence
130
J.
Kari
and V.
Niemi
Morphic Images of Gauss Codes
144
J. Dassow, S. Marcus and G.
Păun
Iterative Reading of Numbers: The Ordered Case
157
CHAPTER
3
FORMAL POWER SERIES
W. Kuich
Lindenmayer
Systems Generalized to Formal Power Series and
Their Growth Functions
171
J. Honkala
On Lindenmayerian Series in Complete Semirings
179
CHAPTER
4
INFERENCES AND TERM-REWRITING
V. M. Antimirov and P. D. Mosses
Rewriting Extended Regular Expressions
195
V. E.
Căzănescu
Local Equational Logic II
210
CHAPTERS
£
SYSTEMS, FRACTALS AND IMAGE GENERATION:
MANY DIMENSIONS
K.
(Mik
II and J.
Kari
On the Power of L-Systems in Image Generation
225
Ph. Narbel
Geometrical OL-Systems Coming from Tilings of the Plane
237
R.
Freund
Aspects of N-Dimensional
Lindenmayer
Systems
250
W. Merzenich and L. Staiger
Fractals, Dimension, and Formal Languages
262
F. Drewes, A. Habel, H.-J. Kreowski and S. Taubenberger
Generating Self-Affine Fractals by Collage Grammars
278
D. Giammarresi
Two-Dimensional Languages and Recognizable Functions
290
CHAPTER
6
COMPLEXITY AND MACHINE MODELS
C.
Damm,
M.
Holzer, K.-J. Lange
and P. Rossmanith
Deterministic 0L Languages are of Very Low Complexity:
DOL
is in AC0
305
J.
Hromkovič,
В.
Rovan
and
A. Slobodová
Deterministic
Versas Nondeterministic
Space in Terms of
Synchronized Alternating Machines
314
K. Iwama
Low-Level Tradeoffs between Reversals and Alternations
326
K. Krithivasan and
M. M
ahajan
Nondeterministic, Probabilistic and Alternating Computations
on Cellular Array Models
342
CHAPTER
7
SPECIAL GENERATIVE MODELS
A.
Ehrenfeucht,
H. J.
Hoogeboom, P. ten Pas and G. Rozenberg
An Introduction to Context-free Text
Grammurs
357
G.
Păun,
G. Rozenberg and A. Salomaa
Contextual
Grammars: Erasing, Determinism,
One-Side Contexts
370
L. Breveglieri, A.
Cherubini,
C.
Citrini
and S. Crespi-Reghizzi
Fair List Languages and Parallel Programme Schemes
389
D.
Pardubská
On the Power of Communication Structure for
Distributive Generation of Languages
419
V. Mihalache
Programmed Grammar Systems
430
H.-J.
Roder
Parallel BNLC Graph Grammars
438
CHAPTER
8
BROADER PERSPECTIVES
S. Marcus
Hidden Grammars
453
M. Kudlek
General Formal Systems
461
C. Calude and A. Salomaa
Algoriihmically Coding the Universe
472 |
| any_adam_object | 1 |
| author_GND | (DE-588)1079124624 |
| building | Verbundindex |
| bvnumber | BV009718077 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.3 |
| callnumber-search | QA267.3 |
| callnumber-sort | QA 3267.3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1993 |
| classification_tum | LIN 005f DAT 710f |
| ctrlnum | (OCoLC)31087458 (DE-599)BVBBV009718077 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik Sprachwissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV009718077</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951018</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940726s1994 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9810216459</subfield><subfield code="9">981-02-1645-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31087458</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009718077</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LIN 005f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 710f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Developments in language theory</subfield><subfield code="b">at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993</subfield><subfield code="c">ed. G Rozenberg ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore u.a.</subfield><subfield code="b">World Scientific</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 492 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">Formal languages</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">L systems</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Linguistik</subfield><subfield code="0">(DE-588)4037950-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Naturwissenschaften</subfield><subfield code="0">(DE-588)4041421-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Makrolinguistik</subfield><subfield code="0">(DE-588)4455051-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1993</subfield><subfield code="z">Turku</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Linguistik</subfield><subfield code="0">(DE-588)4037950-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Makrolinguistik</subfield><subfield code="0">(DE-588)4455051-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Naturwissenschaften</subfield><subfield code="0">(DE-588)4041421-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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">Sonstige</subfield><subfield code="0">(DE-588)1079124624</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=006428855&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="n">oe</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="e">22/bsb</subfield><subfield code="g">4897</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006428855</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Turku gnd-content |
| genre_facet | Konferenzschrift 1993 Turku |
| id | DE-604.BV009718077 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:18:21Z |
| institution | BVB |
| isbn | 9810216459 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006428855 |
| oclc_num | 31087458 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-12 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-12 |
| physical | XII, 492 S. Ill., graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Developments in language theory at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993 ed. G Rozenberg ... Singapore u.a. World Scientific 1994 XII, 492 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Formal languages Congresses L systems Congresses Mathematische Linguistik (DE-588)4037950-4 gnd rswk-swf Naturwissenschaften (DE-588)4041421-8 gnd rswk-swf Makrolinguistik (DE-588)4455051-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Turku gnd-content Mathematische Linguistik (DE-588)4037950-4 s DE-604 Makrolinguistik (DE-588)4455051-0 s Naturwissenschaften (DE-588)4041421-8 s Rozenberg, Grzegorz 1942- Sonstige (DE-588)1079124624 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006428855&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Developments in language theory at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993 Formal languages Congresses L systems Congresses Mathematische Linguistik (DE-588)4037950-4 gnd Naturwissenschaften (DE-588)4041421-8 gnd Makrolinguistik (DE-588)4455051-0 gnd |
| subject_GND | (DE-588)4037950-4 (DE-588)4041421-8 (DE-588)4455051-0 (DE-588)1071861417 |
| title | Developments in language theory at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993 |
| title_auth | Developments in language theory at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993 |
| title_exact_search | Developments in language theory at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993 |
| title_full | Developments in language theory at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993 ed. G Rozenberg ... |
| title_fullStr | Developments in language theory at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993 ed. G Rozenberg ... |
| title_full_unstemmed | Developments in language theory at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993 ed. G Rozenberg ... |
| title_short | Developments in language theory |
| title_sort | developments in language theory at the crossroads of mathematics computer science and biology turku finland 12 15 july 1993 |
| title_sub | at the crossroads of mathematics, computer science and biology ; Turku, Finland 12 - 15 July 1993 |
| topic | Formal languages Congresses L systems Congresses Mathematische Linguistik (DE-588)4037950-4 gnd Naturwissenschaften (DE-588)4041421-8 gnd Makrolinguistik (DE-588)4455051-0 gnd |
| topic_facet | Formal languages Congresses L systems Congresses Mathematische Linguistik Naturwissenschaften Makrolinguistik Konferenzschrift 1993 Turku |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006428855&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT rozenberggrzegorz developmentsinlanguagetheoryatthecrossroadsofmathematicscomputerscienceandbiologyturkufinland1215july1993 |