1курс / 2 сем / МЛиТА / машина Тьюринга кратко

*Игошин, параграф 32, стр. 317*

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

Работа машины определяется программой. Программа состоит из команд. Каждая программа имеет вид: (32.1)

Логика такая. 1) Мы находимся в состоянии p_i и головка видит сейчас символ a_j (32.1). Заменяем содержимое данной ячейки на a_l (а эльтое), которое может совпадать с a_j (см. второй символ в [32.1]); 2) Машина переходит в состояние q_k (НЕ перемещается!), которое может совпадать с предыдущим состоянием q_i (см. первый символ в [32.1] выражения после стрелки); 3) Машина перемещается: а) вправо, если третий символ в ([32.1] выражения после стрелки) = П; б) влево, если третий символ в ([32.1] выражения после стрелки) = Л; в) не перемещается, если третий символ = С или он отсутствует.

*Примеры находятся на странице 320 учебника Игошина.*