Код двоичной строки не работает с условием ⇐ Python

[Anonymous]

У меня есть двоичная строка, в этой двоичной строке много нулей, за которыми следует одна 1, например: «0100100010000100000010000000000000000100000000000000000000001000000001000000000000000000000000001» хочу преобразовать много нулей в 1, правило такое, если число нулей четное чем половина нулей и удвоенная единица. например, если число «00001» означает, что число нулей четное равно 4, чем половина нуля означает два нуля и двойное число равно двум, один результат будет «0011, если число нулей нечетное, то минус полтора нуля и удвоение единицы и добавление 1 дополнительной единицы к o1, например, число «00000001» число нулей равно семи минус единица, оно станет шестью, затем половина нуля (станет 3) и удвоится единица (оно будет станет два, чем добавить еще один) результат будет «000111», поэтому выполните задачу так, чтобы «00001» стало «0011», но последнее правило — конвертировать нули до тех пор, пока единица не станет равна нулю или меньше нуля 0>=1, но это последнее условие не работает, ожидаемый результат кода будет. "0011000110000011111000000111110000000111"
мой код
def transform_block(z):
ones = 1

while z > ones:
extra = 0
if z % 2 == 1:
z -= 1
extra = 1

z //= 2
ones = ones * 2 + extra

return '0' * z + '1' * ones
import re

def transform_binary_string(binary):
def replacer(match):
zeros = len(match.group()) - 1
return transform_block(zeros)

return re.sub(r'0+1', replacer, binary)

binary_string = "000010000001000000000000000000000010000000000000000000000000010000000000000001"

result = transform_binary_string(binary_string)
print(result)


Подробнее здесь: https://stackoverflow.com/questions/798 ... -condition