Issue No. 08 - August (1975 vol. 24)
G.H. Williams , Department of Electrical Engineering, Union College
In this correspondence uniform decomposition procedures are extended to incompletely specified sequential machines. Any given Moore sequential machine is realized by interconnecting copies of a universal two-state component machine. The information processed by each component machine is represented by its corresponding partial mapping. When the sequential machine is incompletely specified, a reduction in the number of component machine copies is possible. The reduction is found by a uniform-cost search algorithm which finds a minimal cover on the set of partial mappings.
Covering problem, incompletely specified, sequential machines, uniform decomposition.
G. Williams, "Uniform Decomposition of Incompletely Specified Sequential Machines," in IEEE Transactions on Computers, vol. 24, no. , pp. 840-843, 1975.