Lecture and Seminary on Thursday, May 17, 2018
Section outline
-
Topics: - the halting problem for Turing machines
- encoding of 1-Turing machines
- undecidability of the halting problem
- Rice's theorem
- valid computations
- undecidable problems for context-free grammars
-
-
The solutions to these problems are to be presented and discussed at the Seminary on May 24, 2018.
-
-