Boehm - Jacopiniho teorém je ustanovení strukturovaného programování , podle kterého lze jakýkoli spustitelný algoritmus převést do strukturované formy, tedy do takové podoby, kdy je průběh jeho provádění určen pouze pomocí tří řídicích struktur: sekvenční ( anglicky sequence ), větvení (anglický výběr ) a opakování nebo cykly (anglická iterace).
1. V sekvenční struktuře jsou instrukce prováděny v pořadí, v jakém jsou zapsány v programu , tj. jedna po druhé.
2. Ve struktuře větvení závisí posloupnost provádění instrukcí na dané, nejčastěji logické proměnné , podmínce.
3 . V cyklech se příkazy opakují, dokud se nezmění některá podmínka, například hodnota booleovské proměnné.
Větu formulovali a dokázali italští matematici Corrado Böhm a Giuseppe Jacopini ve svém článku z roku 1966 [1] . Článek také popisuje způsoby převodu nestrukturovaných algoritmů na strukturované pomocí programovacího jazyka P′′ vytvořeného firmou Boehm jako příklad .
2 roky po zveřejnění věty publikoval Edsger Dijkstra v roce 1968 článek „Přejít na prohlášení považované za škodlivé“ [2] , ve kterém kritizoval použití operátoru GOTO a vyslovil se pro zlepšení stylu programového kódu prostřednictvím použití řídících struktur a odmítnutí dalších instrukcí, které řídí průběh algoritmu.
Boehm-Jacopiniho strukturální teorém nebyl začátkem strukturálního programování. Tato věta je vědeckým prohlášením, které použil Dijkstra k doložení své myšlenky používat v programech pouze řídicí struktury: sekvenční struktury, větve a smyčky a nic víc [3] .