| 代数规范的可计算实现 |
| |
| 引用本文： | 李中华,李玉茜.代数规范的可计算实现[J].上海师范大学学报(自然科学版),1991(1). |
| |
| 作者姓名： | 李中华 李玉茜 |
| |
| 作者单位： | 华东师范大学计算机科学系，华东师范大学计算机科学系 |
| |
| 摘 要： | 本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述。在该定理的基础上,可进一步讨论可计算实现的性质.
|
| 关 键 词： | 代数规范 抽象实现 部分递归函数 可计算实现 |
Computable Implementations of Algebraic Specifications |
| |
| LI ZHONGHUA LI YUQIAN.Computable Implementations of Algebraic Specifications[J].Journal of Shanghai Normal University(Natural Sciences),1991(1). |
| |
| Authors: | LI ZHONGHUA LI YUQIAN |
| |
| Institution: | Department of Computer science |
| |
| Abstract: | This paper presents the definition of computable implementation of algebraic s pecification,and shows the theorem that every computable implementation can be formally specified by a special 3-tuple.On the basis of the theorem,we can further discuss other properties of computable implementation. |
| |
| Keywords: | algebraic specification abstract implementation partial recursive function computable implementation |
| 本文献已被 CNKI 等数据库收录！ |
