%0 Journal Article %T 平行最外模式匹配* %A 沈理? %A 林凯? %A 孙永强? %J 软件学报 %P 329-337 %D 1996 %X 平行最外策略是归约系统中适用范围非常广的策略,平行最外模式匹配研究适用于该策略的高效模式匹配方法.本文在生成自适应模式匹配自动机apma的基础上,充分利用匹配失败状态的部分匹配信息,构造了平行最外模式匹配自动机popma.利用popma进行模式匹配,在维持空间开销不大的前提下,降低了朴素思想的2大时间开销.并将模式匹配和归约策略结台起来,几乎一遗扫描即可找出所有平行最外匹配子项,具有很高的时空效率.借助于pop-ma,还可以对平行最外策略进行改进. %K 模式匹配 %K 归约策略 %K 自动机 %K 项. %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s148&flag=1