1.Motivation在正则表达式匹配中，有一大类复杂的表达式规则可以.doc

1. Motivation: 在正则表达式匹配中，有一大类复杂的表达式规则可以表示为如下的形式： 其中是形式比较简单的正则表达式，是形如“.*”、“.+”、“.?.?.?.?”或者“…..?.?.?.?”等等这样的重复字符和通配符。 （说明： “.”表示匹配一个任意字符。 “.*”表示匹配0个或多个任意字符。 “.+”表示匹配1个或多个任意字符。 “.?”表示匹配0个或者1个任意字符。 “.?.?.?.?”表示匹配0-4个任意字符。 “.....?.?.?.?”表示匹配4-8个任意字符。 ） 2. Example 开源系统L7-filter中识别yahoo即时通的的正则表达式规则是： (ymsg|ypns|yhoo).?.?.?.?.?.?.?[lwt].*\xc0\x80 这条规则可以分解为三个简单的子表达式: (ymsg|ypns|yhoo)、 [lwt] 和\xc0\x80。它们之间由.?.?.?.?.?.?.?和.*连接起来。 连接符号.?.?.?.?.?.?.?和.*实际上反映了相邻子表达式之间的距离约束，即相邻两个表达式之间最少必须出现个任意字符，最多能够出现个任意字符。 问题：当各个子表达式在文本中的出现位置被搜索出来以后，如何验证它们之间是否满足上述距离约束呢？ 3. Formalization: