| 摘要: |
| 重写系统是一种一般的计算模型．重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义，而重叠规则导致的歧义性是使归约过程复杂化的重要原因．本文对重写系统的歧义性进行了初步研究，并对一类常见的歧义问题作了具体分析，同时提出了解决办法． |
| 关键词: 项重写系统，归约策略，重叠规则，歧义性． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家86高科技项目基金资助. |
|
| OVERLAPPING RULES AND AMBIGUITIES |
|
Lu Chaojun,Sun Yongqiang,Lin Kai
|
| Abstract: |
| Term rewriting systems are a general model of computation．The normaliza-tion property of a reduction strategy for TRS's plays an important role in the application of TRS's，and overlapping rules and other types of ambiguities complicates reduction strate-gies greatly．This paper deals with these ambiguities in general and proposes art approach to a general class of problems involving ambiguities． |
| Key words: Term rewriting systems,reduction strategy,overlapping rules,ambiguities． |
