Исполнитель Редактор получает на вход строку цифр и преобразует её. Редактор может выполнять две команды, в обеих командах и обозначают цепочки цифр. А. заменить (v, w).
Эта команда заменяет в строке первое слева вхождение цепочки на цепочку Например, выполнение команды заменить (111, 27)
преобразует строку в строку Если в строке нет вхождений цепочки то выполнение команды заменить (v, w) не меняет эту строку. Б. нашлось (v).
Эта команда проверяет, встречается ли цепочка v в строке исполнителя Редактор. Если она встречается, то команда возвращает логическое значение «истина», в противном случае возвращает значение «ложь». Строка исполнителя при этом не изменяется.
Цикл
ПОКА условие
последовательность команд
КОНЕЦ ПОКА выполняется, пока условие истинно.
Какая строка получится в результате применения приведённой ниже программы к строке, состоящей из единиц? НАЧАЛО
ПОКА нашлось (111)
заменить (111, 2)
заменить (222, 11)
КОНЕЦ ПОКА
КОНЕЦ