結構化程式理論
Sign in to saveAlso known as Böhm-Jacopini theorem, Dijkstra's theorem
theorem that a class of control flow graphs can compute any computable function if it combines subprograms only through sequence, selection, and iteration
Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
- Named after
- Edsger W. Dijkstra
Show 3 more facts
- time of discovery or invention
- 1966-00-00
- discoverer or inventor
- Corrado Böhm
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · 中文
結構化程式理論也稱為伯姆-贾可皮尼理論或Böhm-Jacopini理論，是一項程式語言研究的結果，說明只要一種程式語言可以依三個方式組合其子程式及調整控制流程，每個可计算函数都可以用此種程式語言來表示。三個調整控制流程的方式為 1. * 執行一個子程式，然後執行下一個（顺序） 2. * 依照布尔變數的結果，決定執行二段子程式中的一段（選擇） 3. * 重覆執行某子程式，直到特定布尔變數為真為止（循环） 符合上述條件的結構圖需要額外的位元變數（在原始證明中放在額外的整數變數中），以紀錄原來程式執行到的位置，此種建構法是以伯姆的程式語言為基礎。
Abstract from DBpedia / Wikipedia · CC BY-SA