Osnova sekce

  • 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

    • AuGLecture13 Soubor

      Slides for Lecture 13

      (Update: May 17, 2018)

    • SS2018_A13 Soubor

      The solutions to these problems are to be presented and discussed at the Seminary on May 24, 2018.

    • SS2018_A13_SOL Soubor

      This file contains solutions to selected problems from Assignment 13.