论文部分内容阅读
为提高模式匹配算法中子匹配提取过程的时间效率,采用有序二元决策图（ordered binary decision diagram,OBDD）与布尔函数相结合的方法,完成了与PCRE（perl compatible regular expressions）和谷歌的RE2库的对比实验研究。结果表明：基于OBDD的子匹配算法的性能比PCRE和RE2提高了约一到两个数量级。