%0 Journal Article
%T 模式化简序与重写系统的终止性
%A 林凯？
%A 孙永强？
%A 陆汝占？
%J 软件学报
%P 40-48
%D 1992
%X 本文引入了模式化简序的概念,并给出了基于模式化简序的重写系统终止性判别方法。本文还着重研究了模式递归路径序,同时定义了重写规则相对模式集的上下扩张概念,以此给出了用模式递归路径序判别终止性的有效方法,原有的递归路径序是模式递归路径序的一个特例。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19920306&flag=1