重写系统中的显式归纳方法
Explicit Induction in Rewriting Systems
-
摘要: 提出了重写系统中的显式归纳方法,设计了一个新的归纳定理证明系统,实例表明,显式归纳方法要比无归纳的归纳方法来得简单直观。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.