Boehm - Jacopini -lause on strukturoidun ohjelmoinnin säännös , jonka mukaan mikä tahansa suoritettava algoritmi voidaan muuntaa strukturoituun muotoon, toisin sanoen sellaiseen muotoon, jossa sen suorituksen kulku määräytyy vain kolmen ohjausrakenteen avulla: peräkkäinen ( englanninkielinen sekvenssi ), haarautuminen (englanninkielinen valinta) ja toistot tai jaksot (englanninkielinen iteraatio).
1. Jaksottaisessa rakenteessa käskyt suoritetaan siinä järjestyksessä kuin ne on kirjoitettu ohjelmaan , eli peräkkäin .
2. Haaroittumisrakenteessa käskyjen suoritusjärjestys riippuu tietystä, useimmiten loogisesta muuttujasta , ehdosta.
3 . Silmukoissa lauseita toistetaan, kunnes jokin ehto muuttuu, kuten loogisen muuttujan arvo.
Lauseen muotoili ja todisti italialaiset matemaatikot Corrado Böhm ja Giuseppe Jacopini vuoden 1966 artikkelissaan [1] . Artikkelissa kuvattiin myös menetelmiä strukturoimattomien algoritmien muuntamiseksi strukturoiduiksi käyttämällä esimerkkinä Boehmin luomaa P′′- ohjelmointikieltä .
2 vuotta lauseen julkaisemisen jälkeen Edsger Dijkstra julkaisi vuonna 1968 artikkelin "Siirry haitallisena pidettävään lausuntoon" [2] , jossa hän kritisoi GOTO -operaattorin käyttöä ja puhui ohjelmakoodin tyylin parantamisen puolesta. ohjausrakenteiden käyttö ja muiden algoritmin kulkua ohjaavien käskyjen hylkääminen.
Boehm-Jacopinin rakennelause ei ollut rakenneohjelmoinnin alku. Tämä teoreema on tieteellinen lausunto, jota Dijkstra käytti perustelemaan ajatustaan vain ohjausrakenteiden käyttämisestä ohjelmissa: peräkkäisiä rakenteita, haaroja ja silmukoita, eikä mitään muuta [3] .