Title :
Fast State Minimization of Incompletely Specified Sequential Machines
Author :
Gupta, Parveen K. ; Dietmeyer, Donald L.
Author_Institution :
Department of Electrical Engineering, University of Wisconsin
Abstract :
Existing techniques for finding minimum state covers of an incompletely specified sequential machine are streamlined to yield a single minimum cover with significantly less computation. The factor by which computation is reduced is directly proportional to the complexity of the machine.
Keywords :
Closed set, closure condition table, compatibility class, cover chart, state minimization.; Logic; Minimization methods; Closed set, closure condition table, compatibility class, cover chart, state minimization.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1973.223687
