ABSTRACT
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
Index Terms?Minimization of the number of states.
CITATION

A. Bouchet, "An Algebraic Method for Minimizing the Number of States in an Incomplete Sequential Machine," in IEEE Transactions on Computers, vol. 17, no. , pp. 795-798, 1968.
doi:10.1109/TC.1968.229126