基于项重写的形式化排序方法及应用

摘要：

构建一个基于项重写理论的向量序,该序具有替换、组合封闭等性质,在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的几个形式化排序方法;并给出向量序在信息安全领域中的应用,即解决异或操作等价合一问题的实现算法,该算法分析合一的所有条件,并在合一成功时输出合一解.

关键词：计算机理论、形式化、项重写、等价合一

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：国家高技术研究发展计划"863"计划基金资助项目2007AA01ZA71

在线出版日期：2011-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：138-142