Fuzzy specification of finite state machines

Finite state machines (FSM) are widely used in digital systems because of their transparent structure, of a thorough theoretical understanding and of powerful CAD-tools for their automated synthesis. In addition, special hardware components support the implementation of FSMs in a direct manner. The paper deals with unprecise specification techniques for FSMs that allow more design freedom than conventional ones. This strategy greatly increases the number of possible implementations especially when embedding problems in given hardware structures like programmable logic devices must be solved economically