中文摘要：

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

英文摘要：

To improve the time efficiency of sub-matching extraction process in pattern matching algorithm, a method using Ordered Binary Decision Diagram （0BDD） to represent and manipulate Boolean functions is presented. The comparative experiments were conducted, comparing the presented method with Perl Compatible Regular Expressions （PCRE） and Google＇s RE2 library. Experimental results show that the performance of the submatch algorithm based on OBDD is improved about one to two orders of magnitude over PCRE and RE2.