有序环（域）下的程序计算与BSS机器计算

１９８９年Ｂｌｕｍ，Ｓｈｂｕ与Ｓｍａｌｅ提出了在实数域上的一个计算模型，ＢＳＳ机器计算模型主要是基于有赂图的，它很直观但没有形式化，不方便使用经典的离散计算理论中的许多成熟的工具，本文从程序设计系统出发，提出一种在任意有序与的自然的程序设计设计语言，严格定义了它的语法与语义，研究了它与

PROGRAMMING COMPUTATION AND BSS-MACHINE COMPUTATION OVER ORDERED RINGS AND FIELDS

In 1989 Blum, Shub and Smale introduced a model for computations over the real numbeds (and other rings as well) which is now usually called a BSS machine. The important difference with the Turing model is that real numbers are treated as basic entities and that arithmetic operations on the reals are performed in a single step. In the paper, we propose a programming version of the Blum-ShubSmale machine model of computation over the real numbers. The programming model for machines and computation over the real numbers is called Turing-BSS programming computation, which is equated to Blum-Shub-Smale's theory of computation over the real numbers.