基于多维有限自动机的DFA改进算法

　　多个正则表达式规则编译成一个DFA（deter minister finite automata）时，会产生状态爆炸、存储急剧增加的现象。针对最严重的状态爆炸问题，从信息论的角度给出了解释，并提出多维数学模型，将冗余状态分为0维状态和维状态，通过前者按照维度压缩，后者动态构建的方法将空问复杂度降到理论下界，并在此基础上提出多维有限自动机（MFA， multi-dimensional finite automata）。实验表明，MFA构造时间比XFA略少，比DFA、STT冗余压缩算法和Hybrid-FA降低了2-3个数量级；存储空间比XFA略高，比DFA、STT冗余压缩算法、mDFA、Hybrid-FA降低了1-2个数量级；匹配时间比DFA、Hybrid-FA略多，但是比XFA略少，比STT冗余压缩算法和mDFA降低了1-2个数量级。