Presentazione standard di PowerPoint

Linguaggi formali e metodi algebrici
Linguaggi formali e metodi algebrici
Componenti strutturati del DI:
• Alberto Bertoni
• Massimiliano Goldwurm
• Violetta Lonati
Dottorandi, assegnisti e tecnici del DI:
• Jianyi Lin (Assegnista)
Collaboratori esterni:
• Antonio Restivo (Univ. Palermo)
• Matteo Pradella, Dino Mandrioli, F. Panella (Politecnico
Milano)
• Christian Choffrut (Univ. Paris VII)
Il DI ad un anno dalla sua creazione: aree di ricerca e prospettive. 27 maggio 2013
Linguaggi formali e metodi algebrici
Principali linee di ricerca:
1) Modelli probabilistici di automi (Bertoni, Restivo)
Modelli probabilistici più realistici per certi problemi (minimalità)
2) Linguaggi con operatori di precedenza (Lonati + Poli)
Context-free deterministici (parentesi, Visibility-Pushdown), proprietà algebriche, automa, logica.
3) Linguaggi bidimensionali deterministici (Lonati + Poli)
Sottoclasse deterministica dei linguaggi di pictures regolari
4) Clustering con vincoli (Bertoni, Goldwurm, Lin)
Problemi di clustering con vincoli sulla cardinalità degli insiemi. Risultati di separazione (string
property). Risultati di NP-hardness (dim o # clusters arbitrari). Algoritmi polinomiali (bipartizioni con
dim fissata).
Il DI ad un anno dalla sua creazione: aree di ricerca e prospettive. 27 maggio 2013
Linguaggi formali e metodi algebrici
Progetti di ricerca :
• Progetto PRIN 2010/2011
“Automi e linguaggi formali: aspetti matematici e
applicativi”
Collaborazioni :
. Dip. Elettronica, Politecnico di Milano
. Dip. Matematica, Università di Palermo
. Liafa, Universitè Paris VII
Il DI ad un anno dalla sua creazione: aree di ricerca e prospettive. 27 maggio 2013
Linguaggi formali e metodi algebrici
Principali pubblicazioni:
-
-
-
-
A. Bertoni, M. Goldwurm, J. Lin, F. Saccà. Size constrainted distance
clustering: separation properties and some complexity results,
Fundamenta Informaticae, vol. 115, pp. 125-139, 2012.
V. Lonati, M. Pradella. Deterministic recognizability of picture
languages with Wang automata, Discrete Mathematics & Theoretical
Computer Science, vol. 12:4, 2010.
V. Lonati, M. Pradella. Strategies to scan pictures with automata
based on Wang tiles, RAIRO - Theoretical Informatics and
Applications, vol. 45, 2011.
V. Lonati, D. Mandrioli, M. Pradella, Precedence Automata and
Languages, CSR 2011, LNCS 6651.
J. Lin. Size constrained clustering problems in fixed dimension, 12°
Conferenza ICTCS, Varese, settembre 2012.
Il DI ad un anno dalla sua creazione: aree di ricerca e prospettive. 27 maggio 2013