Extending the Definition of Prime Compatibility Classes of States in Incomplete Sequential Machine Reduction

1 June 1969

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers

Vol. C-18 (6) , 537-540
https://doi.org/10.1109/t-c.1969.222706

Abstract

A procedure is illustrated to reduce the number of classes of internal states to be considered in the state minimization problem for incompletely specified sequential machines. The procedure leads to an extension of the definition of prime compatibility classes of states. It is based on the updating of the logical closure constraints for prime classes due to previous eliminations of nonprime ones. An additional, more complex elimination mechanism is also presented.

Keywords

CONSTRAINTS
COMPATIBILITY
INCOMPLETE
MACHINES
SEQUENTIAL
LOGICAL
SPECIFIED
ILLUSTRATED
NONPRIME
SPECIFIED

This publication has 0 references indexed in Scilit: