Automata and algebras in categories:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht u.a.
Kluwer
1990
|
| Schriftenreihe: | Mathematics and its applications / East European series
37 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 470 S. graph. Darst. |
| ISBN: | 0792300106 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004218600 | ||
| 003 | DE-604 | ||
| 005 | 20210611 | ||
| 007 | t | ||
| 008 | 910129s1990 d||| |||| 00||| eng d | ||
| 020 | |a 0792300106 |9 0-7923-0010-6 | ||
| 035 | |a (OCoLC)18558220 | ||
| 035 | |a (DE-599)BVBBV004218600 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-29T |a DE-11 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511 |2 19 | |
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a DAT 550f |2 stub | ||
| 100 | 1 | |a Adámek, Jiří |d 1947- |e Verfasser |0 (DE-588)113295219 |4 aut | |
| 245 | 1 | 0 | |a Automata and algebras in categories |c by Jiří and Věra Trnková |
| 264 | 1 | |a Dordrecht u.a. |b Kluwer |c 1990 | |
| 300 | |a XIV, 470 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Mathematics and its applications / East European series |v 37 | |
| 650 | 7 | |a Automates mathématiques, théorie des |2 ram | |
| 650 | 7 | |a Catégories (Mathématiques) |2 ram | |
| 650 | 7 | |a Foncteurs, théorie des |2 ram | |
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Functor theory | |
| 650 | 4 | |a Machine theory | |
| 650 | 0 | 7 | |a Algebraische Struktur |0 (DE-588)4001166-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 0 | 1 | |a Algebraische Struktur |0 (DE-588)4001166-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 1 | 1 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Trnková, Věra |d 1934-2018 |e Verfasser |0 (DE-588)170766802 |4 aut | |
| 810 | 2 | |a East European series |t Mathematics and its applications |v 37 |w (DE-604)BV000006709 |9 37 | |
| 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=002626641&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002626641 | ||
Datensatz im Suchindex
| _version_ | 1804118419131334656 |
|---|---|
| adam_text | Contents
Series Editor s Preface V
Preface XI
Chapter I: SEQUENTIAL AUTOMATA 1
1. Automata and Behavior 1
2. Minimal Realization 7
3. Finite Automata and Languages 19
Notes to Chapter I 28
Chapter II: TREE AUTOMATA 29
1. FinitaryTree Automata 29
2. Minimal Realization 42
3. Infinitary Tree Automata 52
4. Finite Automata and Languages 65
Notes to Chapter II 81
Chapter III: /^AUTOMATA 82
1. Introduction 82
2. Automata in a Category 88
3. F Algebras 113
4. Set Functors 128
5. Factorization Systems 144
Notes to Chapter III 157
Chapter IV: CONSTRUCTION OF FREE ALGEBRAS 158
1. Introduction 158
2. Initial Algebra Construction 159
3. Free Algebra Construction 170
4. Characterization Theorem 181
5. Algebras in Concrete Categories 187
6. Finitary Varietors 195
7. Free Completion Construction 210
8. Categories of Algebras 228
Notes to Chapter IV 242
X Contents
Chapter V: MINIMAL REALIZATION AND REDUCTION 244
1. Minimal Reduction 244
2. Relations in a Category 257
3. Finitary Functors 279
4. Consequences of Minimal Reduction 302
5. Finite Automata 311
Notes to Chapter V 319
Chapter VI: UNIVERSAL REALIZATION 321
1. The Concept of Universality 321
2. Universal Reduction Theorem 339
3. Nerode Equivalences 363
Notes to Chapter VI 378
Chapter VII: NONDETERMINISTIC AUTOMATA AND KLEENE THEOREM 380
1. Nondeterministic Behavior 380
2. Nondeterministic Languages in Set 404
3. Kleene Theorem 430
Notes to Chapter VII 462
Appendix: SET THEORETICAL CONVENTIONS 463
List of Current Symbols 465
References 467
Subject Index 471
|
| any_adam_object | 1 |
| author | Adámek, Jiří 1947- Trnková, Věra 1934-2018 |
| author_GND | (DE-588)113295219 (DE-588)170766802 |
| author_facet | Adámek, Jiří 1947- Trnková, Věra 1934-2018 |
| author_role | aut aut |
| author_sort | Adámek, Jiří 1947- |
| author_variant | j a ja v t vt |
| building | Verbundindex |
| bvnumber | BV004218600 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 136 |
| classification_tum | DAT 550f |
| ctrlnum | (OCoLC)18558220 (DE-599)BVBBV004218600 |
| dewey-full | 511 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511 |
| dewey-search | 511 |
| dewey-sort | 3511 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02127nam a2200529 cb4500</leader><controlfield tag="001">BV004218600</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210611 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910129s1990 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792300106</subfield><subfield code="9">0-7923-0010-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)18558220</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004218600</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><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511</subfield><subfield code="2">19</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 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Adámek, Jiří</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)113295219</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata and algebras in categories</subfield><subfield code="c">by Jiří and Věra Trnková</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht u.a.</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 470 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">Mathematics and its applications / East European series</subfield><subfield code="v">37</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automates mathématiques, théorie des</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Catégories (Mathématiques)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Foncteurs, théorie des</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functor theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</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">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</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">Trnková, Věra</subfield><subfield code="d">1934-2018</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)170766802</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">East European series</subfield><subfield code="t">Mathematics and its applications</subfield><subfield code="v">37</subfield><subfield code="w">(DE-604)BV000006709</subfield><subfield code="9">37</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=002626641&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-002626641</subfield></datafield></record></collection> |
| id | DE-604.BV004218600 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:10:00Z |
| institution | BVB |
| isbn | 0792300106 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002626641 |
| oclc_num | 18558220 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-29T DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-29T DE-11 |
| physical | XIV, 470 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Kluwer |
| record_format | marc |
| series2 | Mathematics and its applications / East European series |
| spelling | Adámek, Jiří 1947- Verfasser (DE-588)113295219 aut Automata and algebras in categories by Jiří and Věra Trnková Dordrecht u.a. Kluwer 1990 XIV, 470 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Mathematics and its applications / East European series 37 Automates mathématiques, théorie des ram Catégories (Mathématiques) ram Foncteurs, théorie des ram Categories (Mathematics) Functor theory Machine theory Algebraische Struktur (DE-588)4001166-5 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 s Algebraische Struktur (DE-588)4001166-5 s DE-604 Automatentheorie (DE-588)4003953-5 s Trnková, Věra 1934-2018 Verfasser (DE-588)170766802 aut East European series Mathematics and its applications 37 (DE-604)BV000006709 37 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002626641&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Adámek, Jiří 1947- Trnková, Věra 1934-2018 Automata and algebras in categories Automates mathématiques, théorie des ram Catégories (Mathématiques) ram Foncteurs, théorie des ram Categories (Mathematics) Functor theory Machine theory Algebraische Struktur (DE-588)4001166-5 gnd Automatentheorie (DE-588)4003953-5 gnd Kategorientheorie (DE-588)4120552-2 gnd |
| subject_GND | (DE-588)4001166-5 (DE-588)4003953-5 (DE-588)4120552-2 |
| title | Automata and algebras in categories |
| title_auth | Automata and algebras in categories |
| title_exact_search | Automata and algebras in categories |
| title_full | Automata and algebras in categories by Jiří and Věra Trnková |
| title_fullStr | Automata and algebras in categories by Jiří and Věra Trnková |
| title_full_unstemmed | Automata and algebras in categories by Jiří and Věra Trnková |
| title_short | Automata and algebras in categories |
| title_sort | automata and algebras in categories |
| topic | Automates mathématiques, théorie des ram Catégories (Mathématiques) ram Foncteurs, théorie des ram Categories (Mathematics) Functor theory Machine theory Algebraische Struktur (DE-588)4001166-5 gnd Automatentheorie (DE-588)4003953-5 gnd Kategorientheorie (DE-588)4120552-2 gnd |
| topic_facet | Automates mathématiques, théorie des Catégories (Mathématiques) Foncteurs, théorie des Categories (Mathematics) Functor theory Machine theory Algebraische Struktur Automatentheorie Kategorientheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002626641&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000006709 |
| work_keys_str_mv | AT adamekjiri automataandalgebrasincategories AT trnkovavera automataandalgebrasincategories |