Ö Ë indispensabile anche poter decidere se una frase Ë giusta o sbagliata senza entrare in ciclo infinito
e ciÚ richiede che líinsieme delle frasi del linguaggio sia ricorsivo (decidibile).
Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |