Работа машины
Будем говорить, что мы
можем применить программу к
текущему состоянию машины
Поста, если выполнение
программы не приведет к
зацикливанию, т.е. рано или поздно
мы выполним команду останов.
Пример программы, которая не применима ни к одному
состоянию машины Поста: