Theory of Computation
uvatoc.github.io/week11
24.4 Power of Nondeterministic Turing Machines
- Formal definition of Nondeterministic Turing Machine
- Adapting the Execution Model for Nondeterminism
- Power of NDTMs
Nathan Brunelle and David Evans
University of Virginia
1 ноя 2020