Issue No.01 - January (1974 vol.23)
N.N. Biswas , Department of Electrical Communication Engineering, Indian Institute of Science
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.
Augmentation, bunching, compatibility graph, implication trees, incompletely specified sequential machine, maximal compatibles, merger graph, sequential machine, state minimization, state reduction, substitution.
N.N. Biswas, "State Minimization of Incompletely Specified Sequential Machines", IEEE Transactions on Computers, vol.23, no. 1, pp. 80-84, January 1974, doi:10.1109/T-C.1974.223780