3 重写系统简介 重写系统( Term Rewriting System) 定义为一个二元组 〈R , S〉, 其中 S 代表项的集合, R 代表形如l →r 的重写规则集 合, 其中 l 和 r 是S 中的项, 可称为规则的左...
基于16个网页-相关网页
conditional term rewriting system [计] 条件项重写系统
ordering for term-rewriting system [计] 项重写系统排序
regular term rewriting system 正则重写系统
dependence term rewriting system 依赖项重写系统
These results can direct the implementing of term rewriting system by graph rewriting system.
以上结果能够用于指导项重写的图实现。
In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.
本文着重研究重写系统的合流性，通过引入符号测度的概念，本文定义了半正则重写系统，并证明了半正则重写系统的合流性。
应用推荐