摘要: 在某机上有六条指令用来控制循环和子程序的进出〔1〕,即604(#ZC),606(#FC),620(〔),622(〕),624(#SK)和626(#SG)。这些指令使用两个站和若干个寄存器,可以解决循环和子程序的非常出口(即不经由循环关门和返回指令而跳出)问题。这些寄存器和站之间信息传递的关系相当精微复杂,为了解和使用有关指令,直觉的观念是必不可少的;但以往的经验表明,对一定复杂程度的程序,其正确性问题只靠直觉往往是靠不住的。本文的目的就是要解决某机子程序和循环程序结构的正确性问题。文章分为七节,§1叙述六条指令的操作内容;§2定义循环的程序结构和有关规定;§3叙述有关寄存器、站和指令的直观含意;§4是本文的主要结果,即所述程序结构正确性的证明;§5定义子程序的结构;§6通过把子程序视为循环的特殊情形,而最后得到统一的结论;§7讨论了两个有关问题。只关心结论而对方法无兴趣的读者,无须读§4的证明和§7。但需要指出的是,文中的方法似是从事计算机功能设计和软件工作者应掌握的方法,这也是作者写本文的原因之一。