结构化程序理论是程序设计语言理论的一个结果。他是说所有可计算函数都可以用三种方式组合子程序来实现。这三种控制结构是
1:序列,执行一个子程序,然后执行另外一个子程序。
2:分支,通过布尔变量的值选择执行两个程序中的某一个。
3:重复,不断执行一个子程序,知道某个变量的值为true.
计算机科学家大都认为这个理论是Corrado Böhm和 Giuseppe Jacopini 1966年的一篇论文中提出的。不过,David Harel认为这来源于1946年的冯诺依曼结构,和Stephen Kleene的一般形式理论。
1:序列,执行一个子程序,然后执行另外一个子程序。
2:分支,通过布尔变量的值选择执行两个程序中的某一个。
3:重复,不断执行一个子程序,知道某个变量的值为true.
计算机科学家大都认为这个理论是Corrado Böhm和 Giuseppe Jacopini 1966年的一篇论文中提出的。不过,David Harel认为这来源于1946年的冯诺依曼结构,和Stephen Kleene的一般形式理论。