%0 Journal Article
%T 重叠规则与歧义性*
%A 陆朝俊？
%A 孙永强？
%A 林凯？
%J 软件学报
%P 134-139
%D 1996
%X 重写系统是一种一般的计算模型．重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义，而重叠规则导致的歧义性是使归约过程复杂化的重要原因．本文对重写系统的歧义性进行了初步研究，并对一类常见的歧义问题作了具体分析，同时提出了解决办法．
%K 项重写系统
%K 归约策略
%K 重叠规则
%K 歧义性．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s119&flag=1