A Note on the Solution of Sequential Boolean Equations
John Wade Ulrich · IEEE Transactions on Computers · 1971
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.