Исполнитель Редактор получает на вход строку цифр и преобразовывает её. Редактор может выполнять две команды, в обеих командах и обозначают цепочки цифр; А) заменить . Эта команда заменяет в строке первое слева вхождение цепочки на цепочку . Например,

Исполнитель Редактор получает на вход строку цифр и преобразовывает её. Редактор может выполнять две команды, в обеих командах $v$ и $w$ обозначают цепочки цифр; А) заменить $(v, w)$.

Эта команда заменяет в строке первое слева вхождение цепочки $v$ на цепочку $w$. Например, выполнение команды заменить $(222,37)$ преобразует строку 05222250 в строку 0537250 . Если в строке нет вхождений цепочки $v$, то выполнение команды заменить $(v, w)$ не меняет эту строку; Б) нашлось $(v)$.

Эта команда проверяет, встречается ли цепочка $v$ в строке исполнителя Редактор. Если она встречается, то команда возвращает логическое значение «истина», в противном случае возвращает значение «ложь». Строка исполнителя при этом не изменяется.

Цикл ПОКА условие последовательность команд КОНЕЦ ПОКА выполняется, пока условие истинно. В конструкции ЕСЛИ условие\nTO команда 1 ИНАЧЕ команда 2 КОНЕЦ ЕСЛИ выполняется команда 1 (если условие истинно) или команда 2 (если условие ложно). Какая строка получится в результате применения приведённой ниже программы к строке, состоящей из 113 идущих подряд цифр 5 ? НАЧАЛО ПОКА нашлось (5555) ИЛИ нашлось (6666) ИЛИ нашлось (1111) ЕСЛИ нашлось (5555) ТО заменить $(5555,66)$ ЕСЛИ нашлось (6666) ТО заменить $(6666,11)$ ЕСЛИ нашлось (1111) ТО заменить $(1111,5)$ КОНЕЦ ЕСЛИ КОНЕЦ ПОКА КОНЕЦ