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