Машина Тьюринга — Поста.

Имеется устройство просматривающее бесконечную ленту, где есть ячейки содержащие элементы алфавита: Машина Тьюринга - Поста. , где Машина Тьюринга - Поста. — пустой символ (пустое слово), который может принадлежать и не принадлежать А. Также существует управляющая головка (устройство) (УУ)/(УГ), которая в начальный момент расположена в определенном месте, в состоянии Машина Тьюринга - Поста.. Также существуют внутренние состояния машины:

Слово в данном алфавите — любая конечная упорядоченная  последовательность букв данного алфавита, притом длина слова это количество букв в нем (у пустого слова длина 0).

Допустимые команды:

1)    ,где Машина Тьюринга - Поста..

2)  Машина Тьюринга - Поста.  (остановка программы).

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

 

Логика - доступно для всех