Algebraic theory of automata networks: an introduction
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Philadelphia
Society for Industrial and Applied Mathematics
2005
|
| Schriftenreihe: | SIAM monographs on discrete mathematics and applications
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XII, 258 S. |
| ISBN: | 0898715695 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV019880406 | ||
| 003 | DE-604 | ||
| 005 | 20061113 | ||
| 007 | t | ||
| 008 | 050712s2005 xxu |||| 00||| eng d | ||
| 010 | |a 2004057838 | ||
| 020 | |a 0898715695 |9 0-89871-569-5 | ||
| 028 | 5 | 2 | |a BKDT0011 |
| 035 | |a (OCoLC)56493851 | ||
| 035 | |a (DE-599)BVBBV019880406 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-473 |a DE-703 | ||
| 050 | 0 | |a QA276 | |
| 082 | 0 | |a 004.6 |2 22 | |
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 100 | 1 | |a Dömösi, Pál |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Algebraic theory of automata networks |b an introduction |c Pál Dömösi ; Chrystopher L. Nehaniv |
| 264 | 1 | |a Philadelphia |b Society for Industrial and Applied Mathematics |c 2005 | |
| 300 | |a XII, 258 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a SIAM monographs on discrete mathematics and applications | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Algèbre abstraite | |
| 650 | 4 | |a Automates mathématiques, Théorie des | |
| 650 | 4 | |a Réseaux d'ordinateurs | |
| 650 | 4 | |a Semi-groupes | |
| 650 | 4 | |a aComputer networks | |
| 650 | 4 | |a aMachine theory | |
| 650 | 4 | |a aSemigroups | |
| 650 | 4 | |a aAlgebra, Abstract | |
| 650 | 0 | 7 | |a Algebraische Automatentheorie |0 (DE-588)4141833-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Algebraische Automatentheorie |0 (DE-588)4141833-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Nehaniv, Chrystopher L. |d 1963- |e Sonstige |0 (DE-588)120990571 |4 oth | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Mainz |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013204560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-013204560 | ||
Datensatz im Suchindex
| _version_ | 1804133409661911040 |
|---|---|
| adam_text | ALGEBRAIC THEORY OF AUTOMATA NETWORKS AN INTRODUCTION PAL DOMOSI
UNIVERSITY OF DEBRECEN DEBRECEN, HUNGARY CHRYSTOPHER L. NEHANIV
UNIVERSITY OF HERTFORDSHIRE HATFIELD, UNITED KINGDOM SOCIETY FOR
INDUSTRIAL AND APPLIED MATHEMATICS PHILADELPHIA CONTENTS PREFACE AND
OVERVIEW IX 1 PRELIMINARIES 1 1.1 BASIC NOTATION AND NOTIONS 1 1.2
SEMIGROUPS, MONOIDS, AND GROUPS 4 1.3 TRANSFORMATION SEMIGROUPS,
DIVISION, AND WREATH PRODUCTS 8 1.4 BIBLIOGRAPHICAL REMARKS 21 2
DIRECTED GRAPHS, AUTOMATA, AND AUTOMATA NETWORKS 23 2.1 DIGRAPH
COMPLETENESS 23 2.2 AUTOMATA AND AUTOMATON MAPPINGS 44 2.3 AUTOMATA AND
SEMIGROUPS 50 2.4 AUTOMATA NETWORKS AND PRODUCTS OF AUTOMATA 58 2.5
BIBLIOGRAPHICAL REMARKS 71 3 KROHN-RHODES THEORY AND COMPLETE CLASSES 73
3.1 KROHN-RHODES AND HOLONOMY DECOMPOSITION THEOREMS 73 3.2 SOME RESULTS
RELATED TO THE KROHN-RHODES DECOMPOSITION THEOREM . . 82 3.3
HOMOMORPHICALLY COMPLETE CLASSES UNDER THE QUASI-DIRECT PRODUCT. . . 101
3.4 HOMOMORPHICALLY COMPLETE CLASSES UNDER THE CASCADE PRODUCT 104 3.5
BIBLIOGRAPHICAL REMARKS 108 4 WITHOUT LETICHEVSKY S CRITERION 111 4.1
SEMI-LETICHEVSKY CRITERION ILL 4.2 WITHOUT ANY LETICHEVSKY CRITERIA 121
4.3 NETWORKS OF AUTOMATA WITHOUT ANY LETICHEVSKY CRITERIA 131 4.4
PRODUCT HIERARCHIES OF AUTOMATA 142 4.5 BIBLIOGRAPHICAL REMARKS 145 5
LETICHEVSKY S CRITERION 147 5.1 HOMOMORPHIC SIMULATION AND THE V 2
-PRODUCT 147 5.2 AUTOMATA WITH CONTROL WORDS 152 5.3 THE BEAUTY OF
LETICHEVSKY S CRITERION 157 5.4 BIBLIOGRAPHICAL REMARKS 162 VII VIII
CONTENTS 6 PRIMITIVE PRODUCTS AND TEMPORAL PRODUCTS 163 6.1 PRIMITIVE
PRODUCTS 164 6.2 PRIMITIVE PRODUCTS AND LETICHEVSKY S CRITERION 166 6.3
HOMOMORPHIC COMPLETENESS UNDER THE PRIMITIVE PRODUCT 176 6.4 TEMPORAL
PRODUCTS 183 6.5 BIBLIOGRAPHICAL REMARKS 197 7 FINITE STATE-HOMOGENEOUS
AUTOMATA NETWORKS AND ASYNCHRONOUS AUTOMATA NETWORKS 199 7.1
STATE-HOMOGENEOUS NETWORKS AND SOME TECHNICAL LEMMAS 200 7.2 NETWORK
COMPLETENESS FOR DIGRAPHS HAVING ALL LOOP EDGES 207 7.3 COMPLETE FINITE
AUTOMATA NETWORK GRAPHS WITH MINIMAL NUMBER OF EDGES 211 7.4
COMPLETENESS AND COMPUTATION 216 7.5 ASYNCHRONOUS AUTOMATA NETWORKS 219
7.6 BIBLIOGRAPHICAL REMARKS 235 BIBLIOGRAPHY 237 INDEX 253
|
| any_adam_object | 1 |
| author | Dömösi, Pál |
| author_GND | (DE-588)120990571 |
| author_facet | Dömösi, Pál |
| author_role | aut |
| author_sort | Dömösi, Pál |
| author_variant | p d pd |
| building | Verbundindex |
| bvnumber | BV019880406 |
| callnumber-first | Q - Science |
| callnumber-label | QA276 |
| callnumber-raw | QA276 |
| callnumber-search | QA276 |
| callnumber-sort | QA 3276 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 136 |
| ctrlnum | (OCoLC)56493851 (DE-599)BVBBV019880406 |
| dewey-full | 004.6 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.6 |
| dewey-search | 004.6 |
| dewey-sort | 14.6 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01873nam a2200505zc 4500</leader><controlfield tag="001">BV019880406</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20061113 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050712s2005 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004057838</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0898715695</subfield><subfield code="9">0-89871-569-5</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">BKDT0011</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)56493851</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019880406</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA276</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.6</subfield><subfield code="2">22</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="100" ind1="1" ind2=" "><subfield code="a">Dömösi, Pál</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic theory of automata networks</subfield><subfield code="b">an introduction</subfield><subfield code="c">Pál Dömösi ; Chrystopher L. Nehaniv</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Philadelphia</subfield><subfield code="b">Society for Industrial and Applied Mathematics</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 258 S.</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="0" ind2=" "><subfield code="a">SIAM monographs on discrete mathematics and applications</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbre abstraite</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Réseaux d'ordinateurs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semi-groupes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">aComputer networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">aMachine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">aSemigroups</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">aAlgebra, Abstract</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Automatentheorie</subfield><subfield code="0">(DE-588)4141833-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebraische Automatentheorie</subfield><subfield code="0">(DE-588)4141833-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nehaniv, Chrystopher L.</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)120990571</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Mainz</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=013204560&sequence=000001&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-013204560</subfield></datafield></record></collection> |
| id | DE-604.BV019880406 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T20:08:16Z |
| institution | BVB |
| isbn | 0898715695 |
| language | English |
| lccn | 2004057838 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013204560 |
| oclc_num | 56493851 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-703 |
| owner_facet | DE-473 DE-BY-UBG DE-703 |
| physical | XII, 258 S. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Society for Industrial and Applied Mathematics |
| record_format | marc |
| series2 | SIAM monographs on discrete mathematics and applications |
| spelling | Dömösi, Pál Verfasser aut Algebraic theory of automata networks an introduction Pál Dömösi ; Chrystopher L. Nehaniv Philadelphia Society for Industrial and Applied Mathematics 2005 XII, 258 S. txt rdacontent n rdamedia nc rdacarrier SIAM monographs on discrete mathematics and applications Includes bibliographical references and index Algèbre abstraite Automates mathématiques, Théorie des Réseaux d'ordinateurs Semi-groupes aComputer networks aMachine theory aSemigroups aAlgebra, Abstract Algebraische Automatentheorie (DE-588)4141833-5 gnd rswk-swf Algebraische Automatentheorie (DE-588)4141833-5 s DE-604 Nehaniv, Chrystopher L. 1963- Sonstige (DE-588)120990571 oth HEBIS Datenaustausch Mainz application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013204560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Dömösi, Pál Algebraic theory of automata networks an introduction Algèbre abstraite Automates mathématiques, Théorie des Réseaux d'ordinateurs Semi-groupes aComputer networks aMachine theory aSemigroups aAlgebra, Abstract Algebraische Automatentheorie (DE-588)4141833-5 gnd |
| subject_GND | (DE-588)4141833-5 |
| title | Algebraic theory of automata networks an introduction |
| title_auth | Algebraic theory of automata networks an introduction |
| title_exact_search | Algebraic theory of automata networks an introduction |
| title_full | Algebraic theory of automata networks an introduction Pál Dömösi ; Chrystopher L. Nehaniv |
| title_fullStr | Algebraic theory of automata networks an introduction Pál Dömösi ; Chrystopher L. Nehaniv |
| title_full_unstemmed | Algebraic theory of automata networks an introduction Pál Dömösi ; Chrystopher L. Nehaniv |
| title_short | Algebraic theory of automata networks |
| title_sort | algebraic theory of automata networks an introduction |
| title_sub | an introduction |
| topic | Algèbre abstraite Automates mathématiques, Théorie des Réseaux d'ordinateurs Semi-groupes aComputer networks aMachine theory aSemigroups aAlgebra, Abstract Algebraische Automatentheorie (DE-588)4141833-5 gnd |
| topic_facet | Algèbre abstraite Automates mathématiques, Théorie des Réseaux d'ordinateurs Semi-groupes aComputer networks aMachine theory aSemigroups aAlgebra, Abstract Algebraische Automatentheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013204560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT domosipal algebraictheoryofautomatanetworksanintroduction AT nehanivchrystopherl algebraictheoryofautomatanetworksanintroduction |