Universal Theory of Automata: A Categorical Approach
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1974
|
| Schriftenreihe: | Teubner Studienbücher Informatik
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Our purpose in writing this book is to present a universal theory of automata which on one hand unifies the theories of several well-known types of automata and on the other hand allows interesting new applications and results. The framework for our development is category theory, especially universal constructions in monoidal categories. But we will carefully motivate and introduce all those (and only those) notions and results of category theory which are needed in our approach. The reader is only assumed to be familiar with sets, deterministic functions, relations and the basic notions of structural mathematics. However, some knowledge of discrete probability distributions, linear algebra and general topology would be useful in understanding the corresponding applications and in having a better background for the general theory. All our constructions and results are motivated and interpreted carefully with respect to the classical theory of deterministic, partial, linear, topological, nondeterministic, relational and stochastic automata. The book is mainly devoted to students of theoretical computer science or mathematics and can be used as a textbook in graduate courses or seminars. On the other hand it will also be useful for many other people, who are concerned with the interesting new research area of category theory applied to computation and control |
| Beschreibung: | 1 Online-Ressource (240 S.) |
| ISBN: | 9783322966445 9783519020547 |
| DOI: | 10.1007/978-3-322-96644-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042431125 | ||
| 003 | DE-604 | ||
| 005 | 20180112 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1974 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322966445 |c Online |9 978-3-322-96644-5 | ||
| 020 | |a 9783519020547 |c Print |9 978-3-519-02054-7 | ||
| 024 | 7 | |a 10.1007/978-3-322-96644-5 |2 doi | |
| 035 | |a (OCoLC)863868901 | ||
| 035 | |a (DE-599)BVBBV042431125 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Ehrig, H. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Universal Theory of Automata |b A Categorical Approach |c von H. Ehrig, K.-D. Kiermeier, H.-J. Kreowski, W. Kühnel |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1974 | |
| 300 | |a 1 Online-Ressource (240 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Teubner Studienbücher Informatik | |
| 500 | |a Our purpose in writing this book is to present a universal theory of automata which on one hand unifies the theories of several well-known types of automata and on the other hand allows interesting new applications and results. The framework for our development is category theory, especially universal constructions in monoidal categories. But we will carefully motivate and introduce all those (and only those) notions and results of category theory which are needed in our approach. The reader is only assumed to be familiar with sets, deterministic functions, relations and the basic notions of structural mathematics. However, some knowledge of discrete probability distributions, linear algebra and general topology would be useful in understanding the corresponding applications and in having a better background for the general theory. All our constructions and results are motivated and interpreted carefully with respect to the classical theory of deterministic, partial, linear, topological, nondeterministic, relational and stochastic automata. The book is mainly devoted to students of theoretical computer science or mathematics and can be used as a textbook in graduate courses or seminars. On the other hand it will also be useful for many other people, who are concerned with the interesting new research area of category theory applied to computation and control | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Kiermeier, K.-D. |e Sonstige |4 oth | |
| 700 | 1 | |a Kreowski, H.-J. |e Sonstige |4 oth | |
| 700 | 1 | |a Kühnel, W. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-96644-5 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027866456 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153113856180224 |
|---|---|
| any_adam_object | |
| author | Ehrig, H. |
| author_facet | Ehrig, H. |
| author_role | aut |
| author_sort | Ehrig, H. |
| author_variant | h e he |
| building | Verbundindex |
| bvnumber | BV042431125 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863868901 (DE-599)BVBBV042431125 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-96644-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03105nmm a2200493zc 4500</leader><controlfield tag="001">BV042431125</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180112 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1974 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322966445</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-96644-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519020547</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02054-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-96644-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863868901</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042431125</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ehrig, H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Universal Theory of Automata</subfield><subfield code="b">A Categorical Approach</subfield><subfield code="c">von H. Ehrig, K.-D. Kiermeier, H.-J. Kreowski, W. Kühnel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (240 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Teubner Studienbücher Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Our purpose in writing this book is to present a universal theory of automata which on one hand unifies the theories of several well-known types of automata and on the other hand allows interesting new applications and results. The framework for our development is category theory, especially universal constructions in monoidal categories. But we will carefully motivate and introduce all those (and only those) notions and results of category theory which are needed in our approach. The reader is only assumed to be familiar with sets, deterministic functions, relations and the basic notions of structural mathematics. However, some knowledge of discrete probability distributions, linear algebra and general topology would be useful in understanding the corresponding applications and in having a better background for the general theory. All our constructions and results are motivated and interpreted carefully with respect to the classical theory of deterministic, partial, linear, topological, nondeterministic, relational and stochastic automata. The book is mainly devoted to students of theoretical computer science or mathematics and can be used as a textbook in graduate courses or seminars. On the other hand it will also be useful for many other people, who are concerned with the interesting new research area of category theory applied to computation and control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</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="689" ind1="0" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kiermeier, K.-D.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kreowski, H.-J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kühnel, W.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-96644-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027866456</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042431125 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:27Z |
| institution | BVB |
| isbn | 9783322966445 9783519020547 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866456 |
| oclc_num | 863868901 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| physical | 1 Online-Ressource (240 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1974 |
| publishDateSearch | 1974 |
| publishDateSort | 1974 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Teubner Studienbücher Informatik |
| spelling | Ehrig, H. Verfasser aut Universal Theory of Automata A Categorical Approach von H. Ehrig, K.-D. Kiermeier, H.-J. Kreowski, W. Kühnel Wiesbaden Vieweg+Teubner Verlag 1974 1 Online-Ressource (240 S.) txt rdacontent c rdamedia cr rdacarrier Teubner Studienbücher Informatik Our purpose in writing this book is to present a universal theory of automata which on one hand unifies the theories of several well-known types of automata and on the other hand allows interesting new applications and results. The framework for our development is category theory, especially universal constructions in monoidal categories. But we will carefully motivate and introduce all those (and only those) notions and results of category theory which are needed in our approach. The reader is only assumed to be familiar with sets, deterministic functions, relations and the basic notions of structural mathematics. However, some knowledge of discrete probability distributions, linear algebra and general topology would be useful in understanding the corresponding applications and in having a better background for the general theory. All our constructions and results are motivated and interpreted carefully with respect to the classical theory of deterministic, partial, linear, topological, nondeterministic, relational and stochastic automata. The book is mainly devoted to students of theoretical computer science or mathematics and can be used as a textbook in graduate courses or seminars. On the other hand it will also be useful for many other people, who are concerned with the interesting new research area of category theory applied to computation and control Engineering Engineering, general Ingenieurwissenschaften Automatentheorie (DE-588)4003953-5 gnd rswk-swf Automatentheorie (DE-588)4003953-5 s 1\p DE-604 Kiermeier, K.-D. Sonstige oth Kreowski, H.-J. Sonstige oth Kühnel, W. Sonstige oth https://doi.org/10.1007/978-3-322-96644-5 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Ehrig, H. Universal Theory of Automata A Categorical Approach Engineering Engineering, general Ingenieurwissenschaften Automatentheorie (DE-588)4003953-5 gnd |
| subject_GND | (DE-588)4003953-5 |
| title | Universal Theory of Automata A Categorical Approach |
| title_auth | Universal Theory of Automata A Categorical Approach |
| title_exact_search | Universal Theory of Automata A Categorical Approach |
| title_full | Universal Theory of Automata A Categorical Approach von H. Ehrig, K.-D. Kiermeier, H.-J. Kreowski, W. Kühnel |
| title_fullStr | Universal Theory of Automata A Categorical Approach von H. Ehrig, K.-D. Kiermeier, H.-J. Kreowski, W. Kühnel |
| title_full_unstemmed | Universal Theory of Automata A Categorical Approach von H. Ehrig, K.-D. Kiermeier, H.-J. Kreowski, W. Kühnel |
| title_short | Universal Theory of Automata |
| title_sort | universal theory of automata a categorical approach |
| title_sub | A Categorical Approach |
| topic | Engineering Engineering, general Ingenieurwissenschaften Automatentheorie (DE-588)4003953-5 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Automatentheorie |
| url | https://doi.org/10.1007/978-3-322-96644-5 |
| work_keys_str_mv | AT ehrigh universaltheoryofautomataacategoricalapproach AT kiermeierkd universaltheoryofautomataacategoricalapproach AT kreowskihj universaltheoryofautomataacategoricalapproach AT kuhnelw universaltheoryofautomataacategoricalapproach |