%0 Journal Article
%T Dynamic Term Rewriting Calculus<br>动态项重写计算
%A 冯速
%J 计算机科学
%D 2002
%I 
%X 1.引言项重写系统是一种受到广泛研究和应用的形式计算模型。一个项重写系统由一组称为重写规则的定向等式组成。它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致。虽然项重写系统形式简单、计算单纯,但它同时又具有与λ计算及图灵机相同的计算能力。正是它的简洁性及计算能力使它受到广泛的研究和应用:项重写系统为抽象数据类型提供类型、为函数型语言提供操作语义、为定理自动证明提供推理工具。对于项重写系统本身也有大量的研究:如合流性、终止性、等价性等。
%K 动态项重写计算
%K 完备化算法
%K 形式计算模型
%K 元计算
%K 计算机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=73D9068C0E0E3053&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=5D311CA918CA9A03&sid=FC0714F8D2EB605D&eid=F3583C8E78166B9E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=7