Исполнитель Редактор получает на вход строку цифр и преобразует её.
Редактор может выполнять две команды, в обеих
А) заменить (v, w).
Эта команда заменяет в строке первое слева вхождение
Если в строке нет вхождений
Б) нашлось (v).
Эта команда проверяет, встречается ли цепочка v в строке исполнителя Редактор. Если она встречается, то команда возвращает логическое значение «истина», в противном случае возвращает значение «ложь». Строка исполнителя при этом не изменяется.
Цикл
ПОКА условие
последовательность команд
КОНЕЦ ПОКА
выполняется, пока условие истинно.
В конструкции
ЕСЛИ условие
ТО команда1
ИНАЧЕ команда2
КОНЕЦ ЕСЛИ
выполняется команда1 (если условие истинно) или команда2 (если условие ложно). Часть ИНАЧЕ может отсутствовать, в этом случае, если условие ложно, никакие действия не выполняются.
Какая строка получится в результате применения приведённой ниже программы к строке вида 1…12…2
НАЧАЛО
ПОКА нашлось (111) ИЛИ нашлось (222)
ЕСЛИ нашлось (111)
ТО заменить (111, 2)
КОНЕЦ ЕСЛИ
ЕСЛИ нашлось (222)
ТО заменить (222, 1)
КОНЕЦ ЕСЛИ
КОНЕЦ ПОКА
КОНЕЦ
Данный алгоритм сначала заменит первые шесть единиц на две двойки и первые шесть двоек, следующих за единицами, на две единицы. После этого останется
Ответ: 12.
Приведём другое решение на языке Python.
s = '1' * 7 + '2' * 7
while ('111' in s) or ('222' in s):
if '111' in s:
s = s.replace('111', '2', 1)
if '222' in s:
s = s.replace('222', '1', 1)
print(s)

