Before revision: The synthesis problem was introduced by Alonzo Church in 1962 , with specifications being formulas in monadic second-order logic
After revision: , and state machines in the form of digital circuitsThe synthesis problem was introduced by Alonzo Church in 1962 , with specifications being formulas in monadic second-order logic