Issue No. 07 - July (1970 vol. 19)
J.C. Shepherdson , University of Bristol
H. Wang ("Circuit synthesis by solving sequential Boolean equations," Zeit. f?r Math. Logik und Grundlagen der Math., vol. 5 pp. 291-322, 1959) pointed out that sequential Boolean equations, obtained by adding a sequential operator to take care of the time element to the ordinary Boolean operations, provided a convenient language for expressing conditions to be satisfied by circuits or automata. Among other things he described algorithms for deciding whether an equation has a solution, and for deciding whether it has a solution with finite delay. The present paper presents algorithms which are thought to be more efficient.
J. Shepherdson, "R70-20 Sequential Boolean Equations," in IEEE Transactions on Computers, vol. 19, no. , pp. 658, 1970.