为了得到这些结果，你需要 * 重复 * 将五个连续的零替换为一个零，直到不再出现五个连续的零。

s = "0" * 125  # example input
while "00000" in s:
    s = s.replace("00000", "0")
print(s)

正如我在评论中所说的，我最好的猜测是，你试图重复应用5个0被1替换的规则，这样，例如，25个0被简化为00000，而00000又被简化为0。假设这是正确的：
这不是最有效的方法，但有一种方法可以做到：

import re

new = "00000100002000003000000004" + "0"*50
old = ""

while old != new:
    old,new = new,re.sub("0{5}","0",new)
print(new)                              #0100002030000400

或者，这里有一个方法可以在数组中一次应用该更改：

s = "00000100002000003000000004" + "0"*50

stack,ct = ['#'],[-1]
i = 0
while i < len(s):
    if s[i] == stack[-1]:
        ct[-1] += 1
        i+=1
    elif ct[-1] >= 5:
        q,r = divmod(ct[-1],5)
        ct[-1] = q+r
    else:
        stack.append(s[i])
        ct.append(1)
        i+=1
while ct[-1] >= 5:
    q,r = divmod(ct[-1],5)
    ct[-1] = q+r

ans = "".join(c*k for c,k in zip(stack[1:],ct[1:]))
print(ans)

PyPI regex支援recursion。类似以下的程式码可以执行：

import regex as re

s = re.sub(r"0000(?:(?0)|0)", "0", s)

请参见www.example.com上的Python演示tio.run或regex demo at regex101
在(?0)或(?R)处，模式被粘贴（递归）。