Issue No. 10 - October (1969 vol. 18)
In this short note, an attempt has been made to arrive at a general algorithm for minimizing the number of internal states in an incompletely specified flow table. The closure property of the compatibility classes which cover a given flow table leads us to the derivation of a particular class of closed sets defined as irredundant prime closed sets. It has been shown that these prime closed sets in sequential circuit synthesis play an analogous role to that of the prime implicants in combinational circuit synthesis. A method has been described for determining all the irredundant prime closed sets and finding the minimal row flow table by suitably choosing one or a collection of those sets.
Class set, closed set, closure condition table, compatibility class, cover chart, flow table, implication table, maximum compatibility class, minimal cover, prime closed set, prime compatibility class, redundant and irredundant prime closed sets, states of a flow table.
S. De Sarkar, A. Basu and A. Choudhury, "Simplification of Incompletely Specified Flow Tables with the Help of Prime Closed Sets," in IEEE Transactions on Computers, vol. 18, no. , pp. 953-956, 1969.