Teorema di Jacopini-Bohm

Per costruire un programma sono necessari 3 soli blocchi:

1. blocco di elaborazione
   è assimilabile ad una sola istruzione o un solo blocco con un ingresso e una uscita;
   
   
2. meccanismo di ripetizione (o iterazione o loop)
   
   
3. meccanismo di decisione binaria (o condizionale)
   
   
• All'interno di ogni blocco si nasconde un ciclo o una biforcazione;
  
  
• Il programma risulta quindi composto da una sequenza di blocchi, senza controlli di flusso.