重叠规则与歧义性  

作　　者：陆朝俊 孙永强 

出　　处：《软件学报》1996年第A00期134-139,共6页Journal of Software

摘　　要：重写系统是一种一般的计算模型，重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义，而重叠规则导致的歧义性是使归约过程复杂化重要原因，本文对重写系统的歧义性进行了初步研究，并对一类常见的歧义问题作了具体分析，同时提出了解决办法。

关 键 词：项重写系统 重叠规则 歧义性 程序规范 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]