跳转到内容

结构化程序理论

本页使用了标题或全文手工转换
维基百科,自由的百科全书
3个调整控制流程的方式
3个调整控制流程的方式

结构化程序理论也称为伯姆-贾可皮尼理论Böhm-Jacopini理论[1][2],是一项编程语言研究的结果,说明只要一种编程语言可以依三个方式组合其子程序及调整控制流程,每个可计算函数都可以用此种编程语言来表示。三个调整控制流程的方式为

  1. 执行一个子程序,然后执行下一个(顺序)
  2. 依照布尔变量的结果,决定执行二段子程序中的一段(选择)
  3. 重复执行某子程序,直到特定布尔变量为真为止(循环)

符合上述条件的结构图需要额外的位元变量(在原始证明中放在额外的整数变量中),以纪录原来程序执行到的位置,此种建构法是以伯姆的编程语言P′′英语P′′为基础。

起源及变体

一般认为[3]:381此理论最早是在1966年科拉多·伯姆英语Corrado Böhm朱塞佩·贾可皮尼(Giuseppe Jacopini)的论文中提出[4]大卫·哈雷尔英语David Harel在1980年曾提到这篇论文广受认可,[3]:381尤其在结构化程序理论的支持者中。哈雷尔也提到“由于其论文比较技术的风格,因此较常被引用,较少人真正详读过内容。”[3]:381,在看了1980年以前的大量论文后,哈雷尔认为结构化程序理论被错误诠释为一个结果较简单的大众定理(folk theorem),而此结果可以追溯到冯·诺依曼斯蒂芬·科尔·克莱尼现代计算理论的论文[3]:383

哈雷尔也提到较通用的“结构化程序理论”名称是在1970年代初由哈伦·米尔斯英语Harlan Mills提出[3]:381

单一while循环的大众定理版本

