Preview
Unable to display preview. Download preview PDF.
References
S. Alagić, Natural state transformations, Department of Computer and Information Science Technical Report 73B-2, Univ. of Mass., 1973.
— Algebraic aspects of ALGOL 68, Computer and Information Science Technical Report 73B-5, Univ. of Mass., 1973.
— Categorical theory of tree transformations, this volume.
H. Appelgate, Acyclic models and resolvent functors, dissertation, Columbia University, 1965.
B. D. O. Anderson, M. A. Arbib and E. G. Manes, Finitary and infinitary conditions in categorical realization theory, to appear.
M. A. Arbib, Theories of Abstract Automata, Prentice-Hall, 1969.
M. A. Arbib and E. G. Manes, Machines in a category: an expository introduction, Siam Review, to appear.
— Adjoint machines, state-behavior machines, and duality, J. Pure Appl. Alg., to appear.
— Fuzzy morphisms in automata theory, this volume.
— Time-varying systems, this volume.
— The Categorical Imperative: Arrows, Structures, and Functors, Academic Press, 1974.
E. S. Bainbridge, A unified minimal realization theory, with duality for machines in a hyperdoctrine, dissertation, Univ. of Mich., 1972.
— Addressed machines and duality, this volume.
M. Barr, Coequalizers and free triples, Math. Zeit. 116, 1970, 307–322.
J. Beck, Triples, algebras and cohomology, dissertation, Columbia University, 1967; available from University Microfilms, Ann Arbor, Michigan.
D. Benson, An abstract machine theory for formal language parsers, this volume.
R. W. Brockett and A. S. Willsky, Finite-state homomorphic sequential machines, IEEE Trans. Aut. Cont. AC-17, 1973, 483–490.
— Some structural properties of automata defined on groups, this volume.
L. Budach, Automata in additive categories with applications to stochastic linear automata, this volume.
E. Burroni, Algèbres relatives à une loi distributive, Comp. R. Acad. Sc. Paris, t. 276 (5 fév. 1973), Ser. A, 443–446.
R. W. Burstall and J. W. Thatcher, Algebraic theory of recursive program schemes, this volume.
N. Chomsky, On certain formal properties of grammars, Inf. Cont. 2, 1959, 136–167.
P. M. Cohn, Universal Algebra, Harper and Row, 1965.
E. J. Dubuc, Kan Extensions in Enriched Category Theory, Lecture Notes in Mathematics 145, Springer-Verlag, 1970.
B. Eckmann ed., Seminar on Triples and Categorical Homology Theory, Lecture Notes in Mathematics 80, Springer-Verlag, 1969.
H. Ehrig; K. D. Kiermeier; H.-J. Kreowski and W. Kühnel, Systematisierung der Automatentheorie, Seminarbericht, Technische Universität Berlin, Fachbereich Kybernetik, 1973.
H. Ehrig and H.-J. Kreowski, Power and initial automata in pseudoclosed categories, this volume.
E. Engeler ed., Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics 188, Springer-Verlag, 1971.
S. Ginsburg, An Introduction to Mathematical Machine Theory, Addison-Wesley, 1962.
J. A. Goguen, L-fuzzy sets, J. Math. Anal. Appl. 18, 1967, 145–174.
— On homomorphisms, simulations, correctness, subroutines, and termination for programs and program schemes, Proceedings of the 13th IEEE Conference on Switching and Automata Theory, 1972, 52–60.
— Minimal realization of machines in closed categories, Bull. Amer. Math. Soc. 78, 1972, 777–783.
— Axioms, extensions and applications for fuzzy sets: languages and the representation of concepts, to appear.
— Some comments on applying mathematical system theory, to appear.
J. A. Goguen; J. W. Thatcher; E. G. Wagner and J. B. Wright, A junction between computer science and category theory, I: basic concepts and examples (part 1), IBM Research Report RC 4526, T. J. Watson Research Center, 1973.
G. Grätzer, Universal Algebra, Van Nostrand, 1967.
R. E. Kalman; P. L. Falb and M. A. Arbib, Topics in Mathematical System Theory, McGraw-Hill, 1969.
A. Kock, Monads on symmetric monoidal closed categories, Arch. Math. XXI, 1970, 1–10.
J. Lambek, Deductive systems and categories, Math. Sys. Th. 2, 1968, 287–318.
F. W. Lawvere, Functorial semantics of algebraic theories, dissertation, Columbia University, 1963.
F. E. J. Linton, Triples for closed categories, Seminar in Category Theory, notes by D. Taylor, NSF summer institute at Bowdoin College, 1969.
S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, 1972.
E. G. Manes, Algebraic Theories, Springer-Verlag, to appear.
J. Meseguer and I. Sols, Automata in semimodule categories, this volume.
L. Padulo and M. A. Arbib, System Theory: a Unified Approach to Discrete and Continuous Systems, W. B. Saunders, 1974.
A. Paz, Introduction to Probabilistic Automata, Academic Press, 1971.
R. S. Pierce, Introduction to the Theory of Abstract Algebras, Holt, Rinehart and Winston, 1968.
J. Rissanen and B. F. Wyman, Duality of input/output maps, this volume.
D. Scott, The lattice of flow diagrams, Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics 188, Springer-Verlag, 1971.
J. W. Thatcher, Generalized2 sequential machine maps, J. Comp. Syst. Sci. 4, 1970, 339–367.
M. Wand, An unusual application of program-proving, Proceedings of the Fifth ACM Symposium on the Theory of Computing, 1973, 59–66.
— An algebraic formulation of the Chomsky hierarchy, this volume.
— On the recursive specification of data types, this volume.
— On the behavioral description of data structures, to appear.
B. F. Wyman, Linear systems over rings of operators, this volume.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arbib, M.A., Manes, E.G. (1975). A Categorist's view of automata and systems. In: Manes, E.G. (eds) Category Theory Applied to Computation and Control. Lecture Notes in Computer Science, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07142-3_61
Download citation
DOI: https://doi.org/10.1007/3-540-07142-3_61
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07142-6
Online ISBN: 978-3-540-37426-8
eBook Packages: Springer Book Archive