基于Gdel配数的程序结构研究

作     者：洪龙 李爱群 朱梧槚 HONG Long;LI Ai-qun;ZHU Wu-jia

作者机构：南京邮电大学计算机学院江苏南京210003 南京航空航天大学信息科学与技术学院江苏南京210016 

基　　金：国家"九七三"重点基础研究发展规划项目(G1999032701) 国家自然科学基金(60273037)资助项目 

出 版 物：《南京邮电学院学报（自然科学版）》 (Journal of Nanjing University of Posts and Telecommunications)

年 卷 期：2005年第25卷第6期

页      码：45-48页

摘      要：用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。

主 题 词：Goedel配数 同构程序 指令集 可数 结构化程序设计 

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

D　O　I：10.3969/j.issn.1673-5439.2005.06.010

馆 藏 号：203310737...