Всё просто. До из суммы вычитается загаданное число. Возьмите число 0 и сами всё поймёте
Программа для машины Поста - в прилагаемом файле.
Программа выполнена в тренажере К Полякова.
а) если уменьшаемое равно вычитаемому, то на ленте останется одна метка (что соответствует значению 0);
б) если уменьшаемое меньше вычитаемого, то будет ошибка "Повторное стирание метки".