论文信息 - On the Equivalence of Finite-State Sequential Machine Models - 字舞流文

On the Equivalence of Finite-State Sequential Machine Models

Finite-state sequential machine model - proof of equivalence and procedures for transforming one model to other preserving machine minimality

Oscar H. Ibarra

[1] W. Cadden,et al. Equivalent Sequential Circuits , 1959 .

[2] V. Glushkov. THE ABSTRACT THEORY OF AUTOMATA , 1961 .

[3] A. Gill. Comparison of finite-state models , 1960 .

[4] Juris Hartmanis. The Equivalence of Sequential Machine Models , 1963 .

[5] George H. Mealy,et al. A method for synthesizing sequential circuits , 1955 .