{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:12:59Z","timestamp":1759032779968},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540073895"},{"type":"electronic","value":"9783540375852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07389-2_188","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T10:53:52Z","timestamp":1330167232000},"page":"138-152","source":"Crossref","is-referenced-by-count":13,"title":["Automata and categories"],"prefix":"10.1007","author":[{"given":"V\u011bra","family":"Trnkov\u00e1","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"11_CR1","first-page":"589","volume":"15","author":"J. Ad\u00e1mek","year":"1974","unstructured":"Ad\u00e1mek, J., Free algebras and automata realizations in the language of categories. Comment. Math.Univ.Carolinae 15 (1974), 589\u2013602.","journal-title":"Comment. Math.Univ.Carolinae"},{"key":"11_CR2","unstructured":"Ad\u00e1mek, J., Realization theory for automata in categories. To appear."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J., Automata and categories: Finitness contra minimality. This volume, pp. 160\u2013166.","DOI":"10.1007\/3-540-07389-2_190"},{"key":"11_CR4","unstructured":"Anderson, B.D.O., Arbib, M.A. and Manes, E.G., Foundations of system theory: finitary and infinitary conditions. Computer and Information Science, University of Massachusetts at Amherst."},{"key":"11_CR5","unstructured":"Arbib, M.A.and Manes, E.G., A categorist's view of automata and systems. Category Theory applied to Computation and Control, Proceedings of the First International Symposium 1974, 62\u201376."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1137\/1016026","volume":"16","author":"M. A. Arbib","year":"1974","unstructured":"Arbib, M.A. and Manes, E.G., Machines in a Category: An expository introduction. SIAM Review 16 (1974), 163\u2013192.","journal-title":"SIAM Review"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0005-1098(74)90039-9","volume":"10","author":"M. A. Arbib","year":"1974","unstructured":"Arbib, M.A. and Manes, E.G., Foundations of System Theory: Decomposable Systems. Automatica 10(1974), 285\u2013302.","journal-title":"Automatica"},{"key":"11_CR8","volume-title":"Topological Spaces","author":"E. \u010cech","year":"1966","unstructured":"\u010cech, E., Topological Spaces. Academia, Prague 1966."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Universal theory of automata. Teubner Studienb\u00fccher 1974.","DOI":"10.1007\/978-3-322-96644-5"},{"key":"11_CR10","unstructured":"Ehrig, H., Kiermeier, K.D., Kreowski, H.I. and K\u00fchnel, W., Systematisierung der Automatentheorie, Seminarbericht, Technische Universit\u00e4t Berlin, Fachbereich Kybernetik, 1973."},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1090\/S0002-9904-1972-13032-5","volume":"78","author":"I. A. Goguen","year":"1972","unstructured":"Goguen, I.A., Minimal realization of machines in closed categories. Bull. Amer. Math. Soc. 78 (1972), 777\u2013784.","journal-title":"Bull. Amer. Math. Soc."},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/BF01843493","volume":"6","author":"I. A. Goguen","year":"1973","unstructured":"Goguen, I.A., Realization is Universal. Math. Syst. Theory 6 (1973), 359\u2013374.","journal-title":"Math. Syst. Theory"},{"key":"11_CR13","volume-title":"Category Theory","author":"H. Herrlich","year":"1973","unstructured":"Herrlich, H. and Strecker, E.G., Category Theory, Allyn and Bacon, Boston 1973."},{"key":"11_CR14","first-page":"37","volume":"5","author":"M. Hu\u0161ek","year":"1964","unstructured":"Hu\u0161ek M., S-categories. Comment. Math. Univ. Carolinae 5(1964), 37\u201346.","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"11_CR15","first-page":"777","volume":"12","author":"V. Koubek","year":"1971","unstructured":"Koubek, V., Setfunctors I. and II. Comment. Math. Univ. Carolinae 12(1971), 777\u2013783 and 14(1973), 47\u201359.","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Koubek, V. and Reiterman, J., Automata and Categories \u2014 Input processes. This volume, pp. 280\u2013286.","DOI":"10.1007\/3-540-07389-2_209"},{"key":"11_CR17","first-page":"577","volume":"15","author":"V. K\u016frkov\u00e1-Pohlov\u00e1","year":"1974","unstructured":"K\u016frkov\u00e1-Pohlov\u00e1, V. and Koubek, V., When a generalized algebraic category is monadic. Comment. Math. Univ. Carolinae 15(1974), 577\u2013602.","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"MacLane, S., Categories for the working mathematician. Springer New York-Heidelberg-Berlin 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"11_CR19","unstructured":"Manes, E.G., Algebraic Theories. A draft of a book."},{"key":"11_CR20","first-page":"143","volume":"12","author":"V. Trnkov\u00e1","year":"1971","unstructured":"Trnkov\u00e1, V., On a descriptive classification of set functors I. and II. Comment. Math. Univ. Carolinae 12(1971), 143\u2013174 and 345\u2013357.","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"11_CR21","first-page":"555","volume":"15","author":"V. Trnkov\u00e1","year":"1974","unstructured":"Trnkov\u00e1, V., On minimal realizations of behavior maps in categorial automata theory. Comment. Math. Univ. Carolinae 15(1974), 555\u2013566.","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"11_CR22","first-page":"21","volume":"16","author":"V. Trnkov\u00e1","year":"1975","unstructured":"Trnkov\u00e1, V., Minimal realizations for finite sets in categorial automata theory. Comment. Math. Univ. Carolinae 16(1975), 21\u201335.","journal-title":"Comment. Math. Univ. Carolinae"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1975 4th Symposium, Mari\u00e1nsk\u00e9 L\u00e1zn\u011b, September 1\u20135, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07389-2_188.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:57:20Z","timestamp":1605625040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_188","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}