結構化程式理論 結構化程式理論也稱為伯姆贾可皮尼理論或BöhmJacopini理論是一項程式語言研究的結果說明只要一種程式語言可以依三個方式組合其子程式及調整控制流程每個可计算函数都可以用此種程式語言來表示三個調整控制流程的方式為 執行一個子程式然後執行下一個顺序 依照布尔變數的結果決定執行二段子程式中的一段選擇 重覆執行某子程式直到特定布尔變數為真為止循环 符合上述條件的結構圖需要額外的位元變數在原始證明中放在額外的整數變數中以紀錄原來程式執行到的位置此種建構法是以伯姆的程式語言P英语P為基礎