Skip to main content
SpringerLink
Log in

Decomposition of linear sequential machines

  • Published:
Mathematical systems theory Aims and scope Submit manuscript

Abstract

Linear sequential machines can sometimes be decomposed into parallel and series connections of smaller linear sequential machines. Necessary and sufficient conditions are given for such decompositions to exist for finite linear sequential machines.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. M. Cohn, Controllability in linear sequential networks,IEEE Trans. Comput. EC-13 (1964) 52–53.

    Google Scholar 

  2. B. Elspas, The theory of autonomous linear sequential networks,IRE Trans. Circuit Theory,CT-6 (1959) 45–60.

    Google Scholar 

  3. H. Gallaire, J. N. Gray, M. A. Harrison andG. T. Herman, Infinite linear sequential machines,J. Comput. System Sci. 2 (1968), 381–419.

    Google Scholar 

  4. F. R. Gantmacher,The Theory of Matrices, Vols. I and II, Chelsea, New York, 1959.

    Google Scholar 

  5. A. Gill,Linear Sequential Circuits, McGraw-Hill, New York, 1966.

    Google Scholar 

  6. A. Ginzburg,Algebraic Theory of Automata, Academic Press, New York, 1968.

    Google Scholar 

  7. M. A. Harrison,Introduction to Switching and Automata Theory, McGraw-Hill, New York, 1965.

    Google Scholar 

  8. J. Hartmanis andR. E. Stearns,Algebraic Structure Theory of Sequential Machines, Prentice-Hall, Englewood Cliffs, N.J., 1966.

    Google Scholar 

  9. W. H. Kautz, (ed.),Linear Sequential Switching Circuits: Selected Technical Papers, Holden-Day, San Francisco, 1965.

    Google Scholar 

  10. K. B. Krohn andJ. L. Rhodes, Algebraic theory of machines I,Trans. Amer. Math. Soc. 116 (1965), 450–464.

    Google Scholar 

  11. B. L. van der Waerden,Modern Algebra, Vols. I and II, Ungar, New York, 1949.

    Google Scholar 

  12. S. Warner,Modern Algebra, Prentice-Hall, Englewood Cliffs, N.J., 1965.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of California at Berkeley, USA

    Hervé Gallaire & Michael A. Harrison

Authors
  1. Hervé Gallaire
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael A. Harrison
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Research sponsored by the Air Force Office of Scientific Research, Grant AF-AFOSR 639-67, and by the National Science Foundation, Grant GP-6945

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gallaire, H., Harrison, M.A. Decomposition of linear sequential machines. Math. Systems Theory 3, 246–287 (1969). https://doi.org/10.1007/BF01703924

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01703924

Keywords

Search

Navigation