computabile

computabile

computabile aggettivo che fa riferimento all’esistenza di una procedura algoritmica che permetta di determinare, in un numero finito di passi, il valore di una data operazione. Per esempio, si parla di funzione calcolabile o computabile se è possibile stabilire, per mezzo di un procedimento deterministico e finito, il valore della funzione per ogni argomento che appartenga al suo dominio di definizione (→ calcolabilità).