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