平行最外模式匹配

平行最外策略是归约系统中适用范围非常广的策略，平行最外模式匹配研究适用于该策略的高效模式匹配方法，本文在生成自适应匹配自动机ＡＰＭＡ的基础上，充分利用匹配失败状态的部分匹配信息，构造了平行最外匹配自动机ＰＯＰＭＡ。利用ＰＯＰＭＡ进行模式匹配，在维持空间开销不大的前提下，降低了相互思想的２大时间开销，并将模式匹配和归约策略结合起来，几乎一遍扫描即可找出所有平行最外匹配子项，具有很高的时空效率。