动态项重写计算 |
| |
引用本文: | 冯速.动态项重写计算[J].计算机科学,2002,29(8):13-14. |
| |
作者姓名: | 冯速 |
| |
作者单位: | 北京师范大学信息科学院,北京,100875;中国科学院计算机科学实验室,北京,100080 |
| |
基金项目: | 国家自然科学基金(重点项目)(19931020),教育部留学回国人员科研启动基金 |
| |
摘 要: | 1.引言项重写系统是一种受到广泛研究和应用的形式计算模型。一个项重写系统由一组称为重写规则的定向等式组成。它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致。虽然项重写系统形式简单、计算单纯,但它同时又具有与λ计算及图灵机相同的计算能力。正是它的简洁性及计算能力使它受到广泛的研究和应用:项重写系统为抽象数据类型提供类型、为函数型语言提供操作语义、为定理自动证明提供推理工具。对于项重写系统本身也有大量的研究:如合流性、终止性、等价性等。
|
关 键 词: | 动态项重写计算 完备化算法 形式计算模型 元计算 计算机 |
Dynamic Term Rewriting Calculus |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|