TEOREMA DI JACOPINI-BÖHM
Le strutture di concatenazione, iterazione e selezione costituiscono un insieme completo in grado di esprimere tutte le funzioni calcolabili.
Dunque, l’uso di queste sole strutture di controllo non limita il potere espressivo.
La dimostrazione del teorema è basata sulla Turing-equivalenza di un “mini-linguaggio” che fornisca solo tali strutture di controllo.