抽象可计算性、代数规范和初始性
摘要：计算可判定函数是在多排序代数上由抽象有限确定性算法定义的。我们展示了存在有限的通用代数规范，可以唯一地规定（同构性）（i）在任何多排序代数上的所有抽象可计算函数；和（ii）在任何度量代数上通过抽象可计算函数有效逼近的所有函数。 我们展示了关于实数集R上的所有传统可计算函数存在通用代数规范。所使用的代数规范主要是有界的通用方程和条件方程。我们研究了这些规范的初始代数语义，并得出了规范恰好定义计算可判定函数的情况。
作者：J.V. Tucker (University of Wales, Swansea) and J.I. Zucker (McMaster University, Hamilton, Canada)
论文ID：cs/0109001
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23