如何估计正则表达式参数（找到更严格的版本）？

Question

pattern = '(0*10{1,5}1)'
m = re.search(pattern, '00010000010000')
print(m.group(0)) #result: 0001000001

(0*)表示0的任意数，(0{1,5})表示1到5之间的零数

在提供的示例中，regexp与strng0001000001匹配。它在开头(0*)处包含3个零，在第一次出现1(0{1,5})后包含5个零。确切的regexp是(0{3}10{5}1)。如何找到这个更严格的版本（regex2），在给定数据和regex1的情况下给出相同的结果

Answer 1

您可以使用

pattern = '((0*)1(0{1,5})1)'
m = re.search(pattern, '00010000010000')

然后使用

strict_pattern = f'(0{{{len(m[2])}}}*10{{{len(m[3])}}}1)'

print(strict_pattern)  # result: (0{3}*10{5}1)