Holdings: Algebraic theory of automata networks

Algebraic theory of automata networks: an introduction

Saved in:

Bibliographic Details
Main Author:	Dömösi, Pál (Author)
Format:	Book
Language:	English
Published:	Philadelphia Society for Industrial and Applied Mathematics 2005
Series:	SIAM monographs on discrete mathematics and applications
Subjects:	Algèbre abstraite Automates mathématiques, Théorie des Réseaux d'ordinateurs Semi-groupes aComputer networks aMachine theory aSemigroups aAlgebra, Abstract Algebraische Automatentheorie
Online Access:	Inhaltsverzeichnis
Item Description:	Includes bibliographical references and index
Physical Description:	XII, 258 S.
ISBN:	0898715695

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items