Gli Algoritmi

Un algoritmo è una serie di azioni che trasformano un insieme di dati di input in un insieme di dati di output. Lo scopo dell'algoritmo è quindi dare l'output.

Un algoritmo:

• non può essere univoco

• deve usare solo istruzioni specificate in un set predefinito

• deve avere un numero finito di azioni

Un algoritmo può essere di tipo sequenziale, iterativo, condizionale o misto. Ogni programma può essere codificato riferendosi esclusivamente ad un algoritmo costruito mediante le strutture fondamentali (teorema di Bohm-Jacopini).

Un algoritmo si definisce non computabile quando il problema di partenza:

• non è ben definito

• non è descrivibile

• non è calcolabile