結構化程式理論

维基百科，自由的百科全书
跳转至： 导航、 搜索

結構化程式理論是一項程式語言研究的結果，說明只要一種程式語言可以依三個方式組合其子程式及調整控制流程，每個可计算函数都可以用此種程式語言來表示。三個調整控制流程的方式為

  1. 執行一個子程式，然後執行下一個（循序）
  2. 依照布尔變數的結果，決定執行二段子程式中的一段（選擇）
  3. 重覆執行某子程式，直到特定布尔變數為真為止（重覆）

相關條目 [编辑]

參考資料 [编辑]

  • Ashcroft, Edward; and Zohar Manna. The translation of go to programs to 'while' programs. Proceedings of IFIP Congress. 1971. 
  • Bohm, Corrado; and Giuseppe Jacopini. Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules. Communications of the ACM. May 1966, 9 (5): 366–371. doi:10.1145/355592.365646. 
  • Harel, David. On Folk Theorems. Communications of the ACM. 1980, 23 (7): 379–389. doi:10.1145/358886.358892. 
  • Dijkstra, Edsger. Go To Statement Considered Harmful. Communications of the ACM. 1968, 11 (3): 147–148. doi:10.1145/362929.362947.  http://www.acm.org/classics/oct95/
LampFlowchart.svg 結構化程式理論是一個與電腦科學相關的小作品。你可以通过編輯或修訂擴充其內容。
来自“http://zh.wikipedia.org/w/index.php?title=結構化程式理論&oldid=25583988”