30/03/01 (2h).
Codifica di TM canoniche, e funzione universale.
TM universale e variante per traduttori. I problemi H (halting
problem) e K, semidecidibilita' di H e K.
La nozione di riduzione tra problemi. Proprieta' della riduzione,
proprieta' di chiusura per riduzione dei problemi (semi)decidibili.
Uso della riduzione per dimostrare la non (semi)decidibilita'.
03/04/01 sospensione per ETAPS
05/04/01 sospensione per ETAPS
06/04/01 sospensione per ETAPS