此版本的定理将原来定理中的程控流程改为一个while循环,模拟在原来非结构化的程序中,程序计数器走过所有可能标记(流程图方块)的情形。哈雷尔将此版大众定理的源头追溯到两篇论文,一篇是1946年描述冯·诺伊曼结构,用单一while循环说明程序计数器的运作原理,哈雷尔也注意到大众定理中用到的单一循环基本上可以提供冯·诺伊曼式电脑执行流程的操作语义[3]:383。另一篇更早期的论文则是斯蒂芬·科尔·克莱尼1936年的正规形式定理(Kleene's T predicate)论文[3]:383

高德纳批评这种转换后的结果类似以下的伪代码,重点是在此转换中完全破坏了原程序的结构[5]:274。Bruce Ian Mills也有类似的看法:“块状结构的精神是其风格,不是使用的语言。利用模拟冯·诺伊曼结构的方式,可以将任何一个面条式代码转换为块状结构的语言,但它面条式代码的本质没有改变。”[6]

p := 1;
while p > 0 do begin
  if p = 1 then begin
    進行流程圖的步驟1;
    p := 流程圖的步驟1之後的步驟編號(若沒有後續步驟,數值為0;
  end;
  if p = 2 then begin
    進行流程圖的步驟2;
    p := 流程圖的步驟2之後的步驟編號(若沒有後續步驟,數值為0;
  end;
  ...
  if p = n then begin
    進行流程圖的步驟n;
    p := 流程圖的步驟n之後的步驟編號(若沒有後續步驟,數值為0;
  end;
end.

伯姆及贾可皮尼的证明

伯姆及贾可皮尼的证明是以流桯图的结构归纳法为基础[3]:381,由于用到图模式匹配,其证明在实务上不能当作是程序转换英语program transformation算法,因此开创了此一领域的研究[7]

相关的讨论及研究

因为伯姆及贾可皮尼建构的方式过于复杂,因此此证明没有回答结构化编程是否适用于软件开发的问题,而是引发了后续相关的讨论及争议。在两年之后的1968年,艾兹赫尔·戴克斯特拉就提出著名的“GOTO有害论[8]

有些学者试图使伯姆及贾可皮尼的研究结果更加纯粹,因为其论文中没有用到从循环中间跳出循环的breakreturn指令,因此学者认为这是不好的实现方式,学者们鼓励每一个循环都只能有唯一的结束点,这种设计观点集成到1968至1969年开发的Pascal中。从1969年到1990年代中期,学校常用Pascal来讲授编程语言入门课程[9]

爱德华·尤登注意到1970年代时在有关是否用自动化方式改写非结构化程序一事,有二元对立的观点,反对者认为需要以结构化程序的方式去思考,而非一味改写,而赞成者的论点是这类的修改实际上可以改善大部分已有的程序[10]。最早提出自动化改写程序概念的有1971年Edward Ashcroft及Zohar Manna的论文[11]

直接应用伯姆及贾可皮尼定理可能要引入额外的局部变量,也可能产生代码重复的问题[12],后者也称为loop and a half problem[13]。Pascal受到这些问题的影响,依照埃里克·S·罗伯茨英语Eric S. Roberts的实验研究,学习程式设计的学生难以用Pascal设计正确代码来解决简单的问题,其中甚至包括从数组中找寻一个元素的问题。一篇1980年由Henry Shapiro进行,而后被被罗伯茨引用的研究指出,若只用Pascal提出的流程控制指令,只有20%的人的解答是正确的,但若允许在循环中直接加入return的话,所有人都写出了正确的答案[9]

S. Rao Kosaraju英语S. Rao Kosaraju在1973年证明只要允许可以从任意深度循环中多层次跳出,就可以将程序转换成结构化编程,而不用引入额外的变量[1][14]。而且Kosaraju证明了存在一个严格的程序层次结构(现在称为Kosaraju层次结构),针对任一整数n,存在一个程序,其中包括深度n的多层次跳出,而且在不引入额外变量的条件下,无法用深度小于n的跳出来实现[1]。Kosaraju称这种多层次跳出结构源于BLISS英语BLISS语言。BLISS语言中的多层次跳出形式为leave label,实际上在BLISS-11版本中才引入到BLISS中,原始的BLISS只有单一层次的跳出。BLISS语言家族不提供无限制的跳转指令,Java语言后来也引入类似BLISS语言中的多层次跳出指令[15]:960-965

Kosaraju的论文中有另一个较简单的结论:若程序可以在不用额外变量(及多层次的跳出)下化约为结构化程序,其充份必要条件是程序中没有一个循环有二个或二个以上的结束点。简单来说,此处Kosaraju定义的化约是指用相同的“基本动作”及判断,计算相同的函数,但是可能用不同的控制流程(此处的化约比伯姆及贾可皮尼定理中提及的范围要窄)。受到这个结论的启发,Thomas J. McCabe英语Thomas J. McCabe在他引入循环复杂度的论文中的第四部分,描述了对应非结构化程序控制流图(CFG)的Kuratowski定理英语Kuratowski's theorem。使控制流图变得无法结构化的最小子图是:

  1. 从循环测试以外的地方跳出循环
  2. 直接跳跃到循环中
  3. 直接跳跃到一个判断分支之中
  4. 直接跳出一个判断分支

McCabe发现上述这些子图不是彼此独立的,程序无法结构化的充份必要条件是控制流图中有子图有上述四种条件中的三种(或三种以上)。McCabe也发现若非结构化的程序中包括其中四个条件中的一个,它一定还会包含另一个。这也是非结构化的程序流程会纠结到类似意大利面的原因。McCabe也提供一个量化方式,说明一个程序和理想结构化程序之间的距离,并称其为本质复杂度[16]

到1990年为止,学者们提出许多消除既有程序中跳转指令,但又维持大部分控制架构的方式,也提出许多标示程序等价的方式,这些方式比简单的图灵等价要严格,以免造成类似上述大众定理般的转换结果。这些等价标示的严格程度指定了所需控制流结构的最小集合。1998年Lyle Ramshaw在ACM期刊的论文进行了相关的调查,也提出了自己的方法[17]。Ramshaw的算法也用在Java反编译器中,因为Java虚拟机有分支指令,以位移来表示分支跳转的目标,但高级的Java语言只有多层次的breakcontinue指令[18][19][20]。Ammarguellat在1992年提出一种转换方式,回到强制单一结束点的作法[7]

在Cobol上的应用

1980年代IBM研究员哈伦·米尔斯英语Harlan Mills管理COBOL构建装置(COBOL Structuring Facility)的开发时,将程序的结构化算法应用到COBOL语言中。[21]。米尔斯的转换方式包括以下的步骤。

  1. 找出程序中的基础方块
  2. 将每一个方块的起始点指定不重复的编号,将每个方块的结束点用所连接方块起始点的编号来标示,程序结束点编号指定为0,程序起始点编号指定为1。
  3. 将程序分割为基础方块。
  4. 若某方块的起始点只对应一个方块的结束点,将二个方块合并。
  5. 定义程序中的一个新的变量,假设为L。
  6. 针对其他没有合并的结束点,增加一行指令,将L设置为该结束点的编号。
  7. 将所有基础方块合并成一个选择执行指令,依L的数值执行对应的程序。
  8. 建立一个循环,若L不为0,继续执行循环。
  9. 建立程序,一开始将L设为1,并开始循环。

注:将一些选择分支转变为子程序可以改进所得结果。

相关条目

参考资料

  1. ^ 1.0 1.1 1.2 Dexter Kozen and Wei-Lung Dustin Tseng. The Böhm–Jacopini Theorem Is False, Propositionally (PDF). MPC 2008. [2015-05-21]. doi:10.1007/978-3-540-70594-9_11. (原始内容存档 (PDF)于2021-04-27). 
  2. ^ CSE 111, Fall 2004, BOEHM-JACOPINI THEOREM. Cse.buffalo.edu. 2004-11-22 [2013-08-24]. (原始内容存档于2020-02-07). 
  3. ^ 3.0 3.1 3.2 3.3 3.4 3.5 3.6 3.7 Harel, David. On Folk Theorems (PDF). Communications of the ACM. 1980, 23 (7): 379–389 [2015-05-21]. doi:10.1145/358886.358892. (原始内容存档 (PDF)于2020-11-27). 
  4. ^ Bohm, Corrado; Giuseppe Jacopini. Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules. Communications of the ACM. May 1966, 9 (5): 366–371. doi:10.1145/355592.365646. 
  5. ^ Donald Knuth. Structured Programming with go to Statements. Computing Surveys. 1974, 6 (4): 261–301. doi:10.1145/356635.356640. 
  6. ^ Bruce Ian Mills. Theoretical Introduction to Programming. Springer. 2005: 279. ISBN 978-1-84628-263-8. 
  7. ^ 7.0 7.1 Z. Ammarguellat. A control-flow normalization algorithm and its complexity. IEEE Transactions on Software Engineering. March 1992, 18 (3): 237–251 [2018-04-02]. ISSN 0098-5589. doi:10.1109/32.126773. (原始内容存档于2019-04-06). 
  8. ^ Dijkstra, Edsger. Go To Statement Considered Harmful. Communications of the ACM. 1968, 11 (3): 147–148. doi:10.1145/362929.362947. (原始内容存档于2007-07-03). 
  9. ^ 9.0 9.1 Roberts, E. [1995] “Loop Exits and Structured Programming: Reopening the Debate页面存档备份,存于互联网档案馆),” ACM SIGCSE Bulletin, (27)1: 268–272.
  10. ^ E. N. Yourdon. Classics in Software Engineering. Yourdon Press. 1979: 49–50. ISBN 978-0-917072-14-7. 
  11. ^ Ashcroft, Edward; Zohar Manna. The translation of go to programs to 'while' programs. Proceedings of IFIP Congress. 1971.  The paper, which is difficult to obtain in the original conference proceedings due to their limited distribution, was republished in Yourdon's 1979 book pp. 51-65
  12. ^ David Anthony Watt; William Findlay. Programming language design concepts. John Wiley & Sons. 2004: 228. ISBN 978-0-470-85320-7. 
  13. ^ Kenneth C. Louden; Kenneth A. Lambert. Programming Languages: Principles and Practices 3. Cengage Learning. 2011: 422–423. ISBN 1-111-52941-8. 
  14. ^ KOSARAJU, S. RAO. "Analysis of structured programs," Proc. Fifth Annual ACM Syrup. Theory of Computing, (May 1973), 240-252; also in J. Computer and System Sciences, 9, 3 (December 1974), doi: 10.1016/S0022-0000(74)80043-7 cited by Donald Knuth. Structured Programming with go to Statements. Computing Surveys. 1974, 6 (4): 261–301. doi:10.1145/356635.356640. 
  15. ^ Ronald F. Brender. The BLISS programming language: a history. Software: Practice and Experience. 2002-08-01, 32 (10): 955–981 [2018-04-02]. ISSN 1097-024X. doi:10.1002/spe.470 (英语). 
  16. ^ The original paper is Thomas J. McCabe. A Complexity Measure. IEEE Transactions on Software Engineering. December 1976: 315–318.  For a secondary exposition see Paul C. Jorgensen. Software Testing: A Craftsman's Approach, Second Edition 2nd. CRC Press. 2002: 150–153 [2015-06-01]. ISBN 978-0-8493-0809-3. (原始内容存档于2015-04-28). 
  17. ^ Lyle Ramshaw. Eliminating go to's while preserving program structure. Journal of the ACM (JACM). 1988-10-01, 35 (4): 893–920 [2018-04-02]. ISSN 0004-5411. doi:10.1145/48014.48021. 
  18. ^ Godfrey Nolan. Decompiling Java. Apress. 2004: 142. ISBN 978-1-4302-0739-9. 
  19. ^ 存档副本 (PDF). [2015-06-02]. (原始内容存档 (PDF)于2016-03-04). 
  20. ^ 存档副本 (PDF). [2015-06-02]. (原始内容存档 (PDF)于2016-03-03). 
  21. ^ 存档副本. [2015-06-04]. (原始内容存档于2020-07-10).