| 半正则重写系统及其合流性 |
| |
| 引用本文： | 林凯,孙永强.半正则重写系统及其合流性[J].软件学报,1992,3(4):1-11. |
| |
| 作者姓名： | 林凯 孙永强 |
| |
| 作者单位： | 上海交通大学计算机系; 上海交通大学计算机系 上海 200030;上海交通大学计算机系; 上海交通大学计算机系 上海 |
| |
| 摘 要： | 本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。
|
| 关 键 词： | 半正则 重写系统 合流性 |
| 收稿时间： | 1990/5/12 0:00:00 |
| 修稿时间： | 1990/10/24 0:00:00 |
SEMIREGULAR TERM REWRITING SYSTEM AND ITS CONFLUENCE |
| |
| Lin Kai and Sun Yongqiang.SEMIREGULAR TERM REWRITING SYSTEM AND ITS CONFLUENCE[J].Journal of Software,1992,3(4):1-11. |
| |
| Authors: | Lin Kai and Sun Yongqiang |
| |
| Abstract: | In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
