Issue No. 02 - February (1971 vol. 20)
The problem of solving sequential Boolean equations is examined in terms of nondeterministic finite transducers. An upper bound for the delay is established and a method for obtaining a deterministic equivalent is described.
Algorithms, Boolean equations, finite delay, sequential equations, transducers.
J.W. Ulrich, "A Note on the Solution of Sequential Boolean Equations", IEEE Transactions on Computers, vol. 20, no. , pp. 231-234, February 1971, doi:10.1109/T-C.1971.223222