结构化程序理论

结构化程序理论是程序设计语言理论的一个结果。他是说所有可计算函数都可以用三种方式组合子程序来实现。这三种控制结构是
1：序列，执行一个子程序，然后执行另外一个子程序。
2：分支，通过布尔变量的值选择执行两个程序中的某一个。
3：重复，不断执行一个子程序，知道某个变量的值为true.

计算机科学家大都认为这个理论是Corrado Böhm和 Giuseppe Jacopini 1966年的一篇论文中提出的。不过，David Harel认为这来源于1946年的冯诺依曼结构，和Stephen Kleene的一般形式理论。