1

Informazioni sull’esame

Esame orale su tutti gli argomenti trattati a lezione

Seminario: studio di un argomento avanzato, tipicamente di un formalismo che estende uno di quelli visti a lezione

2

Modalita’ d’EsameA scelta dello studente esame orale su tutti gli argomenti del corso o seminario che approfondisca uno degli argomenti trattati a lezione

•In entrambi i casi gli esami dovranno svolgersi nei periodi di appello d’esame standard con le seguenti modalita’: (1) orale su appuntamento (2) seminario su appuntamento (preferibilmente in date fissate), che verranno comunicate sulla pagina web

Per iscriversi e’ obbligatorio inviare sempre la richiesta per e-mail con almeno una decina di giorni di anticipo

3

Come si sceglie l’argomento del seminario? Il seminario deve approndire uno degli argomenti

trattato a lezione

Abbiamo studiato classi di linguaggi formali, e i rapporti tra varie classi (gerarchie di linguaggi) e la loro specifica

Per ogni classe: automi, grammatiche, le relazioni tra i due formalismi

Proprieta’ dei linguaggi formali e relativi algoritmi

4

Di cosa si tratta? Considerare una delle varie estensioni di automi e

grammatiche, studiate in letteratura e/o le loro proprieta’, algoritmi

Il materiale su cui studiare lo fornisce il docente (se necessario), si tratta di argomenti di ricerca tipicamente pubblicati su riviste scientifiche note

Preparare una presentazione sull’argomento da presentare in 30 minuti

La comprensione degli aspetti tecnici cosi’ come delle proprieta’ importanti dell’argomento assegnato fa parte dell’esame

5

Possibili Argomenti P-system: questo formalismo rientra nell’ambito di

ricerca del natural computing, definire nuovi modelli di specifica e calcolo che traggono ispirazione dai sistemi biologici

traggono ispirazione da lavori nell’ambito dei linguaggi formali e delle grammatiche

Formalmente, il linguaggio di specifica permette di modellare una gerarchia di membrane, ognuna contenente un multiinsieme di oggetti. Il sistema evolve in base a regole di riscrittura

Estensioni del linguaggio con probabilita’ e tempo (gia’ assegnato)

6

Possibili Argomenti Sistemi di Lindenmayer: questo formalismo e’ una

estensione delle grammatiche che introduce il parallelismo nell’applicazione delle produzioni

Esistono anche altri argomenti correlati, forme particolari di grammatiche parallele

Grammar Systems: e’ un insieme di grammatiche che cooperano tra di loro per generare un linguaggio

7

Estensioni degli automi a stati finiti Automi temporizzati (prossime lezioni, una parte) Automi temporizzati probabilistici (gia’ assegnato) Automi sviluppati per modellare sistemi concorrenti o distruibuiti Automi cooperanti, sistemi di automi paralleli che si sincronizzano Automi Gerarchici Automi per stringhe infinite, automi di Buchi e di Muller Tree Automata

8

Argomenti relativi agli automi temporizzati Vedremo solo alcuni aspetti a lezione Approndire gli algoritmi e le proprieta’ della classe di linguaggi

temporizzati definiti Automi temporizzati cooperanti

Automi ibridi UPPAAL: un tool per la verifica di automi temporizzati, applicazione

interassante della teoria SPIN: tool per la verifica di sistemi concorrenti, distribuiti basato su

automi

9

Programma Svolto a Lezione Automi a stati finiti. Espressioni regolari. Proprietà degli insiemi regolari. Grammatiche libere dal contesto. Automi a pila. Proprietà dei linguaggi liberi dal contesto. Linguaggi contestuali. Grammatiche non ristrette. La gerarchia di Chomsky. Automi Temporizzati