|
|||||
|
|
| 项重写系统弱基终止性的归纳证明 | |
| 引用本文： | 冯速.项重写系统弱基终止性的归纳证明[J].计算机科学,2001,28(7):105-108. |
| 作者姓名： | 冯速 |
| 作者单位： | 北京师范大学计算机系, |
| 基金项目： | 国家自然科学基金(重点项目)(19931020) |
| 摘 要： | 1.引言项重写系统是一种受到广泛研究和应用的形式计算模型。一个项重写系统由一组称为重写规则的定向等式组成。例如,下面的R是一个由五个重写规则组成的、定义用({0,s})表示的自然数集N上的两倍函数d(x)=2×n:N→N的项重写系统: |
| 关 键 词： | 项重写系统 弱基终止性 归纳证明 |
An Inductive Proving Method for Weakly Ground Termination of Term Rewriting Systems |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |