Компиляция Java RegEx для конечного автомата
Теоретически, регулярные выражения эквивалентны конечным автоматам. Конечные автоматы являются хорошим способом для дальнейшего анализа, так как они могут быть минимизированы, канонизированы, сравнены и т. Д.
Есть ли способ преобразовать регулярное выражение Java в эту форму?
Я знаю, что так называемые "регулярные выражения" иногда имеют некоторые особенности, такие как рекурсия, которые делают их нерегулярными. Я не уверен, что это случай Java; По крайней мере, по сообщениям нет рекурсии. Но даже если это случай Java, я согласен с сокращением области действия до истинных регулярных выражений.