Teorema di Boehm Jacopini

[laber]

Usando solo le strutture di controllo del tipo sequenza, selezione e iterazione siamo in grado di costruire qualunque algoritmo?
Il teorema di Boehm Jacopini risponde a questa domanda, dimostrando che è sempre possibile trasformare un diagramma non strutturato in un diagramma strutturato.

Enunciato del teorema

Dato un algoritmo costruito con un flow-chart qualsiasi è sempre possibile costruire un altro flow-chart, equivalente al primo, composto esclusivamente con regole di sequenza, selezione, iterazione. Un programma strutturato è più chiaro, più facile da leggere, più facile da testare, correggere e modificare.