Получив строку с цифрами на вход, исполнитель редактор должен преобразовать ее. Исполнитель может использовать

Исполнитель редактор:

Объяснение:
Имеется строка с цифрами, которую нужно преобразовать с помощью команд исполнителя редактора. Исполнитель редактора может использовать две команды: "заменить (v, w)" и "проверить (v)".

- Команда "заменить (v, w)" заменяет первое вхождение последовательности v на последовательность w, если v присутствует в строке. Если последовательности v нет в строке, команда не изменяет строку.

- Команда "проверить (v)" проверяет, встречается ли последовательность v в строке исполнителя редактора. Если она встречается, команда возвращает значение "истина", в противном случае - "ложь".

Программа исполнителя редактора представляет собой последовательность команд замены и проверки. Они выполняются в том порядке, в котором они указаны в программе.

Пример использования:
Пример строки: 1234567
Программа исполнителя: заменить (12, 89), проверить (34), заменить (12, 89), проверить (12)

Шаги:
1. Производится замена первого вхождения последовательности "12" на "89", строка теперь выглядит так: 89 34567
2. Проверяется наличие последовательности "34" в строке, возвращается "истина"
3. Так как последовательности "12" больше нет в строке, замена не производится
4. Проверяет наличие последовательности "12" в строке, возвращается "ложь"

Совет:
Чтобы лучше понять работу программы исполнителя редактора, рекомендуется внимательно следить за порядком выполнения команд. Также полезно делать заметки, чтобы отслеживать изменения в строке на каждом шаге выполнения программы.

Упражнение:
Дана строка: 123456789
Программа исполнителя: заменить (45, 23), проверить (56), заменить (23, 78), проверить (45), заменить (12, 34)

Найдите результат выполнения программы исполнителя редактора.