Factorizations, congruences, and the decomposition of automata and systems

  • J. A. Goguen
  • J. W. Thatcher
  • E. G. Wagner
  • J. B. Wright
Automata Theory
Part of the Lecture Notes in Computer Science book series (LNCS, volume 28)


Factorization Situation Complete Lattice Monoidal Category Initial Object Automaton Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Birkhoff, G., Lattice Theory, Amer. Math. Soc. Colloq. Pub. 25, New York (1948); revised edition (1960).Google Scholar
  2. [2]
    Büchi, R. and Wright, J.B., "Mathematical Theory of Automata," unpublished unpublished notes, University of Michigan (1960).Google Scholar
  3. [3]
    Thatcher, J., "Notes on Mathematical Automata Theory," University of Michigan Technical Note 03105-26-T (1963).Google Scholar
  4. [4]
    Yeh, R., "A study of general systems using automata theory", Cybernetica 13 No. 3 (1970) 180–194.Google Scholar
  5. [5]
    Gallaire, H. and Harrison, M., "Decomposition of linear sequential machines," Math. Sys. Th. 3 (1969) 246–287.Google Scholar
  6. [6]
    Hartmanis, J. and Stearns, R.E., Algebraic Structure Theory of Sequential Machines, Prentice-Hall, New Jersey (1966).Google Scholar
  7. [7]
    Sipusic, T., "Two Automata Decomposition Theorems Generalized to Machines in a Closed Monoidal Category," Quarterly Report No. 35, Institute for Computer Research, the University of Chicago, Section IID (1972).Google Scholar
  8. [8]
    Goguen, J.A., Thatcher, J.W., Wagner, E.G., and Wright, J.B., "A junction between computer science and category theory, I: basic concepts and examples (part 1)", Report RC 4526, IBM Watson Research Center, New York (1973).Google Scholar
  9. [9]
    MacLane, S. and Birkhoff, G., Algebra, MacMillan, New York (1967).Google Scholar
  10. [10]
    MacLane, S., Category Theory for the Working Mathematician, Springer-Verlag, New York (1971).Google Scholar
  11. [11]
    Birkhoff, G., "On the structure of abstract algebras", Proc. of the Cambridge Phil, Soc. 31 (1935) 433–454.Google Scholar
  12. [12]
    Goguen, J.A., "Minimal realization of machines in closed categories" Bull. of the Amer. Math. Soc. 78 No. 5 (1972) 777–783.Google Scholar
  13. [13]
    Arbib, M.A., and Manes, E.G., "Foundations of system theory: decompressible systems" Automatica (May 1974).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • J. A. Goguen
    • 1
  • J. W. Thatcher
    • 2
  • E. G. Wagner
    • 2
  • J. B. Wright
    • 2
  1. 1.Computer Science DepartmentUCLALos Angeles
  2. 2.IBM Watson Research CenterYorktown Heights

Personalised recommendations