A categorist's view of automata and systems

[1]  Eduardo J. Dubuc,et al.  Kan Extensions in Enriched Category Theory , 1970 .

[2]  S. Lane.  Categories for the Working Mathematician , 1971 .

[3]  J. Beck,et al.  TRIPLES, ALGEBRAS AND COHOMOLOGY , 1967 .

[4]  M. Arbib,et al.  MACHINES IN A CATEGORY: AN EXPOSITORY INTRODUCTION* , 1974 .

[5]  Hartmut Ehrig,et al.  Power and initial automata in pseudoclosed categories , 1974, Category Theory Applied to Computation and Control.

[6]  Dana S. Scott,et al.  The lattice of flow diagrams , 1971, Symposium on Semantics of Algorithmic Languages.

[7]  A. Kock.  Monads on symmetric monoidal closed categories , 1970 .

[8]  James W. Thatcher,et al.  Generalized Sequential Machine Maps , 1970, J. Comput. Syst. Sci..

[9]  Rod M. Burstall,et al.  The algebraic theory of recursive program schemes , 1974, Category Theory Applied to Computation and Control.

[10]  J. Goguen.  Minimal realization of machines in closed categories , 1972 .

[11]  J. Goguen.  L-fuzzy sets , 1967 .

[12]  M. Arbib,et al.  Adjoint machines, state-behavior machines, and duality☆ , 1975 .

[13]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[14]  Noam Chomsky,et al.  On Certain Formal Properties of Grammars , 1959, Inf. Control..

[15]  Azaria Paz,et al.  Introduction to Probabilistic Automata , 1971 .

[16]  Suad Alagic.  Natural State Transformations , 1975, J. Comput. Syst. Sci..

[17]  M. Barr.  Coequalizers and free triples , 1970 .

[18]  R. Pierce.  Introduction to the Theory of Abstract Algebras , 1968 .

[19]  Mitchell Wand,et al.  An unusual application of program-proving , 1973, STOC.

[20]  Michael A. Arbib,et al.  Theories of abstract automata , 1969, Prentice-Hall series in automatic computation.

[21]  A. Willsky,et al.  Finite group homomorphic sequential system , 1972 .

[22]  Law Fw.  FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963 .