The Community for Technology Leaders
Green Image
Abstract?A structure of distributive lattice is defined on the set of partial coverings of a finite nonempty set. From this structure is derived an algorithm for calculating a minimal closed covering of the states in an incomplete sequential machine.
Index Terms?Minimization of the number of states.
A. Bouchet, "An Algebraic Method for Minimizing the Number of States in an Incomplete Sequential Machine", IEEE Transactions on Computers, vol. 17, no. , pp. 795-798, August 1968, doi:10.1109/TC.1968.229126
80 ms
(Ver 3.3 (11022016))