正则表达式方程组的最小解

网络安全检测中,正则表达式匹配是深度包检测的主要手段,匹配算法则是其关键技术。目前,正则表达式匹配算法可以大体分为转换压缩、状态压缩和字母表压缩三类。文章讨论正则表达式方程组最小解及其求解算法,证明了正则表达式方程组的最小解的存在性和基于Gauss消元法的求解算法的正确性,给出了最小解的构造,分析了求解算法的时间复杂度,为规则压缩奠定了理论基础。

求解正则表达式方程组高斯消元法的矩阵方法

本文在分析现有求解正则表达式方程组最小不动点的高斯消元法基础上，提出了一种利用系数矩阵进行消元变换求解正则表达式方程组的高斯消元法，并给出易编程的实现算法。