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