基于Gdel配数的程序结构研究 |
| |
引用本文: | 洪龙,李爱群,朱梧槚.基于Gdel配数的程序结构研究[J].南京邮电大学学报(自然科学版),2005(6). |
| |
作者姓名: | 洪龙 李爱群 朱梧槚 |
| |
作者单位: | 南京邮电大学计算机学院 江苏南京210003南京航空航天大学信息科学与技术学院江苏南京210016(洪龙),南京邮电大学计算机学院 江苏南京210003(李爱群),南京航空航天大学信息科学与技术学院 江苏南京210016(朱梧槚) |
| |
基金项目: | 国家“九七三”重点基础研究发展规划项目(G1999032701),国家自然科学基金(60273037)资助项目 |
| |
摘 要: | 用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。
|
关 键 词: | Gdel配数 同构程序 指令集 可数 结构化程序设计 |
本文献已被 CNKI 等数据库收录! |
|