Regulated rewriting in formal language theory:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1989
|
| Schriftenreihe: | EATCS monographs on theoretical computer science
18 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 290 - 301 |
| Beschreibung: | 308 S. graph. Darst. |
| ISBN: | 3540514147 0387514147 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002647511 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 900523s1989 d||| |||| 00||| eng d | ||
| 020 | |a 3540514147 |9 3-540-51414-7 | ||
| 020 | |a 0387514147 |9 0-387-51414-7 | ||
| 035 | |a (OCoLC)70304680 | ||
| 035 | |a (DE-599)BVBBV002647511 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-19 |a DE-384 |a DE-12 |a DE-473 |a DE-739 |a DE-20 |a DE-29T |a DE-634 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA267.3 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a ES 200 |0 (DE-625)27818: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a DAT 554f |2 stub | ||
| 100 | 1 | |a Dassow, Jürgen |d 1947- |e Verfasser |0 (DE-588)108920895 |4 aut | |
| 245 | 1 | 0 | |a Regulated rewriting in formal language theory |c by Jürgen Dassow and Gheorghe Păun |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1989 | |
| 300 | |a 308 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a EATCS monographs on theoretical computer science |v 18 | |
| 500 | |a Literaturverz. S. 290 - 301 | ||
| 650 | 7 | |a Langages formels |2 ram | |
| 650 | 7 | |a grammaire algébrique |2 inriac | |
| 650 | 7 | |a régulation |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a système L |2 inriac | |
| 650 | 7 | |a théorie langage formel |2 inriac | |
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Rewriting systems (Computer science) | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Regulation |0 (DE-588)4049075-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ersetzungsregel |0 (DE-588)4206760-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reduktionssystem |0 (DE-588)4194895-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kontextfreie Grammatik |0 (DE-588)4032281-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | 1 | |a Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 2 | 1 | |a Ersetzungsregel |0 (DE-588)4206760-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Kontextfreie Grammatik |0 (DE-588)4032281-6 |D s |
| 689 | 3 | 1 | |a Regulation |0 (DE-588)4049075-0 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 4 | 1 | |a Reduktionssystem |0 (DE-588)4194895-6 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Păun, Gheorghe |d 1950- |e Verfasser |0 (DE-588)140913912 |4 aut | |
| 830 | 0 | |a EATCS monographs on theoretical computer science |v 18 |w (DE-604)BV005600727 |9 18 | |
| 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=001698673&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001698673 | |
Datensatz im Suchindex
| _version_ | 1813894767195455488 |
|---|---|
| adam_text |
Contents
0. Introduction. g
0.1. Languages and Language Families. 9
0.2. Language Generating Devices. 12
0.3. Algorithms and Decidability . 16
0.4. Seven Circumstances Where Context-Free Grammars Are Not Enough. 18
1. Three Types of Regulation: Matrix, Programmed, and Random Contest Grammars . 25
1.1. Definitions and Examples. 25
1.2. The Generative Capacity. 31
1.3. Fundamental Properties. 43
1.4. Leftmost Derivations. 53
1.5. Special Cases. 67
2. Other Grammars with Regulation. 95
2.1. Prescribed Sequences. 95
2.2. Dependence on Previous Productions. 113
2.3. Context Conditions. 121
2.4. Further Regulated Devices. 129
2.5. Conclusions. 146
3. Grammars of Finite Index.151
3.1. The Generative Power of Finite Index Grammars.151
3.2. Properties of Grammars and Languages of Finite Index.161
4. The Syntactic Complexity of Regulated Rewriting.170
4.1. Nonterminal Complexity. Comparison.171
4.2. Nonterminal Complexity. Families of Languages with Bounded Complexity . 181
4.3. Further Complexity Measures.186
5. Pure Regulated Grammars and Languages and Their Codings.194
5.1. Hierarchy of Pure Regulated Languages.195
5.2. Codings of Pure Languages.209
6. Combined Regulations.217
6.1. Indian and Russian Parallel Versions of Regulated Grammars.217
6.2. Ordered Versions of Regulated Rewriting.22,'i
6.3. Random Context Versions of Regulated Grammars.233
7. Some Special Problems.-3i"
7.1. Automata Characterizations.-3i
Contents
7.2. Szilard Language of Regulated Grammars.241
7.3. Grammar Forms.245
S. Regulated L Systems.253
9. Applications oí Regulated Rewriting.263
9.1. Relationships with Programming Languages . 263
9.2. Regulated Rewriting and Petri Nets. 266
9.3. Modelling of Economic Processes. 271
9.4. Modelling Folklore Fairy-Tales, Dramatic, Musical and Visual Art Works . 273
9.5. The Mappings Investigation. 276
10. A Common Generalization: Selective Substitution Grammars. 279
Bibliography. 290
Notation Index . 302
Subject Index . 305
Author Index. 307 |
| any_adam_object | 1 |
| author | Dassow, Jürgen 1947- Păun, Gheorghe 1950- |
| author_GND | (DE-588)108920895 (DE-588)140913912 |
| author_facet | Dassow, Jürgen 1947- Păun, Gheorghe 1950- |
| author_role | aut aut |
| author_sort | Dassow, Jürgen 1947- |
| author_variant | j d jd g p gp |
| building | Verbundindex |
| bvnumber | BV002647511 |
| 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 | ES 200 ST 130 ST 136 |
| classification_tum | DAT 554f |
| ctrlnum | (OCoLC)70304680 (DE-599)BVBBV002647511 |
| 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 | Sprachwissenschaft Informatik Mathematik Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV002647511</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900523s1989 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540514147</subfield><subfield code="9">3-540-51414-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387514147</subfield><subfield code="9">0-387-51414-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)70304680</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002647511</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-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</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">ES 200</subfield><subfield code="0">(DE-625)27818:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 554f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dassow, Jürgen</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)108920895</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Regulated rewriting in formal language theory</subfield><subfield code="c">by Jürgen Dassow and Gheorghe Păun</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">308 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="490" ind1="1" ind2=" "><subfield code="a">EATCS monographs on theoretical computer science</subfield><subfield code="v">18</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 290 - 301</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages formels</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">grammaire algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">régulation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système L</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie langage formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</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="650" ind1="0" ind2="7"><subfield code="a">Regulation</subfield><subfield code="0">(DE-588)4049075-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ersetzungsregel</subfield><subfield code="0">(DE-588)4206760-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontextfreie Grammatik</subfield><subfield code="0">(DE-588)4032281-6</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="689" ind1="1" 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="1" ind2="1"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Ersetzungsregel</subfield><subfield code="0">(DE-588)4206760-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Kontextfreie Grammatik</subfield><subfield code="0">(DE-588)4032281-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Regulation</subfield><subfield code="0">(DE-588)4049075-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2="1"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Păun, Gheorghe</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140913912</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">EATCS monographs on theoretical computer science</subfield><subfield code="v">18</subfield><subfield code="w">(DE-604)BV005600727</subfield><subfield code="9">18</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=001698673&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001698673</subfield></datafield></record></collection> |
| id | DE-604.BV002647511 |
| illustrated | Illustrated |
| indexdate | 2024-10-25T14:00:51Z |
| institution | BVB |
| isbn | 3540514147 0387514147 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001698673 |
| oclc_num | 70304680 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-12 DE-473 DE-BY-UBG DE-739 DE-20 DE-29T DE-634 DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-12 DE-473 DE-BY-UBG DE-739 DE-20 DE-29T DE-634 DE-83 DE-188 |
| physical | 308 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer |
| record_format | marc |
| series | EATCS monographs on theoretical computer science |
| series2 | EATCS monographs on theoretical computer science |
| spelling | Dassow, Jürgen 1947- Verfasser (DE-588)108920895 aut Regulated rewriting in formal language theory by Jürgen Dassow and Gheorghe Păun Berlin u.a. Springer 1989 308 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier EATCS monographs on theoretical computer science 18 Literaturverz. S. 290 - 301 Langages formels ram grammaire algébrique inriac régulation inriac réécriture inriac système L inriac théorie langage formel inriac Formal languages Rewriting systems (Computer science) Formale Sprache (DE-588)4017848-1 gnd rswk-swf Regulation (DE-588)4049075-0 gnd rswk-swf Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf Ersetzungsregel (DE-588)4206760-1 gnd rswk-swf Reduktionssystem (DE-588)4194895-6 gnd rswk-swf Kontextfreie Grammatik (DE-588)4032281-6 gnd rswk-swf Formale Sprache (DE-588)4017848-1 s DE-604 Termersetzungssystem (DE-588)4117189-5 s Ersetzungsregel (DE-588)4206760-1 s Kontextfreie Grammatik (DE-588)4032281-6 s Regulation (DE-588)4049075-0 s Reduktionssystem (DE-588)4194895-6 s Păun, Gheorghe 1950- Verfasser (DE-588)140913912 aut EATCS monographs on theoretical computer science 18 (DE-604)BV005600727 18 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001698673&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Dassow, Jürgen 1947- Păun, Gheorghe 1950- Regulated rewriting in formal language theory EATCS monographs on theoretical computer science Langages formels ram grammaire algébrique inriac régulation inriac réécriture inriac système L inriac théorie langage formel inriac Formal languages Rewriting systems (Computer science) Formale Sprache (DE-588)4017848-1 gnd Regulation (DE-588)4049075-0 gnd Termersetzungssystem (DE-588)4117189-5 gnd Ersetzungsregel (DE-588)4206760-1 gnd Reduktionssystem (DE-588)4194895-6 gnd Kontextfreie Grammatik (DE-588)4032281-6 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4049075-0 (DE-588)4117189-5 (DE-588)4206760-1 (DE-588)4194895-6 (DE-588)4032281-6 |
| title | Regulated rewriting in formal language theory |
| title_auth | Regulated rewriting in formal language theory |
| title_exact_search | Regulated rewriting in formal language theory |
| title_full | Regulated rewriting in formal language theory by Jürgen Dassow and Gheorghe Păun |
| title_fullStr | Regulated rewriting in formal language theory by Jürgen Dassow and Gheorghe Păun |
| title_full_unstemmed | Regulated rewriting in formal language theory by Jürgen Dassow and Gheorghe Păun |
| title_short | Regulated rewriting in formal language theory |
| title_sort | regulated rewriting in formal language theory |
| topic | Langages formels ram grammaire algébrique inriac régulation inriac réécriture inriac système L inriac théorie langage formel inriac Formal languages Rewriting systems (Computer science) Formale Sprache (DE-588)4017848-1 gnd Regulation (DE-588)4049075-0 gnd Termersetzungssystem (DE-588)4117189-5 gnd Ersetzungsregel (DE-588)4206760-1 gnd Reduktionssystem (DE-588)4194895-6 gnd Kontextfreie Grammatik (DE-588)4032281-6 gnd |
| topic_facet | Langages formels grammaire algébrique régulation réécriture système L théorie langage formel Formal languages Rewriting systems (Computer science) Formale Sprache Regulation Termersetzungssystem Ersetzungsregel Reduktionssystem Kontextfreie Grammatik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001698673&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005600727 |
| work_keys_str_mv | AT dassowjurgen regulatedrewritinginformallanguagetheory AT paungheorghe regulatedrewritinginformallanguagetheory |