Билет 17 (Всё про машины Тьюринга)

17. Машины Тьюринга. Конфигурации. Вычислимые языки, вычислимые функции, вычислимые множества. Тезис Черча-Тьюринга. Вычислимость регулярных языков. Пример нерегулярного языка вычислимого(распознаваемого)на машине Тьюринга. Нумерация машин Тьюринга. Универсальная машина. Пример невычислимых языков. Неразрешимость проблемы остановки. Вычислимо перечислимые языки. Свойства вычислимых и вычислимо перечислимых языков. Пример вычислимо перечислимого, но невычислимого языка. Пример не вычислимо перечислимого языка.