度量部分代数上的抽象与具体计算
Abstract versus Concrete Computation on Metric Partial Algebras
摘要：
一个计算模型是抽象的，如果当应用于任何代数时，该代数上的可计算函数和集合的结果程序在同构下是不变的，因此不依赖于代数的表示。否则就是具体的。直观地说，具体的模型依赖于代数的实现。在拓扑部分代数的情况下，特别是在实数上的代数中，这种差别尤为显著。研究了部分度量代数的抽象模型和具体模型之间的关系。在这个调查过程中，有趣的方面的连续性，外延性和非决定论被发现。
英文摘要：
A model of computation is abstract if, when applied to any algebra, the resulting programs for computable functions and sets on that algebra are invariant under isomorphisms, and hence do not depend on a representation for the algebra. Otherwise it is concrete. Intuitively, concrete models depend on the implementation of the algebra. The difference is particularly striking in the case of topological partial algebras, and notably in algebras over the reals. We investigate the relationship between abstract and concrete models of partial metric algebras. In the course of this investigation, interesting aspects of continuity, extensionality and non-determinism are uncovered.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
