As mentioned in Lambda Calculus - Computerphile, Alonzo Church's method is functional where a function as a blackbox, takes an input, processes, and produces an output, and Turing machines have internal state. First, I would like to know what does it exactly mean by functional and sta...