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. 2, pp. 231-234, February 1971, doi:10.1109/T-C.1971.223222