|
|||||
|
|
| 重写系统中的显式归纳方法 | |
| 引用本文： | 宋国新,邵志清.重写系统中的显式归纳方法[J].医学教育探索,1996(1):68-72. |
| 作者姓名： | 宋国新 邵志清 |
| 作者单位： | 华东理工大学计算机科学与工程系 |
| 摘 要： | 提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统，实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。 |
| 关 键 词： | 归纳定理 重写系统 等式系统 显式归纳 K－B算法 |
Explicit Induction in Rewriting Systems |
|
| Song Guoxin and Shao Zhiqinq.Explicit Induction in Rewriting Systems[J].Researches in Medical Education,1996(1):68-72. | |
| Authors: | Song Guoxin and Shao Zhiqinq |
| Abstract: | In this paper,an explicit induction method in rewriting systems is proposed, and a new algorithm based on it is designed to prove inductive theorems of equational systems.Experimental results show that,compared with the inductionless induction approach,the new proof systems is simpler and possesses several more intuitive characters. |
| Keywords: | inductive theorems rewriting systems equational systems Knuth-Bendix algorithm equational theorems |
| 点击此处可从《医学教育探索》浏览原始摘要信息 | |
| 点击此处可从《医学教育探索》下载免费的PDF全文 | |