La risoluzione dei problemi con l’ausilio dei computer è un processo che richiede l’esecuzione di un insieme di istruzioni esplicite e non ambigue, detto algoritmo.
Un algoritmo può essere rappresentato in modi diversi:
a) con un linguaggio testuale, che può essere di vari tipi:
– linguaggio di programmazione (Pascal, Java, C++, etc.);
– linguaggio naturale (inglese, italiano);
– pseudocodice (descrive a parole il compito svolto dall’algoritmo)
b) con un linguaggio grafico (schema di flusso – Flow Chart), costituito da simboli grafici che rappresentano entità logiche diverse in relazione alla forma e consentono di rappresentare le azioni mediante composizione dei vari simboli secondo i differenti modelli logici.
Gli schemi di composizione si suddividono in tre tipi:
- Sequenza : le istruzioni sono eseguite secondo l’ordine in cui sono scritte;
- Selezione o Condizione : esiste una condizione da valutare e due possibili gruppi di istruzioni da eseguire; in funzione del valore della condizione, si sceglie un blocco oppure l’altro;
- Iterazione : consente la ripetizione di un blocco di istruzioni, per un certo numero di volte, definito a seconda dell’obiettivo da raggiungere.
Teorema di Böhm-Jacopini
Il teorema di Böhm-Jacopini, enunciato nel 1966 da due informatici italiani dai quale prende il nome, afferma che:
“qualunque algoritmo può essere implementato utilizzando tre sole strutture, la sequenza, la selezione e il ciclo, da applicare ricorsivamente alla composizione di istruzioni elementari“.