Publication: On a categorical tensor calculus for automata
No Thumbnail Available
Official URL
Full text at PDC
Publication Date
1975
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Polska Akademia Nauk
Citations
Exportar
Abstract
Description
UCM subjects
Unesco subjects
Keywords
Citation
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).