Title :
An Algebraic Method for Minimizing the Number of States in an Incomplete Sequential Machine
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.
Keywords :
Index Terms—Minimization of the number of states.; Automata; Circuit faults; Circuit synthesis; Decision support systems; Electrical fault detection; Lattices; Sequential circuits; Index Terms—Minimization of the number of states.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1968.229126
