Before revision: Turing machines The third mathematically based direction of inductive inference makes use of the theory of automata and computation.
After revision: The third mathematically based direction of inductive inference makes use of the theory of automata and computation.