结构化程式理论
维基百科,自由的 encyclopedia
结构化程式理论也称为伯姆-贾可皮尼理论或Böhm-Jacopini理论[1][2],是一项程式语言研究的结果,说明只要一种程式语言可以依三个方式组合其子程式及调整控制流程,每个可计算函数都可以用此种程式语言来表示。三个调整控制流程的方式为
- 执行一个子程式,然后执行下一个(顺序)
- 依照布尔变数的结果,决定执行二段子程式中的一段(选择)
- 重复执行某子程式,直到特定布尔变数为真为止(循环)
符合上述条件的结构图需要额外的位元变数(在原始证明中放在额外的整数变数中),以纪录原来程式执行到的位置,此种建构法是以伯姆的程式语言P′′(英语:P′′)为基础。