computazione

computazione

computazione procedimento di calcolo completamente specificato, cioè composto da un numero finito di operazioni elementari o a loro volta scomponibili in operazioni elementari. La computazione di una funzione, cioè il calcolo del suo valore in corrispondenza di particolari valori in ingresso, è effettuata attraverso un algoritmo espresso in un determinato linguaggio formale. La teoria della computazione definisce le caratteristiche che devono avere gli algoritmi e i linguaggi in cui essi sono espressi (→ calcolabilità).