| 基于Gödel配数的程序结构研究 |
| |
| 引用本文： | 洪龙,李爱群,朱梧槚.基于Gödel配数的程序结构研究[J].南京邮电大学学报(自然科学版),2005,25(6):45-48. |
| |
| 作者姓名： | 洪龙 李爱群 朱梧槚 |
| |
| 作者单位： | 洪龙（南京邮电大学,计算机学院,江苏,南京,210003;南京航空航天大学,信息科学与技术学院,江苏,南京,210016）;李爱群（南京邮电大学,计算机学院,江苏,南京,210003）;朱梧槚（南京航空航天大学,信息科学与技术学院,江苏,南京,210016） |
| |
| 基金项目： | 国家"九七三"重点基础研究发展规划项目(G1999032701),国家自然科学基金(60273037)资助项目 |
| |
| 摘 要： | 用自然数研究程序结构的特点是文章的写作目的.在提出同构程序概念和程序Gödel数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构Gödel数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件.讨论的结果表明用Gödel配数研究程序设计理论是一种行之有效的方法.最后,提出了进一步研究的目标.
|
| 关 键 词： | Gö del配数 同构程序 指令集 可数 结构化程序设计 |
| 文章编号： | 1000-1972(2005)06-0045-04 |
| 修稿时间： | 2005年3月14日 |
Applying Gödel
Numbering to Research on Program Structures |
| |
| HONG Long.Applying Gödel
Numbering to Research on Program Structures[J].Journal of Nanjing University of Posts and Telecommunications,2005,25(6):45-48. |
| |
| Authors: | HONG Long |
| |
| Abstract: | |
| |
| Keywords: | |
|
|
