基于G(o)del配数的程序结构研究

• 作者: 朱梧槚 李爱群 洪龙
• 来源期刊: 南京邮电学院学报
• 学科: 工学
• 关键词: G(o)del配数 同构程序 指令集 可数 结构化程序设计
• 年，卷（期）: 2005,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 45-48
• 页数: 4页
• 分类号: TP301
• 字数: 3320字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5439.2005.06.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱梧槚	南京航空航天大学信息科学与技术学院	40	363	8.0	18.0
2	李爱群	南京邮电大学计算机学院	11	59	4.0	7.0
3	洪龙	南京邮电大学计算机学院	36	368	9.0	18.0