Non ci basta che líinsieme delle frasi sia ricorsivamente enumerabile, cioË possa essere generato ...
(ossia, che si possano generare le frasi ìprevisteî)
| Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |