結構化程式理論

結構化程式理論也稱爲伯姆 - 賈可皮尼理論或Böhm - Jacopini理論 ， 是一項程式語言研究的結果 ， 說明只要一種程式語言可以依三個方式組合其子程式及調整控制流程 ， 每個可計算函數都可以用此種程式語言來表示 。 三個調整控制流程的方式爲 執行一個子程式 ， 然後執行下一個 （ 順序 ） 依照布爾變數的結果 ， 決定執行二段子程式中的一段 （ 選擇 ） 重複執行某子程式 ， 直到特定布爾變數爲真爲止 （ 循環 ） 符合上述條件的結構圖需要額外的位元變數 （ 在原始證明中放在額外的整數變數中 ） ， 以紀錄原來程式執行到的位置 ， 此種建構法是以伯姆的程式語言爲基礎 。