Analysis of Sequential Machines II
- 1 December 1958
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Electronic Computers
- Vol. EC-7 (4) , 299-306
- https://doi.org/10.1109/TEC.1958.5222663
Abstract
Mealy's model of a sequential machine is assumed and a relation of ``compatibility'' of states is introduced to further the analysis of such machines. In the event that input restrictions exist it is often possible to effect combinations of states under this relation in addition to those permitted under equivalence of states, a relation previously studied. Compatibility of states is analyzed by an iterative technique, rigorously established, which makes it possible to determine readily connection matrices of simpler ``compatible'' machines.Keywords
This publication has 4 references indexed in Scilit:
- Analysis of Sequential MachinesIEEE Transactions on Electronic Computers, 1957
- The Theory of NetsIEEE Transactions on Electronic Computers, 1957
- A method for synthesizing sequential circuitsBell System Technical Journal, 1955
- The synthesis of sequential switching circuitsJournal of the Franklin Institute, 1954