Résumé de section

    • Introduzione alla teoria della computazione URL

      Michael Sipser; edizione italiana a cura di C. De Felice, L. Gargano e P. D'Arco

      Libro di testo ufficiale del corso. Edizione in inglese disponibile in biblioteca.

    • Automi, linguaggi e calcolabilità URL

      John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; edizione italiana a cura di Giovanni Pighizzini.

      Libro di testo usato fino all'anno accademico 2018/19, disponibile in biblioteca.

    • Models of Computation URL

      Jeff Erickson 

      Un buon libro di testo in inglese, distribuito con licenza Creative Commons. Alcune parti sono trattate in modo diverso rispetto al corso. Non comprende la parte di teoria della complessità.

    • Fondamenti dell'Informatica: Linguaggi Formali, Calcolabilità e Complessità Fichier

      Agostino Dovier e Roberto Giacobazzi.

      Dispense in italiano, disponibili per gentile concessione degli autori. Indicate per approfondire i dettagli delle definizioni e delle prove dei teoremi.