结构化程序理论

结构化程序理论也称为伯姆-贾可皮尼理论或Böhm-Jacopini理论，是一项编程语言研究的结果，说明只要一种编程语言可以依三个方式组合其子程序及调整控制流程，每个可计算函数都可以用此种编程语言来表示。