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