Курс "Теория алгоритмов", раздел "Машины Тьюринга и функции, вычислимые по Тьюрингу.
Click to enter this course