Reduction of the number of symbolic outputs of finite state machines
G. Rietsche · 2003
An algorithm is presented which works on the symbolic level, prior to the code assignment phase. Under certain conditions it is possible to implement several symbolic outputs by one single symbolic output. By that, the number of symbolic outputs, and therefore, the number of binary output functions which have to be implemented is reduced. This is in particularly useful if the number of output functions which can be realized is restricted, e.g., if the controller has to be implemented by a certain type of PLA with a fixed number of output columns.>