controllo, schema di

controllo, schema di

controllo, schema di espressione che indica gli schemi costruttivi che sono alla base degli algoritmi. Ogni algoritmo, infatti, può essere costruito utilizzando delle strutture di aggregazione delle istruzioni, che controllano il fluire dei dati fino a giungere al risultato. Queste strutture sono, per esempio:

• la sequenza di istruzioni, la cui espressione è:

• il go to che indica il rinvio all’esecuzione di un’istruzione specificata;

• l’alternativa tra due possibili percorsi, la cui espressione è:

se (condizione) allora (istruzioni a)

altrimenti (istruzioni b)

• l’iterazione, cioè un’espressione che si basa su un ciclo, come per esempio il ciclo while che ha la forma seguente:

• altri tipi di ciclo quali il ciclo per ... da ... fino a ... fai e il ciclo ripeti ... finché ... (→ ciclo).

Il teorema di → Böhm-Jacopini stabilisce che ogni algoritmo può essere scritto utilizzando unicamente tre schemi di controllo: sequenza, alternativa e ciclo; questi tre schemi sono alla base della programmazione strutturata. Dato che, secondo la tesi di → Church, ogni procedura algoritmica ha un corrispettivo teorico nell’insieme delle funzioni ricorsive, si ha una corrispondenza fra gli schemi di controllo e gli schemi teorici di costruzione delle funzioni ricorsive.