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

Applying Gdel Numbering to Research on Program Structures

作　　者：洪龙[1] 李爱群[1] 朱梧槚[2] 

机构地区：[1]南京邮电大学计算机学院,江苏南京210003 [2]南京航空航天大学信息科学与技术学院,江苏南京210016

出　　处：《南京邮电学院学报（自然科学版）》2005年第6期45-48,共4页Journal of Nanjing University of Posts and Telecommunications

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

摘　　要：用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。The aim of this paper is to dig out properties in program structures via natural numbers. With both concepts of homogeneous program and Goedel number of program being established, the countable of homogeneous program was proved and the relations between static homogeneous program and dynamic homogeneous program were discussed. Using the concepts program product presented in this paper, some general program structures based on structured programming are defined; their features were discussed in detailed and thus that loop and subroutine are all special types of branch structure was indicated. In addition, employing the relations between two Goedel numbers of static structure and dynamic structure in the same program and two program products of them, the conditions of possessing structures of loop and subroutine in programs were found. The results discussed in the paper demonstrate researching programming methodology with Goedel numbering is effective. Finally, the further research direction was also pointed out.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]