20/10/03 (3h).
Correttezza parziale e totale. Tecniche per dimostrare correttezza
parziale e terminazione di un automa con stato, esempi di invariante e
simulazione.
Simulazione tra automi e sue proprieta'.
Il modello di calcolo delle TM (ad un nastro) e automa associato.
Linguaggio T-decidibile e T-semidecidibile.
Le classi di linguaggi R e RE, inclusione di R in RE. Esempi
informali di linguaggi appartenenti e non a R ed RE.
23/10/03. indisponibilita' del docente.
27/10/03. indisponibilita' del docente.