Verfügbarkeit: Regulated rewriting in formal language theory

Regulated rewriting in formal language theory:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Dassow, Jürgen 1947- (VerfasserIn), Păun, Gheorghe 1950- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlin u.a. Springer 1989
Schriftenreihe:	EATCS monographs on theoretical computer science 18
Schlagwörter:	Langages formels grammaire algébrique régulation réécriture système L théorie langage formel Formal languages Rewriting systems (Computer science) Formale Sprache Kontextfreie Grammatik Regulation Reduktionssystem Ersetzungsregel Termersetzungssystem
Links:	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
Beschreibung:	Literaturverz. S. 290 - 301
Umfang:	308 S. graph. Darst.
ISBN:	3540514147 0387514147

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV002647511
003	DE-604
005	00000000000000.0
007	t\|
008	900523s1989 xx 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 Kontextfreie Grammatik \|0 (DE-588)4032281-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Regulation \|0 (DE-588)4049075-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Reduktionssystem \|0 (DE-588)4194895-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Ersetzungsregel \|0 (DE-588)4206760-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Termersetzungssystem \|0 (DE-588)4117189-5 \|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

DE-BY-TUM_call_number	0102 DAT 554f 2001 A 12099
DE-BY-TUM_katkey	478531
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010693846
_version_	1821938792198569984
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>02956nam a2200733 cb4500</leader><controlfield tag="001">BV002647511</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">900523s1989 xx 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">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="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">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">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">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</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-12-20T07:53:15Z
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
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 Kontextfreie Grammatik (DE-588)4032281-6 gnd Regulation (DE-588)4049075-0 gnd Reduktionssystem (DE-588)4194895-6 gnd Ersetzungsregel (DE-588)4206760-1 gnd Termersetzungssystem (DE-588)4117189-5 gnd
subject_GND	(DE-588)4017848-1 (DE-588)4032281-6 (DE-588)4049075-0 (DE-588)4194895-6 (DE-588)4206760-1 (DE-588)4117189-5
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 Kontextfreie Grammatik (DE-588)4032281-6 gnd Regulation (DE-588)4049075-0 gnd Reduktionssystem (DE-588)4194895-6 gnd Ersetzungsregel (DE-588)4206760-1 gnd Termersetzungssystem (DE-588)4117189-5 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 Kontextfreie Grammatik Regulation Reduktionssystem Ersetzungsregel Termersetzungssystem
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

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 554f 2001 A 12099 Lageplan
Exemplar 1	Ausleihbar Am Standort