| 重叠规则与歧义性* |
| |
| 引用本文： | 陆朝俊,孙永强,林凯.重叠规则与歧义性*[J].软件学报,1996,7(Z1):134-139. |
| |
| 作者姓名： | 陆朝俊 孙永强 林凯 |
| |
| 作者单位： | 上海交通大学计算机系上海 200030;上海交通大学计算机系上海 200030;上海交通大学计算机系上海 200030 |
| |
| 基金项目： | 本文研究得到国家86高科技项目基金资助. |
| |
| 摘 要： | 重写系统是一种一般的计算模型．重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义，而重叠规则导致的歧义性是使归约过程复杂化的重要原因．本文对重写系统的歧义性进行了初步研究，并对一类常见的歧义问题作了具体分析，同时提出了解决办法．
|
| 关 键 词： | 项重写系统，归约策略，重叠规则，歧义性． |
| 收稿时间： | 5/2/1995 12:00:00 AM |
OVERLAPPING RULES AND AMBIGUITIES |
| |
| Lu Chaojun,Sun Yongqiang and Lin Kai.OVERLAPPING RULES AND AMBIGUITIES[J].Journal of Software,1996,7(Z1):134-139. |
| |
| Authors: | Lu Chaojun Sun Yongqiang and Lin Kai |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
