Skip to main content
SpringerLink
Log in

When is a sequential machine the realization of another?

  • Published:
Mathematical systems theory Aims and scope Submit manuscript

Abstract

Three different definitions (all of them from published literature) of the concept of realization of a sequential machine by another are examined. It is shown that the definitions are all different and the exact relations between them are discussed. Consequences of the results to the problems of linear realizability of sequential machines and of state splitting are also investigated.

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. W. A. Davis, Linearity of sequential machines. A critical review.IEEE Conference Record of 1968 Ninth Annual Symposium on Switching and Automata Theory (1968), 427–430.

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

    Google Scholar 

  3. H. Gallaire andM. A. Harrison, Decomposition of linear sequential machines,Math. Systems Theory 3 (1969), 246–287.

    Google Scholar 

  4. H. Gallaire, Decomposition of linear sequential machines II,Math. Systems Theory 4 (1970), 168–190.

    Google Scholar 

  5. J. Hartmanis andK. E. Stearns,Algebraic Structure Theory of Sequential Machines, Prentice-Hall, Englewood Cliffs, New Jersey, 1966.

    Google Scholar 

  6. G. T. Herman, Simulation of one abstract computing machine by another,Comm. Assoc. Comp. Mach. 11 (1968), 802.

    Google Scholar 

  7. G. T. Herman, Every finite sequential machine is linearly realizable,J. Computer System Sciences, to appear.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, State University of New York, Buffalo, USA

    Gabor T. Herman

Authors
  1. Gabor T. Herman
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Herman, G.T. When is a sequential machine the realization of another?. Math. Systems Theory 5, 115–127 (1971). https://doi.org/10.1007/BF01702867

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation