Выполнение алгоритмов для исполнителей

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

Цикл
    ПОКА условие
        последовательность команд
    КОНЕЦ ПОКА
выполняется, пока условие истинно.
В конструкции
    ЕСЛИ условие
        ТО команда1
    КОНЕЦ ЕСЛИ
выполняется команда1 (если условие истинно).
В конструкции
    ЕСЛИ условие
        ТО команда1
        ИНАЧЕ команда2
    КОНЕЦ ЕСЛИ
выполняется команда1 (если условие истинно) или команда2 (если условие ложно).
Дана программа для редактора
НАЧАЛО
    ПОКА НЕ нашлось (00)
        заменить (01, 210)
        заменить (02, 320)
        заменить (03, 3012)
    КОНЕЦ ПОКА
КОНЕЦ
Известно, что исходная строка начиналась с нуля и заканчивалась нулём, а между ними содержала только единицы, двойки и тройки. После выполнения данной программы получилась строка, содержащая 23 единицы, 48 двоек и 41 тройку. Сколько цифр было в исходной строке?


программа для задания на паскале

begin
for var i1:= 1 to 23 do
for var i2:= 1 to 41 do
for var i3:=1 to 23 do
begin
var s := '0' + '1' * i1 + '2' * i2 + '3' * i3 + '0';
while not('00' in s) do
begin
s := s.Replace('01', '210', 1);
s := s.Replace('02', '320', 1);
s := s.Replace('03', '3012', 1);
end;
if (s.count(x -> x = '1') = 23) and(s.count(x -> x = '2') = 48)
and(s.count(x -> x = '3') = 41 )then
Print(i1+i2+i3 +2);
end;
end.

просьба переписать прогу на питоне и по возможности объяснить.

0