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