Text this: 正则表达式的DFA压缩算法