15-453 Formal Languages, Automata, and Computation
Lecture 16: Non-Deterministic Turing Machines
We demonstrate that non-determinism does not change the computational power
of Turing machines. As usual, this kind of theorem is shown by constructing a
deterministic machine which simulates a given non-deterministic machine.
We then return to push-down automata and relate them explicitly to Turing