On a categorical tensor calculus for automata
dc.contributor.author | Meseguer Guaita, José | |
dc.contributor.author | Sols Lucía, Ignacio | |
dc.date.accessioned | 2023-06-21T02:05:55Z | |
dc.date.available | 2023-06-21T02:05:55Z | |
dc.date.issued | 1975 | |
dc.description.department | Depto. de Álgebra, Geometría y Topología | |
dc.description.faculty | Fac. de Ciencias Matemáticas | |
dc.description.refereed | TRUE | |
dc.description.status | pub | |
dc.eprint.id | https://eprints.ucm.es/id/eprint/21932 | |
dc.identifier.issn | 0001-4117 | |
dc.identifier.relatedurl | http://www.lib.muohio.edu/multifacet/record/mu3ugb1534805 | |
dc.identifier.uri | https://hdl.handle.net/20.500.14352/64844 | |
dc.issue.number | 11 | |
dc.journal.title | Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques | |
dc.page.final | 1166 | |
dc.page.initial | 1161 | |
dc.publisher | Polska Akademia Nauk | |
dc.rights.accessRights | metadata only access | |
dc.subject.cdu | 515.1 | |
dc.subject.ucm | Topología | |
dc.subject.unesco | 1210 Topología | |
dc.title | On a categorical tensor calculus for automata | |
dc.type | journal article | |
dc.volume.number | 23 | |
dcterms.references | M. A. Arbib, Theories of abstract automata, McGraw-Hill, New York, 1969. J. A. Goguen, Minimal realization of machines in closed categories, Bull. Amer. Math. Soc., 78 (1972), 777-783. S. MacLane, Categories for working mathematician, Springer Verlag, New York, 1971. S. MacLane, G. Birkhoff, Algebra, McMillan, New York, 1967. W. McCulloch, R. Moreno-Díaz, On a calculus for triadas, in: Neural networks, ed. E.R. Caianiello, Springer Verlag, Belin, 1968, pp. 78-86. P. Martínez, J. Meseguer, Probabilistic automata as bilinear automata (unpublished paper), April 73. J. Meseguer, I. Sols, Categorical tensor representation of deterministic, relational and probabilistic finite functions (to appear in Actas de las II Jornadas Matemáticas Hispano-Lusitanas, Madrid, 1973). J. A. Goguen, Discrete time machines in closed monoidal categories, I, Institute for Computer Research, Quarterly Reoprt No. 30, August 1971, University of Chigago. L. Budach, H. J. Hoehnke, Automaten und Funktoren (to appear). | |
dspace.entity.type | Publication | |
relation.isAuthorOfPublication | 6d35def4-3d5f-4978-800f-82b7edf76b5d | |
relation.isAuthorOfPublication.latestForDiscovery | 6d35def4-3d5f-4978-800f-82b7edf76b5d |