平行最外模式匹配*

平行最外策略是归约系统中适用范围非常广的策略，平行最外模式匹配研究适用于该策略的高效模式匹配方法．本文在生成自适应模式匹配自动机apma的基础上，充分利用匹配失败状态的部分匹配信息，构造了平行最外模式匹配自动机popma．利用popma进行模式匹配，在维持空间开销不大的前提下，降低了朴素思想的2大时间开销．并将模式匹配和归约策略结台起来，几乎一遗扫描即可找出所有平行最外匹配子项，具有很高的时空效率．借助于pop-ma,还可以对平行最外策略进行改进．