Ricerca | Automi e linguaggi formali
Ricerca Automi e linguaggi formali
Il gruppo ha una lunga attività di ricerca nell’ambito della teoria degli Automi e dei Linguaggi Formali, un'area consolidata dell’informatica che trae origine dalle esigenze dei primi computer e linguaggi di programmazione. In tale contesto, si occupa di problemi al crocevia fra l’informatica teorica, la matematica e le applicazioni. Le principali tematiche oggetto di ricerca sono:
-
Automi a stati finiti e linguaggi regolari
-
Codici a lunghezza variabile
-
Combinatoria delle parole
-
Linguaggi bidimensionali
Le linee di ricerca sviluppate abbracciano spesso due o più delle suddette aree. In particolare, sono oggetto d'indagine:
- Proprietà strutturali dei codici a lunghezza variabile e loro relazioni con la teoria degli automi e delle serie formali
- Relazioni tra codici, combinatoria delle parole e gruppi liberi
- Estensioni della teoria dei codici al caso bidimensionale
- Proprietà combinatoriche e di riconoscibilità dei linguaggi bidimensionali
- Algoritmi e strutture dati per i linguaggi bidimensionali
- Modelli computazionali ispirati dalla biologia (Sistemi splicing)
- Applicazioni della combinatoria delle parole alla bioinformatica e alla compressione dati
- Applicazioni della teoria dei sistemi splicing alla composizione musicale.
Attività Didattica
L’impegno didattico del gruppo è concentrato sui corsi di Laurea in Informatica e precisamente sui corsi di Architettura degli elaboratori, Elementi di Teoria della Computazione, Metodi matematici per l’Informatica, Progettazione di Algoritmi, Programmazione 1.
Collaborazioni: prof. Valérie Berthé (CNRS, Université Paris Diderot), prof. Paola Bonizzoni (Università di Milano Bicocca), prof. Dora Giammarresi (Università di Roma Tor Vergata), prof. Marina Madonia (Università di Catania), prof. Sabrina Mantaci (Università di Palermo), prof. Dominique Perrin (Université Paris Est), prof. Antonio Restivo (Università di Palermo), prof. Christophe Reutenauer (Université du Québec à Montréal), prof. Giuseppina Rindone (Université Paris Est),
Componenti
ZACCAGNINO ROCCO | Membro | ||
ANSELMO Marcella | Membro | ||
DE FELICE Clelia | Referente d'Area | ||
ZIZZA ROSALBA | Membro |