Función Computable

Una aplicación desde entradas codificadas de manera finita (habitualmente cadenas finitas o números naturales) a salidas para la cual existe un procedimiento finito ejecutable mecánicamente que, para cada entrada válida, se detiene y produce la salida correcta.