程式理论也称为伯姆-贾可皮尼理论或Böhm-Jacopini理论，是一项程式语言研究的结果，说明只要一种程式语言可以依三个方式组合其子程式及调整控制流程，每个可计算函数都可以用此种程式语言来表示。三个调整控制流程的方式为符合上述条件的结构图需要额外的位元变数（在原始证明中放在额外的整数变数中），以纪录原来程式执行到的位置，此种建构法是以伯姆的程式语言为基础。
起源及变体.一般认为此理论最早是在1966年及朱塞佩·贾可皮尼（Giuseppe Jacopini）的论文中提出。在19