Некорректная генерация автомата для рекурсивных регулярок.

Некорректно генерируется автомат для следующей регулярки:

'^([^()]|$(?1)*$)*$'

Эта регулярка соответствует произвольной строке с корректным порядком вложенности круглых скобок: '(((2)(+)(3)))'

Красным пометил переходы, которые являются избыточными. На нормальный матчинг это не влияет, а влияет на нечеткий – происходит застревание на узле 7.

‌

Comments (0)