Velocemente le impressioni di questa giornata di orali per coloro che verranno:

- I compitini servono a voi, non a Degano
- Lo scritto che fa è pro forma
- Sono andato nel pallone sulla prima definizione, mi ha messo assolutamente subito a mio agio
- In genere ha chiesto un esercizio o due che richiedesse ragionamento, poi o definizioni o teoremi
- E' magnanimo con i voti ( "sarà che il vino è più cattivo quest'anno ma mi sembrate più bravi del solito")
- Continua a criticare i voti del Vanneschi ("chi le ha dato questo voto??")

Consiglio: Studiate e capite i Teoremi, ci tiene molto, e con quelli fate il resto.

Per il resto, le domande che mi ha posto sono più o meno le seguenti:

- Def di fun. appropriata
- Teo di Gerarchia
- Teo Lacuna di Borodin
- Teo Accelerazione di Blum
- Teo Accelerazione Lineare ( a grandi linee, i passi cruciali)
- Teo Forma Normale
- Myhill-Nerode (accennato)
- Teo Automa Minimo
- Teo Ricorsione (solo accennato)
- Un esercizio che non sto a riportare perché è stato abbastanza confuso. Si trattava di usare il teorema di ricorsione e sue conseguenze sul numero di punti fissi. Quindi sappiateli
- Dire se { x | FIx = FIx+1 } (con x e x+1 indici) è Ricorsivo. Risposta : no.

In bocca al lupo!