Tutorato di Automi e Linguaggi Formali 2024-2025

Repository degli appunti e delle soluzioni degli esercizi proposti durante il tutorato del corso di Automi e Linguaggi Formali del prof. Davide Bresolin, laurea triennale in Informatica dell'Università degli Studi di Padova, anno accademico 2024-2025.

📅 Calendario

#	Data	Orario	Aula
1	10 Marzo	12:30-14:30	2AB40
2	17 Marzo	12:30-14:30	2AB40
3	24 Marzo	12:30-14:30	2AB40
4	31 Marzo	12:30-14:30	2AB40
5	7 Aprile	12:30-14:30	LUF1
6	14 Aprile	12:30-14:30	2AB40
7	5 Maggio	12:30-14:30	2AB40
8	12 Maggio	12:30-14:30	2AB40
9	19 Maggio	12:30-14:30	2AB40
10	26 Maggio	12:30-14:30	1BC45
11	4 Giugno	10:30-12:30	2BC60
12	6 Giugno	10:30-12:30	2AB40

📁 Struttura del repository

.
├── Lezioni
│   ├── Incontro N - data
│   │   ├── Appunti scritti a PC
│   │   ├── Lezioni di riferimento
│   │   ├── Materiale utile
│   │   └── Ulteriori esercizi e appunti
├── Homework settimanali
│   ├── Lezione N - Argomento
│   │   ├── Testo (PDF)
│   │   └── Soluzioni (PDF e LaTeX)
└── Riassunti utili per lezione
    └── Lezione N - Argomento
        └── Documenti riassuntivi

Contenuto delle cartelle principali

1. Lezioni

Ogni cartella di incontro contiene:

• File di appunti scritti durante la lezione (formato tablet .xopp e PDF)
• Scaletta dettagliata della lezione in formato PDF e Word
• Riferimenti al materiale didattico ufficiale del corso
• Esempi svolti e approfondimenti specifici per tema

2. Homework settimanali

Esercizi assegnati per:

• Consolidare la preparazione tra un tutorato e l'altro
• Permettere agli studenti di autovalutarsi
• Fornire modelli di soluzioni corrette
• I file sorgente LaTeX sono disponibili per chi volesse modificarli/usarli come template

3. Riassunti utili

File di sintesi concettuale per:

• Facilitare il ripasso pre-esame
• Fornire quadri generali di riferimento per ogni argomento
• Evidenziare connessioni tra i vari temi del corso

📚 Materiale di studio consigliato

Riferimento principale

• 📘 "Introduction to the Theory of Computation" - Il testo di riferimento da cui derivano la maggior parte degli esercizi discussi

Risorse supplementari

• 🎥 Theory of Computation & Automata Theory - Neso Academy

🛠️ Strumenti e risorse aggiuntive

• Appunti di Automi e Linguaggi Formali - Azzolini - Trascrizioni LaTeX delle lezioni
• Tutorati degli anni precedenti:
  • Tutorato 2018 (Zanga)
  • Tutorato 2019 (Zhang)
  • Tutorato 2022 (Umbrella)
  • Tutorato 2024 (Rovesti)

💡 Contatti e feedback

Per domande, suggerimenti o chiarimenti:

• ✉️ Email: gabriel.rovesti@studenti.unipd.it
• 📱 Telegram: @gabrielrovesti

---

Ultimo aggiornamento: Giugno 2025