It is a machine created by Alonzo Church. Any operation that could be performed using Lambda Calculus was termed as “computable.”

Succeeded by Turing Machine