重写系统的模块分解

Ｍｉｄｄｅｌｄｏｒｐ和Ｔｏｙａｍａ证明，强加构造原则到项重写系统可获得完备概念的模块性，并且系统分解成的各部分间可共亨函数符号和重量写规则。本文推广他们的结论，当构造性的项重写系统引用定义在其它系统中的函数符号时，完备概念的模块性仍保持。该结论对代数规范和基于项重写的编程语言等方面是很有意义的。

DECOMPOSING REWRITING SYSTEMS INTO MODULES

Middeldorp and Toyama showed that it is sufficient to impose the constructor discipline to term rewriting systems for obtaining the modularity of completeness and a constructor system may be decomposed into parts which possibly share function symbols and rewrite rules in order to infer completeness.This paper generalizes their conclusion.When constructor system refer to some function symbols defined in other systems,modularity of completeness are preserved.This conclusion is useful for algebraic specification and programming languages based on term rewriting.