A structural optimization method for symbolic FSMs
Bruno Rouzeyre, Georges Sagnes, G. Tarroux · 2003
The paper presents a new structural optimization method for symbolic finite state machines. It is based on the common use of outputs for generating both the next state and the output vectors. An upper bound on the number of shared outputs is given as well as the algorithm giving the best solution.>