procedura computazionale ben definita che assume come input un valore o un insieme di valori e, dopo una sequenza limitata di fasi computazionali, produce un output costituito da un valore o un insieme di valori