- 1. 重写系统: Term Rewriting System
3 重写系统简介 重写系统( Term Rewriting System) 定义为一个二元组 〈R , S〉, 其中 S 代表项的集合, R 代表形如l →r 的重写规则集 合, 其中 l 和 r 是S 中的项, 可称为规则的左...
dict.youdao.com - 2. 条件项重写系统: conditional term rewriting system
dict.youdao.com - 3. 字符串重写系统: String rewriting system
dict.youdao.com - 4. 项重写系统排序: ordering for term-rewriting system
dict.youdao.com - 5. 网重写系统: net rewriting systems
dict.youdao.com - 6. 字符重写系统: String rewriting system
dict.youdao.com - 7. 图形重写系统: graph rewriting system
dict.youdao.com - 8. 改进的网重写系统: Improved net rewriting system
dict.youdao.com
有道词典