SC02100756 - AUTOMI E LINGUAGGI FORMALI 2022-2023
Topic outline
-
turing-machine.png by Robert Nystrom is licensed under CC BY-NC-ND 4.0
-
Le lezioni iniziano lunedì 27 febbraio alle ore 14:30 e si terranno negli orari previsti dal calendario didattico:
- lunedì dalle 14:30 alle 16:30 in aula LuM250, Via Luzzatti
- giovedì dalle 14:30 alle 16:30 in aula LuM250, Via Luzzatti
Si segnala che le lezioni verranno videoregistrate. Pertanto, l'eventuale e volontaria partecipazione degli studenti permetterà la raccolta di dati personali (quali, ad esempio, l'immagine, la voce e il contenuto dell'eventuale intervento). Le registrazioni delle lezioni rimarranno disponibili sul moodle del corso per permettere agli studenti che non hanno potuto partecipare live di assistere alla stesse. Ulteriori informazioni, anche in relazione ai diritti riconosciuti dalla normativa privacy, sono disponibili alla pagina: https://www.unipd.it/privacy
-
-
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.
-
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.
-
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à.
-
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.
-
-
-
Software per sperimentare con i formalismi che vedremo a lezione come automi a stati finiti, automi pushdown, grammatiche e macchine di Turing. Maggiori informazioni ed esempi di utilizzo si possono trovare nel sito ufficiale.
-
Per accedere agli esercizi occorre:
- registrarsi sul sito per ottenere un account
- nella pagina principale del proprio account, scegliere "Courses"
- inserire le seguenti informazioni nel form "Enroll in course
Course ID: Automi@Unipd 22/23 Password: M34SGWQY
-
-
-
-
-
Simulatore interattivo di macchine di Turing
-
-
-
Testo da cui sono tratte le slide sulla parte di NP completezza.
© Copyright Jeff Erickson http://algorithms.wtf
This work is available under a Creative Commons Attribution 4.0 International license.
-
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 12:00 AM
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 12:00 AM
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 12:00 AM
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 12:00 AM
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 12:00 AM
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 12:00 AM
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 12:00 AM
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 12:00 AM
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 1:00 AM
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 1:00 AM
-
Opened: Friday, 28 April 2023, 12:00 AMDue: Friday, 28 April 2023, 1:00 AM