Availability: Automata and algebras in categories | Technische Universität München

Automata and algebras in categories:

Saved in:

Bibliographic Details
Main Authors:	Adámek, Jiří 1947- (Author), Trnková, Věra 1934-2018 (Author)
Format:	Book
Language:	English
Published:	Dordrecht u.a. Kluwer 1990
Series:	Mathematics and its applications / East European series 37
Subjects:	Automates mathématiques, théorie des Catégories (Mathématiques) Foncteurs, théorie des Categories (Mathematics) Functor theory Machine theory Algebraische Struktur Automatentheorie Kategorientheorie
Links:	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
Physical Description:	XIV, 470 S. graph. Darst.
ISBN:	0792300106

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV004218600
003	DE-604
005	20210611
007	t\|
008	910129s1990 xx 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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-002626641

Record in the Search Index

DE-BY-TUM_call_number	0102 DAT 550f 2001 A 5116
DE-BY-TUM_katkey	512162
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010640763
_version_	1821937524026638336
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>02128nam 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 xx 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002626641</subfield></datafield></record></collection>
id	DE-604.BV004218600
illustrated	Illustrated
indexdate	2024-12-20T08:15:01Z
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
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

Availability

Order (Login required)

Table of contents
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0102 DAT 550f 2001 A 5116 Floor plan
Copy 1	Available for loan On Shelf