抽象可计算性、代数规范及其初始性
计算机科学中的逻辑
2007-05-23 v1
摘要
通过抽象有限确定性算法在多谱 algebra 上定义可计算函数。我们证明存在有限普遍代数规范，能够唯一指定（最高同构意义下）（i）任何多谇代数上所有抽象可计算函数；以及（ii）任何度量代数上由抽象可计算函数有效逼近的所有函数。我们证明存在针对实数集 R 上所有经典可计算函数的普遍代数规范。所用的代数规范主要是有界普遍方程和条件方程。我们研究这些规范的初始代数语义，并推导出代数规范恰好定义可计算函数的情形。
引用
@article{arxiv.cs/0109001,
title = {Abstract Computability, Algebraic Specification and Initiality},
author = {J. V. Tucker and J. I. Zucker},
journal= {arXiv preprint arXiv:cs/0109001},
year = {2007}
}
备注
To appear in ACM Transactions on Computational Logic (57 pages; AMSTeX)