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

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