Automata in semimodule categories

No Thumbnail Available
Full text at PDC
Publication Date
Advisors (or tutors)
Journal Title
Journal ISSN
Volume Title
Google Scholar
Research Projects
Organizational Units
Journal Issue
From the authors' text: "In the present paper we propose the framework of semimodule categories and their subcategories as a suitable common framework for various automata and control theories, including in particular those of deterministic, stochastic, nondeterministic, partial, relational, bilinear and fuzzy sequential machines as well as switching networks. New relationships between all these classes of systems appear naturally in this common framework. In particular, a common tensor calculus is introduced.''
Proceedings of the First International Symposium, San Francisco, Calif.,February 25-26, 1974.
UCM subjects
Unesco subjects
PFENDER, M., "Universelle Algebra in monoidalen Kategorien", Technische Universität Berlin, July 1973. GOGUEN, J.A., "L-Fuzzy Sets", Journ. Math. Anal. Appl. (18), 145–174 (1967). MAC LANE, S., "Categories for the working Mathematician", Springer Verlag, New York, (1971). MITCHELL, B., "Theory of Categories", Academic Press, New York (1965). MESEGUER, J.,SOLS, I., "On a Categorical Tensor Calculus for Automata", Zaragoza University, September 1973, (unpublished paper). GOGUEN, J.A., "Minimal Realization of Machines in Closed Categories", Bull AMS (78), 777–783, (1972). LAWVERE, F.W., "Functorial Semantics on Algebraic Theories", Proc. Nat. Acad. Sci. USA (50), 869–873 (1963). DAL CIN, M., "Fuzzy-State Automata, their Stability and Fault-Tolerance". Institute Information Sciences, University of Tübingen. BUDACH, L., HOEHNKE, H.J., "Uber eine einheitliche Begründung der Automatentheorie", Seminar Report 1. HU-Berlin. (1969–70). McCULLOCK, MORENO-DIAZ, R., "On a Calculus for Triadas", Neural Networks (78–86), E.R. Caianiello (ed.), Springer Verlag, Berlin (1968). ZADEH, L.A., "Fuzzy Sets", Inf. Control, (8), 338–353, (1965). EHRIG, H., KIERMEIER, K.D., KREOWSKI, H.J., KUHNEL, W., "Systematisierung der Automaten Theorie", T.U.-Berlin, (seminar 1972–73). MARTINEZ, P., MESEGUER, J., "Probabilistic Automata as Bilinear Automata", unpublished paper, April 1973. MESEGUER, J., SOLS, I., "Categorical Tensor Representation of Deterministic, Relational and Probabilistic Finite Functions" (to appear in Actas de las II Jornadas Matemàticas Hispano-Lusitanas, Madrid 1973). HOTZ, G., "Eine Algebraisierung des Syntheseproblems von Schaltkreisen" I and II, EIK (1), 185–206, 209–231, (1965). POYATOS, F. "Introducción a la Teoría de Semimodulos", dissertation, University of Madrid., (1967).