Исполнитель Панцирь получает на вход строку цифр и преобразовывает её. Панцирь может выполнять две команды, в обеих командах v и w обозначают цепочки символов.
1. заменить (v, w)
2. нашлось (v)
Первая команда заменяет в строке первое слева вхождение цепочки v на цепочку w. Если цепочки v в строке нет, эта команда не изменяет строку. Вторая команда проверяет, встречается ли цепочка v в строке исполнителя Панцирь. Если она встречается, то команда возвращает логическое значение «истина», в противном случае возвращает значение «ложь».
Дана программа для Панцирь:
НАЧАЛО
ПОКА нашлось(*7) или нашлось(*8)
ЕСЛИ нашлось(*78)
ТО заменить(*78, 4*)
ИНАЧЕ ЕСЛИ нашлось(*7)
ТО заменить(*7, 0*)
КОНЕЦ ЕСЛИ
КОНЕЦ ЕСЛИ
ЕСЛИ нашлось(*8)
ТО заменить(*8, 8*)
КОНЕЦ ПОКА
КОНЕЦ
На вход приведённой программе поступает строка, начинающаяся с символа «*», после него в строке находится 4 восьмерок и неизвестное количество семерок. Расположение цифр может быть любым. Определите наименьшее количество семерок, которые могли содержаться в изначальной строке, если сумма цифр строки, полученной в результате выполнения программы равна 24.
Программа заменяет семерки, за которыми находится восьмерка, на четверки. Если же за семеркой находится другая семерка, то левая семерка заменяется нулем. Свободные восьмерки не затрагиваются действиями программы.
Чтобы минимизировать количество семерок, определим следующее: в числе 24 содержится 3 восьмерки, однако программа не позволяет взять 3 восьмерки и не использовать остальные.
Очевидно, что восьмерки, перед которыми находится семерка, уменьшаются программой в два раза, значит можно подбором найти такое количество 
и 
при котором 
Эти 
и 
равны 2 и 2 соответственно. Следовательно, чтобы получить число 24, нужно задействовать 2 семерки и поставить их перед восьмерками.