QUALCHE DEFINIZIONE
FUNZIONE COMPUTABILE
Una funzione f: AÆB per la quale esiste una Macchina di Turing che
data sul nastro una rappresentazione di x_A
dopo un numero finito di passi
produce sul nastro una rappresentazione del risultato f(x)_B
Diapositiva precedente
Diapositiva successiva
Torna alla prima diapositiva
Visualizza versione grafica