Issue No. 10 - October (1972 vol. 21)
J. Drilman , Department of Electrical Engineering, Princeton University
The synthesis of sequential machines by interconnections of copies of a fixed module is considered. A family of modules M<inf>r,p</inf>for positive integers r and p, is defined. Mr,p can be used to synthesize sequential machines with 2<sup>P</sup>input symbols. A nondeterministic sequential machine (NSM) is said to be r-bounded if it has one initial state and for no state and input are there more
Machine decomposition, modular decomposition, nondeterministic sequential machines, sequential machines.
J. Drilman, P. Weiner, "Modular Networks and Nondeterministic Sequential Machines", IEEE Transactions on Computers, vol. 21, no. , pp. 1124-1129, October 1972, doi:10.1109/T-C.1972.223461