Как работает машина Поста с точки зрения движения каретки и обработки данных?

Машина Поста — абстрактная вычислительная машина, которая состоит из бесконечной ленты, разделённой на ячейки, и каретки, движущейся вдоль ленты. infourok.ru nsportal.ru

С точки зрения движения каретки машина работает следующим образом: за единицу времени (шаг) каретка может сдвинуться на одну ячейку влево или вправо. infourok.ru transport.alleasing.ru Когда каретка неподвижна, она стоит против одной ячейки ленты, которую называют текущей. infourok.ru kopilkaurokov.ru

С точки зрения обработки данных машина Поста выполняет следующие действия:

• Распознаёт, пустая клетка или помеченная знаком. nsportal.ru transport.alleasing.ru Если в ячейке есть метка, то можно перейти к определённому шагу алгоритма. otvet.mail.ru Если метки нет, то можно перейти на другой шаг. otvet.mail.ru
• Устанавливает или удаляет метку. otvet.mail.ru Это возможно, только если в ячейке раньше либо не было метки, либо она присутствовала. otvet.mail.ru Нельзя удалить пустоту и нельзя установить метку в ячейку, если она там уже установлена. otvet.mail.ru
• Проверяет содержимое текущей ячейки. otvet.mail.ru С помощью проверки можно организовать цикл, но недопустимо делать бесконечный цикл. otvet.mail.ru Алгоритм из действий каретки должен обязательно иметь конец, а каретка должна обязательно остановиться. otvet.mail.ru

Действия каретки подчинены программе, состоящей из перенумерованного набора команд. infourok.ru Исходное состояние ленты можно рассматривать как исходные данные задачи, конечное состояние ленты — как результат решения задачи. infourok.ru nsportal.ru