Задание №12 — Анализ строковых алгоритмов

Исполнитель Редактор получает на вход строку цифр и преобразовывает ее. Редактор может выполнить две команды. В обеих командах v и w обозначают цепочки цифр. 
A) заменить (v, w). 
Эта команда заменяет в строке первое слева вхождение цепочки v на цепочку w. Например, выполнение команды заменить (111, 27) преобразует строку 05111150 в строку 0527150. Если в строке нет вхождений цепочки v, то выполнение команды заменить (v, w) не меняет эту строку.
Б) нашлось (v).
Эта команда проверяет, встречается ли цепочка v в строке исполнителя Редактор. Если она встречается, то команда возвращает логическое значение «истина», в противном случае возвращает значение «ложь». Строка исполнителя при этом не изменяется. 

Цикл
   ПОКА условие
   последовательность команд
   КОНЕЦ ПОКА
выполняется, пока условие истинно. 

В конструкции
ЕСЛИ условие
   ТО команда 1
КОНЕЦ ЕСЛИ
выполняется команда 1 (если условие истинно).

В конструкции
ЕСЛИ условие
   ТО команда 1
  ИНАЧЕ команда 2
КОНЕЦ ЕСЛИ 
выполняется команда 1 (если условие истинно) или команда 2 (если условие ложно).

Определите количество цифр 5 в строке, получившейся в результате применения приведённой ниже программы к входной строке $\underset{25}{1 \underbrace{555 \ldots 55}} ,$ т. е. к строке, состоящей из единицы, за которой следуют 25 цифр 5 подряд. В ответе запишите только количество цифр 5 в получившейся строке.

НАЧАЛО
ПОКА нашлось (15) ИЛИ нашлось (1)
   ЕСЛИ нашлось (15)
      ТО заменить (15, 5551)
      ИНАЧЕ
      ЕСЛИ нашлось (1)
         ТО заменить (1, 5) 
      КОНЕЦ ЕСЛИ
   КОНЕЦ ЕСЛИ
КОНЕЦ НОКА
КОНЕЦ