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