Lezioni. - 1 Programma del corso e prospettiva storica. - 2 Stringhe e insiemi. - 3 Automi finiti e insiemi regolari. - 4 Ulteriori approfondimenti sugli insiemi regolari. - 5 Automi finiti non deterministici. - 6 La costruzione di sottoinsiemi. - 7 Corrispondenza di pattern. - 8 Corrispondenza di pattern ed espressioni regolari. - 9 Espressioni regolari e automi finiti. - A Algebra di Kleene ed espressioni regolari. - 10 Omomorfismi. - 11 Limitazioni degli automi finiti. - 12 Utilizzo del lemma di pompaggio. - 13 Minimizzazione dello stato DFA. - 14 Un algoritmo di minimizzazione. - 15 Relazioni di Myhill-Nerode. - 16 Il teorema di Myhill-Nerode. - B Collasso di automi non deterministici. - C Automi sui termini. - D Il teorema di Myhill-Nerode per automi a termini. - 17 Automi finiti bidirezionali. - 18 2DFA e insiemi regolari. - 19 Grammatiche e linguaggi liberi dal contesto. - 20 Parentesi bilanciate. - 21 Forme normali. - 22 Il lemma di pompaggio per i CFL. - 23 Automi a pila. - E Stato finale contro pila vuota. - 24 PDA e CFG. - 25 Simulazione di NPDA tramite CFG. - F Automi a pila deterministici. - 26 Parsing. - 27 L'algoritmo di Cocke-Kasami-Younger. - G Il teorema di Chomsky-Schützenberger. - H Il teorema di Parikh. - 28 Macchine di Turing e computabilità effettiva. - 29 Ulteriori approfondimenti sulle macchine di Turing. - 30 Modelli equivalenti. - 31 Macchine universali e diagonalizzazione. - 32 Problemi decidibili e indecidibili. - 33 Riduzione. - 34 Teorema di Rice. - 35 Problemi indecidibili sui linguaggi liberi dal contesto. - 36 Altri formalismi. - 37 L'a-calcolo. - I Programmi while. - J Oltre l'indecidibilità. - 38 Teorema di incompletezza di Gödel. - 39 Dimostrazione del teorema di incompletezza. - K Dimostrazione di Gödel. - Esercizi. - Compiti a casa. - Compito 1. - Compito 2. - Compito 3. - Compito 4. - Compito 5. - Compito 6. - Compito 7. - Compito 8. - Compito 9. - Compito 10. - Compito 11. - Compito 12. - Esercizi vari. - Automi finiti e insiemi regolari. - Automi a pila e linguaggi liberi dal contesto. - Macchine di Turing e computabilità effettiva. - Suggerimenti e soluzioni. - Suggerimenti per esercizi vari selezionati. - Soluzioni per esercizi vari selezionati. - Riferimenti bibliografici. - Notazione e abbreviazioni. Lingua: inglese