I recently finished reading a book on automata, and according to that book, Turing machines, lambda calculus, and recursive functions all have the same computational power. However, come to think of ...