10/10/05 (2h).
Raffinamento delle definizioni (problema, automa, correttezza,
simulazione) per tenere conto dei costi.
Il modello di calcolo delle TM (deterministiche ad un nastro infinito)
per problemi di decisione ed automa associato. Varianti delle TM con
piu' nastri (o nastro semi-infinito).
Definizione di 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
(i programmi C sintatticamente corretti, i programmi C senza I/O che
terminano, i programmi C senza I/O che non terminano).
13/10/05 (2h). docente assente