? - , DFA .
DFA, DFA "" ( ).
DFA, , .
- , , . , , - .
, DFA?
Go (re2), Haskell , DFA. , DFA .
POSIX ERE ( ), POSIX ERE, DFA NFA. , , ( ), , , NFA.
, , GNU egrep , POSIX ERE DFA ( dfa.c).
3 :
( )
- () NFA ( ).
- (, Java, Python, Perl 2,...)
2: Perl memoization. - , Thompson NFA O (mn), m - , n - .
- (ir) backreckference - . .
- ( ) , Thompson NFA.
, re2 ( ) DFA NFA.