![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/b/b6/Structured_program_theorem_zh.svg/langzh-cn-640px-Structured_program_theorem_zh.svg.png&w=640&q=50)
结构化程序理论
维基百科,自由的 encyclopedia
结构化程序理论也称为伯姆-贾可皮尼理论或Böhm-Jacopini理论[1][2],是一项编程语言研究的结果,说明只要一种编程语言可以依三个方式组合其子程序及调整控制流程,每个可计算函数都可以用此种编程语言来表示。三个调整控制流程的方式为
- 执行一个子程序,然后执行下一个(顺序)
- 依照布尔变量的结果,决定执行二段子程序中的一段(选择)
- 重复执行某子程序,直到特定布尔变量为真为止(循环)
![3个调整控制流程的方式](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b6/Structured_program_theorem_zh.svg/640px-Structured_program_theorem_zh.svg.png)
符合上述条件的结构图需要额外的比特变量(在原始证明中放在额外的整数变量中),以纪录原来程序执行到的位置,此种建构法是以伯姆的编程语言P′′(英语:P′′)为基础。