Linguaggi e Modelli Computazionali M

Professor Enrico Denti

Anno Accademico: 2024/2025

Votazione: 30 e Lode

---

📊 Linguaggi Repository

🗂️ Attività Progettuale

La prova finale del corso è preceduta dall'esposizione della attività progettuale associata.
Il titolo della attività progettuale realizzata è Challenge a tema: Linguaggi.

Dall'A.A.2025/2026 l'attività progettuale farà parte del materiale del corso.
In questo senso, in futuro, ci saranno modifiche per estendere, o rendere più idoneo al nuovo contesto, il materiale a contorno dell'attività progettuale.

• Slide di presentazione del materiale.
• Writeup delle soluzioni.
• Demo dettagliate.

🎤 Argomenti di Discussione Proposti

1. Grammatica: analisi
   1.1 Presentazione della grammatica in Esame.
   1.2 Pumping Lemma per dimostrare che la grammatica non è regolare.
   1.3 Analisi LL(1) dopo opportune trasformazioni.
   1.4 Analisi LR(0) e identificazione dei conflitti.
   1.5 Analisi SRL(1).

2. Ricorsione: tail-recursion, TRO e trampolini
   2.1 Costrutti linguistici e processi computazionali sottostanti e tail recursion.
   2.2 Le potenzialità e i limiti del TRO e i trampolini.
   2.3 Esempi in JavaScript e Kotlin.

3. Scala: costruire nuovi costrutti
   3.1 Ingredienti e ricetta per nuovi costrutti.
   3.2 Esempio ed utilizzo del nuovo costrutto WriteFile.

4. JavaScript: linguaggio dinamico ma vulnerabile
   4.1 Type coercion e JSFuck con Function.
   4.2 Modello a prototipi e type augmenting e prototype pollution.

🏅 Menzione d'Onore

Il programma prolog family.pl, non è stato incluso nella discussione dell'esame, purtroppo.