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

作     者：李祥 

作者机构：贵州大学计算机理论研究所 

基　　金：国家自然科学基金 国家科委863高科技基金 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：1996年第19卷第10期

页      码：735-740页

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

主 题 词：程序设计 BSS 机器计算 程序计算 计算模型 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203547607...