前一段时间，在将 多正则表达式匹配工具 用于数十万任意的正则表达式时，以前一直担心的问题终于出现了：NFA 转化 DFA 时的指数爆炸，那样的 DFA 根本创建不出来，因为那些正则表达式之间有不可预料的各种交集！
这个问题对我打击很大，我甚至顿时觉得 多正则表达式匹配工具 完全是个废柴，最多，是个玩具！但是，只有挑战，才能激励人的斗志，挖掘人的潜能。我想起了曾经对之不屑一顾的动态 DFA 匹配算法，之前我在研究 RE2 时知道，RE2 在动态 DFA 的内存用量达到限定时，会抛弃已经创建整个动态 DFA，因为 DFA
的状态图比较复杂，节点之间互相引用，无法象普通的 Cache 一样部分的进行 Swap ，直觉上对它就没有好印象。

但是碰到组合爆炸这个魔咒，只有尝试一下，就先用 RE2 中的
set 试一下，先从那数十万正则表达式中任选一万个，re2 执行倒是很快，但立马就提示 DFA Out Of Memory 了，然后我尝试将 re2 的内存设到 8G，还是不行，浪费若干脑细胞，最后才惊奇地发现，Re2 的内存限制用的是 int 来表示的，而 int 的事实标准是32 bit，最大只能是 2G-1！设成 2G-1之后，re2 运行正常，性能还不错。

于是我开始加码，将所有正则表达式都扔进去，果然，re2 崩了！

虽然如此，但是至少表明，动态 DFA 解决该问题是可行的，我开始实现我的计划。一切都很顺利：

之前我实现其他算法时（r1303），扩展了自动机的字符集，而没有在自动机的状态上打专用 Tag，这个决定真是明智之举，在这里又用上了：

如果一切都照抄 re2 的实现，那不过是无聊的体力劳动。我的动态 DFA 实现，完全建立在我之前的各种自动机算法之上，有了这个根基，我的实现相比 re2，有很多优势：

1. 系统：如同一套数学理论，有定义、公理、定理，任何新的推论，都建立在之前已经确立的坚实的基础之上
2. 简单：因为已经有了坚实的基础，并不需要引入多少全新的东西，就能解决新的问题
3. 可靠：不需要验证已有的代码，只要证明新加入的代码是正确的，整个系统就是正确可靠的
4. 高效：已有的代码已足够高效，只要新的代码没有冗余计算，最终的算法必然是高效的