Abstract :
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.
