Theory of Automata, Abstraction and Applications

  • Yoshihiro MizoguchiEmail author
Part of the Mathematics for Industry book series (MFI, volume 5)


We introduce computational models, such as sequential machines and automata, using the category theory. In particular, we introduce a generalized theorem which states the existence of the most efficient finite state automaton, called the minimal realization. First, we introduce set theoretical elementary models using sets and functions. We then consider a category of sequential machines which is an abstract model of finite automata. In the category theory, we consider several properties of compositions of morphisms. When we look at the category of sets and functions, we describe properties using equations of compositions of functions. Since the theory of category is a general theory, we can have many concrete properties from a general theorem by assigning it to specific categories such as sets and functions, linear space and linear transformations, etc.


Sequential machine Automaton Category theory 


  1. 1.
    M.A. Arbib, E.G. Manes, Machines in a category, an expository introduction. SIAM Rev. 16, 163–192 (1974)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    M.A. Arbib, E.G. Manes, Arrows, Structures, and Functors: The Categorical Imperative (Academic Press, New York, 1975)zbMATHGoogle Scholar
  3. 3.
    C.E. Shannon, J. McCarthy (eds.), Automata Studies (Princeton University Press, Princeton, 1956)zbMATHGoogle Scholar
  4. 4.
    T.L. Booth, Sequential Machines and Automata Theory (John Wiley & Sons, New York, 1967)zbMATHGoogle Scholar
  5. 5.
    E.F. Moore (ed.), Sequential Machines: Selected Papers (Addison-Wesley, Reading, 1964).Google Scholar
  6. 6.
    M.O. Rabin, D. Scott, Finite automata and their decision problems. IBM J. 3, 114–125 (1959)MathSciNetCrossRefGoogle Scholar
  7. 7.
    A-H. Dediu, C. Martin-Vide (ed.), in Language and Automata Theory and Applications, 6th International Conference, LATA2012, Lecture Notes in Computer Science, vol. 7183 (2012).Google Scholar
  8. 8.
    E. Formenti (ed.), in Proceedings of 18th International Workshop on Cellular Automata and Discrete Complex Systems (Automata2012) and 3rd International Symposium Journées Automates Cellulaires (JAC2012), Electronic Proceedings in Theoretical Computer Science, vol. 90 (2012).Google Scholar
  9. 9.
    G.C. Sirakoulis, S. Bandini (ed.), in Cellular Automata, 10th International Conference on Cellular Automata for Research and Industry, ACRI2012, Lecture Notes in Computer Science, vol. 7495 (2012).Google Scholar
  10. 10.
    S. Mac Lane, Categories for the Working Mathematicians. (Springer, New York, 1972).Google Scholar

Copyright information

© Springer Japan 2014

Authors and Affiliations

  1. 1.Institute of Mathematics for IndustryKyushu UniversityNishiku, FukuokaJapan

Personalised recommendations