Mathematical systems theory

, Volume 5, Issue 2, pp 115–127 | Cite as

When is a sequential machine the realization of another?

  • Gabor T. Herman


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.


Computational Mathematic Sequential Machine Exact Relation State Splitting Linear Realizability 
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]
    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.Google Scholar
  2. [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. [3]
    H. Gallaire andM. A. Harrison, Decomposition of linear sequential machines,Math. Systems Theory 3 (1969), 246–287.Google Scholar
  4. [4]
    H. Gallaire, Decomposition of linear sequential machines II,Math. Systems Theory 4 (1970), 168–190.Google Scholar
  5. [5]
    J. Hartmanis andK. E. Stearns,Algebraic Structure Theory of Sequential Machines, Prentice-Hall, Englewood Cliffs, New Jersey, 1966.Google Scholar
  6. [6]
    G. T. Herman, Simulation of one abstract computing machine by another,Comm. Assoc. Comp. Mach. 11 (1968), 802.Google Scholar
  7. [7]
    G. T. Herman, Every finite sequential machine is linearly realizable,J. Computer System Sciences, to appear.Google Scholar

Copyright information

© Springer-Verlag New York Inc. 1971

Authors and Affiliations

  • Gabor T. Herman
    • 1
  1. 1.Department of Computer ScienceState University of New YorkBuffaloUSA

Personalised recommendations