Лекция 2: Машина Тьюринга. Вычислимость. Примеры. Способы задания

Подробности

Категория: Алгоритмы и теория вычислений

В начале лекции обсуждается понятие вычислимости. Далее приводится описание, способы задания, указываются особенности программирования машин Тьюринга (МТ). Рассматриваются основные операции над МТ, доказывается теорема о существовании универсальной МТ.