Abstract :
A simple procedure for the state minimization of an incompletely specified sequential machine whose number of internal states is not very large is presented. It introduces the concept of a compatibility graph from which the set of maximal compatibles of the machine can be very conveniently derived. Primary and secondary implication trees associated with each maximal compatible are then constructed. The minimal state machine covering the incompletely specified machine is then obtained from these implication trees.
Keywords :
Augmentation, bunching, compatibility graph, implication trees, incompletely specified sequential machine, maximal compatibles, merger graph, sequential machine, state minimization, state reduction, substitution.; Character generation; Corporate acquisitions; Helium; Tree graphs; Augmentation, bunching, compatibility graph, implication trees, incompletely specified sequential machine, maximal compatibles, merger graph, sequential machine, state minimization, state reduction, substitution.;
