Машина Тьюринга: основные понятия и термины

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