Lecture and Seminary on Thursday, May 10, 2018
Section outline
-
Topics: - Turing machine (TM)
- Turing computable function
- 1-Turing machine
- Simulation of (multi-tape) Turing machine by a 1-Turing machine
- nondeterministic Turing machine (NTM)
- Simulation of an NTM by a TM
- recursively enumerable language (RE)
- recursive language (REC)
-
-
The solutions to these problems are to be presented and discussed in the Seminary on May 17.
-
-