Discuss the theory of Computation.