Как работает машина Поста в теории алгоритмов?

Машина Поста в теории алгоритмов работает следующим образом: videouroki.net nsportal.ru

1. Машина состоит из каретки (считывающей и записывающей головки) и бесконечной в обе стороны ленты, разбитой на ячейки. videouroki.net nsportal.ru Каждая ячейка ленты может быть либо пустой (0), либо помеченной меткой (1). videouroki.net
2. За один шаг каретка может сдвинуться на одну позицию влево или вправо, считать, поставить или стереть символ в том месте, где она стоит. videouroki.net
3. Алгоритм работы машины задаётся как программа для универсального исполнителя. videouroki.net Программа состоит из конечного числа строк и использует всего 6 команд: videouroki.net

• N. → J — сдвиг вправо; videouroki.net
• N. ← J — сдвиг влево; videouroki.net
• N. 1 J — запись метки; videouroki.net
• N. 0 J — удаление метки; videouroki.net
• N. ? J1, J0 — если в ячейке есть метка, то перейти к j1 строке программы, иначе перейти к j0 строке программы; videouroki.net
• N. Stop — остановка. videouroki.net

1. Для работы машины нужно задать программу и её начальное состояние (то есть состояние ленты и позицию каретки). videouroki.net nsportal.ru

Попытка стереть метку там, где её нет, или поставить метку повторно считается ошибкой, и машина аварийно останавливается. videouroki.net