Issue No.05 - May (1972 vol.21)
H.-D. Ehrich , Institut f?r Instrumentelle Mathematik, Technische Universiti?t Hannover
In this note a necessary and sufficient condition is supplied for a flow table to have the property that every cover composed of maximal compatibles is closed. An example of such a flow table is given to which all sufficient conditions known before do not apply.
Incompletely specified machines, maximal compatibles, minimal covers, reduction of incomplete sequential machines, sequential machines, state minimization.
H.-D. Ehrich, "A Note on State Minimization of a Special Class of Incomplete Sequential Machines", IEEE Transactions on Computers, vol.21, no. 5, pp. 500-502, May 1972, doi:10.1109/T-C.1972.223549