Developments in language theory II: at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Singapore u.a.
World Scientific
1996
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 491 S. graph. Darst. |
| ISBN: | 9810226829 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010992175 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 961009s1996 d||| |||| 10||| eng d | ||
| 020 | |a 9810226829 |9 981-02-2682-9 | ||
| 035 | |a (OCoLC)35321130 | ||
| 035 | |a (DE-599)BVBBV010992175 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 | ||
| 050 | 0 | |a QA267.3 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SD 1995 |0 (DE-625)142729: |2 rvk | ||
| 084 | |a LIN 005f |2 stub | ||
| 084 | |a DAT 710f |2 stub | ||
| 245 | 1 | 0 | |a Developments in language theory II |b at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995 |c eds. Jürgen Dassow ... |
| 264 | 1 | |a Singapore u.a. |b World Scientific |c 1996 | |
| 300 | |a X, 491 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Automates cellulaires - Congrès |2 ram | |
| 650 | 7 | |a Computabilidade e modelos de computacao |2 larpcal | |
| 650 | 7 | |a Langages formels - Congrès |2 ram | |
| 650 | 7 | |a Lindenmayer, Systèmes de |2 ram | |
| 650 | 7 | |a Linguagens formais e automatos |2 larpcal | |
| 650 | 7 | |a analyse syntaxique |2 inriac | |
| 650 | 7 | |a combinatoire |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a décidabilité |2 inriac | |
| 650 | 7 | |a grammaire |2 inriac | |
| 650 | 7 | |a génération langage |2 inriac | |
| 650 | 7 | |a mot |2 inriac | |
| 650 | 7 | |a réseau Petri |2 inriac | |
| 650 | 4 | |a Formal languages |v Congresses | |
| 650 | 4 | |a L systems |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Dassow, Jürgen |d 1947- |e Sonstige |0 (DE-588)108920895 |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=007357243&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007357243 | ||
Datensatz im Suchindex
| _version_ | 1804125481683910656 |
|---|---|
| adam_text | CONTENTS
Preface
v
SEQUENCES
AND CODES
A Family of p-Uniform Tag Systems for p-Paperfolding Sequences
3
C. Bercoff
Recent Results on Sturmian Words
13
J. Berstel
Special Factors of Sequences with Linear
Subword
Complexity
25
J. Cassaigne
Cantor Sets and Dejean s Conjecture
35
J. D. Currie and R.
0.
Shelton
On Disjunctivity, Ultimate Periodicity and Ultimate Identity
of
Păun-Salomaa
Self-Reading Sequences
44
L.
Піе
Colored Gauss and Tangent Codes on the Torus
54
J.
Kari
and
V. Nitmi
Binary Self-Adding Sequences
64
V.
Mitrano
CLASSICAL THEORY OF LANGUAGES AND AUTOMATA
The Orthogonality of Some Complexity Measures of Context-Free Languages
73
G. Georgescu
Time-Bounded Parallel Rewriting
79
P. Gvozdjak and
B. Rovan
On Emptiness and Counting for Alternating Finite Automata
88
M.
Hoher
Height Functions and Linear Languages
98
M.
Ito
Restarting Automata, Marcus Grammars and Context-Free Languages
102
P.
Janear,
F.
Mráz,
M.
Plátek,
M.
Procházka
and J.
Vogel
VIII
An Undecidable Problem
for Shuffle Languages
112
J.
Jçdrzejovncz
Morphisms and Associated Congruences
119
L.
Kari
and G. Thierrin
Rational and Algebraic Languages with Distributed Catenation
129
M. Kudlek and A. Mateescu
On F-Prime Solutions of the Post Correspondence Problem
139
M. Lipponen
(0, 1)-
Total Pure Context-Free Grammars
148
C.
Matei
and
F. L.
Tiplea
Nondeterminism Degrees for Context-Free Languages
154
K. Salomaa and S. Yu
Counter-Free Automata, First-Order Logic and Star-Free Expressions
Extended by Prefix Oracles
166
/.
Schiering and W. Thomas
Transforming a Single-Valued Transducer Into a Mealy Machine
176
A. Weber
CONTROLLED DERIVATIONS AND GRAMMAR SYSTEMS
Colonies as Systems of Turing Machines Without States
189
I. Baník
Accepting Grammars and Systems: An Overview
199
H. Bordihn and H. Fernau
The Computational Complexity of PCGS with Regular Components
209
L.
Cai
Array Grammars with Prescribed Teams of Array Productions
220
R.
Freund
On Partition Limited 0L Systems
230
S. Gartner
On the Comunication Complexity of Distributive Language Generation
237
J. Hromkovič
ix
Szilárd
Languages
Associated
to
Parallel
Communicating Grammar Systems
247
V. Mihalache
Imposing Vertical Context Conditions on Derivations
257
O. Rambow
The Membership Problem for Unordered Vector Languages
267
G. Satta
MANY DIMENSIONS AND GRAPHS
Computing an Upper Bound for SVS(gg) by Abstract Interpretation
279
H.
Dörr
On the Connectedness of Pictures Defined by Iterated Function Systems
289
F. Drewes
Finite State Recognizability for Two-Dimensional Languages: A Brief Survey
299
D. Giammarresi
Efficient Subgraph Matching Within Cellular Hypergraphs
309
P.
Hartmann
Timed Attribute Hypergraph Grammars and Their Basic Properties
319
Y. Kimura and T. Tokuda
Some New Decision Results for Edge Grammars
329
R.
Stiebe
INFINITE WORDS
Prefix and Period Languages of Rational
ω
-Languages
341
H. Calbrix and M. Nivat
On the Computational Complexity of Infinite Words
350
A. Lepistõ
Finite Acceptance of Infinite Words
360
I. Litovsky
and L. Staiger
LANGUAGES AND CONCURRENCY
Recent Developments in Trace Theory
373
V. DiekeH, P. Gastin and A. Petit
Trace
Languages Definable with Modular Quantifiers
386
M.
Droste
and D. Kuske
Hierarchies of
Petri
Net Languages and a Super-Normal Form
396
F. L.
Tiplea
and
C. Ene
OTHER DEVICES
Rule Space Transformations and One-Dimensional Cellular Automata
409
G. Cattaneo,
E. Fermenti
and G. Mauri
Real-Time One-Way Pushdown Cellular Automata Languages
420
M. Kutrib and J. Richstein
Neural Language Acceptors
430
J.
Sima
and J.
Wiedermann
APPLICATIONS
Towards Robustness in Parsing
—
Fuzzifying Context-Free Language
Recognition
443
P. R. J. Asveld
From Synonymy to Self-Modifying Automata: Q-Diam Language
454
B. Cases
A Practical Small LR Parser with Action Decision Through
Minimal Stack Suffix Scanning
460
J. Fortes Galvez
Introducing the Operatorial Parser
466
R. Gramatovici
Reversible Pushdown Automata and Bidirectional Parsing
472
M.-J. Nederhof
A Fmitary-Language Semantics for Propositional Linear Temporal Logic
482
U. Nitsche
Author Index
491
|
| any_adam_object | 1 |
| author_GND | (DE-588)108920895 |
| building | Verbundindex |
| bvnumber | BV010992175 |
| 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 | SD 1995 |
| classification_tum | LIN 005f DAT 710f |
| ctrlnum | (OCoLC)35321130 (DE-599)BVBBV010992175 |
| 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>01989nam a2200517 c 4500</leader><controlfield tag="001">BV010992175</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961009s1996 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9810226829</subfield><subfield code="9">981-02-2682-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35321130</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010992175</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-91G</subfield><subfield code="a">DE-739</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">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1995</subfield><subfield code="0">(DE-625)142729:</subfield><subfield code="2">rvk</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 II</subfield><subfield code="b">at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995</subfield><subfield code="c">eds. Jürgen Dassow ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore u.a.</subfield><subfield code="b">World Scientific</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 491 S.</subfield><subfield code="b">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="7"><subfield code="a">Automates cellulaires - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computabilidade e modelos de computacao</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages formels - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lindenmayer, Systèmes de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Linguagens formais e automatos</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse syntaxique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">combinatoire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">décidabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">grammaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">génération langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">mot</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réseau Petri</subfield><subfield code="2">inriac</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dassow, Jürgen</subfield><subfield code="d">1947-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)108920895</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=007357243&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007357243</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV010992175 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:02:15Z |
| institution | BVB |
| isbn | 9810226829 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007357243 |
| oclc_num | 35321130 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 |
| owner_facet | DE-91G DE-BY-TUM DE-739 |
| physical | X, 491 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Developments in language theory II at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995 eds. Jürgen Dassow ... Singapore u.a. World Scientific 1996 X, 491 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Automates cellulaires - Congrès ram Computabilidade e modelos de computacao larpcal Langages formels - Congrès ram Lindenmayer, Systèmes de ram Linguagens formais e automatos larpcal analyse syntaxique inriac combinatoire inriac concurrence inriac décidabilité inriac grammaire inriac génération langage inriac mot inriac réseau Petri inriac Formal languages Congresses L systems Congresses (DE-588)1071861417 Konferenzschrift gnd-content Dassow, Jürgen 1947- Sonstige (DE-588)108920895 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007357243&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Developments in language theory II at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995 Automates cellulaires - Congrès ram Computabilidade e modelos de computacao larpcal Langages formels - Congrès ram Lindenmayer, Systèmes de ram Linguagens formais e automatos larpcal analyse syntaxique inriac combinatoire inriac concurrence inriac décidabilité inriac grammaire inriac génération langage inriac mot inriac réseau Petri inriac Formal languages Congresses L systems Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Developments in language theory II at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995 |
| title_auth | Developments in language theory II at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995 |
| title_exact_search | Developments in language theory II at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995 |
| title_full | Developments in language theory II at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995 eds. Jürgen Dassow ... |
| title_fullStr | Developments in language theory II at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995 eds. Jürgen Dassow ... |
| title_full_unstemmed | Developments in language theory II at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995 eds. Jürgen Dassow ... |
| title_short | Developments in language theory II |
| title_sort | developments in language theory ii at the crossroads of mathematics computer science and biology magdeburg germany 17 21 july 1995 |
| title_sub | at the crossroads of mathematics, computer science and biology ; Magdeburg, Germany 17 - 21 July 1995 |
| topic | Automates cellulaires - Congrès ram Computabilidade e modelos de computacao larpcal Langages formels - Congrès ram Lindenmayer, Systèmes de ram Linguagens formais e automatos larpcal analyse syntaxique inriac combinatoire inriac concurrence inriac décidabilité inriac grammaire inriac génération langage inriac mot inriac réseau Petri inriac Formal languages Congresses L systems Congresses |
| topic_facet | Automates cellulaires - Congrès Computabilidade e modelos de computacao Langages formels - Congrès Lindenmayer, Systèmes de Linguagens formais e automatos analyse syntaxique combinatoire concurrence décidabilité grammaire génération langage mot réseau Petri Formal languages Congresses L systems Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007357243&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT dassowjurgen developmentsinlanguagetheoryiiatthecrossroadsofmathematicscomputerscienceandbiologymagdeburggermany1721july1995 |