Title :
A new method for the state reduction of incompletely specified finite sequential machines
Author :
Avedillo, M.J. ; Quintana, J.M. ; Huertas, J.L.
Author_Institution :
Dept. de Electron. y Electromagn., Univ. de Sevilla, Spain
Abstract :
A new method for the state reduction of incompletely specified finite sequential machines is proposed. Fundamental theorem of minimization theory states that, given an incomplete state table, another state table specifying the same external behavior corresponds to each closed set of compatibility classes which covers all internal states of the given table. The new heuristic algorithm builds up a closed cover for a given state table selecting maximal compatibles (MCs) one by one until both covering and closure requirements are satisfied. Near-minimal solutions are also incrementally generated. The process is dynamic as the consequences of adding a particular MC are precisely determined. The new algorithm is designed for speed and has proven to be extremely valuable in situations where fast but good optimization is required. The algorithm has been programmed and results on a wide set of machines shown
Keywords :
finite automata; sequential machines; state assignment; closure; compatibility classes; covering; heuristic algorithm; incompletely specified finite sequential machines; maximal compatibles; minimization theory; optimization; state reduction; Algorithm design and analysis; Circuits; Complexity theory; Design optimization; Heuristic algorithms; Minimization; NP-complete problem; Process design; Programmable logic arrays; Silicon;
Conference_Titel :
Design Automation Conference, 1990., EDAC. Proceedings of the European
Conference_Location :
Glasgow
Print_ISBN :
0-8186-2024-2
DOI :
10.1109/EDAC.1990.136708
