結構化程式理論
維基百科,自由的 encyclopedia
結構化程式理論也稱為伯姆-賈可皮尼理論或Böhm-Jacopini理論[1][2],是一項程式語言研究的結果,說明只要一種程式語言可以依三個方式組合其子程式及調整控制流程,每個可計算函式都可以用此種程式語言來表示。三個調整控制流程的方式為
- 執行一個子程式,然後執行下一個(順序)
- 依照布林變數的結果,決定執行二段子程式中的一段(選擇)
- 重覆執行某子程式,直到特定布林變數為真為止(迴圈)
符合上述條件的結構圖需要額外的位元變數(在原始證明中放在額外的整數變數中),以紀錄原來程式執行到的位置,此種建構法是以伯姆的程式語言P′′(英語:P′′)為基礎。