The state reduction of nondeterministic finite-state machines

Maurizio Damiani. The state reduction of nondeterministic finite-state machines. IEEE Trans. on CAD of Integrated Circuits and Systems, 16(11):1278-1291, 1997. [doi]

Abstract

Abstract is missing.