The Community for Technology Leaders
Green Image
Issue No. 04 - April (1971 vol. 20)
ISSN: 0018-9340
pp: 454-456
Paull and Unger [1] were the first to develop methods for solving the problem of minimizing the number of internal states of incompletely specified sequential machines. Grasselli and Luccio [2] improved upon these methods by introducing rules for reducing the size of the problem and by transforming the problem into a linear integer programming problem. House and Stevens [3] have provided a means of further reducing the size of the problem by developing an additional rule.
Covering and closure tables, incompletely specified sequential machines, minimization of internal states, reduction algorithm, reduction rules.

H. Curtis, "The Further Reduction of CC-Tables," in IEEE Transactions on Computers, vol. 20, no. , pp. 454-456, 1971.
91 ms
(Ver 3.3 (11022016))