Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Automi e Linguaggi Formali: Aspetti Matematici e Applicativi |
---|---|
Titolo del progetto di ricerca in inglese | * Automata and Formal Languages: Mathematical and Applicative Aspects |
Campo principale della ricerca | Mathematics |
Sottocampo della ricerca | Algorithms |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Il progetto propone lo sviluppo di algoritmi per la generazione di parole soggette a vincoli, argomento di fondamentale importanza nella teoria dei linguaggi formali. L’attenzione si concentra sulla definizione di algoritmi per la generazione di parole binarie che evitano un motivo proibito. Ciò conduce anche all'enumerazione degli oggetti stessi. Si intendono determinare classi di motivi che lasciano invariata l'enumerazione delle parole che li evitano, così che gli algoritmi si applichino indipendentemente dalla struttura del motivo. Da uno studio su classi di motivi proibiti invarianti sono emerse proprietà combinatorie strettamente legate ai vettori di autocorrelazione di ciascun motivo. Tali proprietà caratterizzano insiemi di motivi detti cross-bifix-free. Verrà approfondito lo studio delle proprietà di tali insiemi, in particolare la non-espandibilità e massimalità. Infine si svilupperanno algoritmi per la generazione di tali insiemi. |
Descrizione sintetica in inglese | The project develops algorithms for the generation of words satisfying some constraints relevant in formal languages, in particular the design of generation algorithms for binary words avoiding forbidden patterns. The investigations lead to the enumeration of the generated objects too. Besides the project will address the problem ofdetermining classes of patterns, for which the associated pattern avoiding classes are equinumerous, so that the algorithms could be applied independently from the specific forbidden pattern. From a study on these invariant classes of patterns some combinatorial properties have arisen, related to the autocorrelation vectors of each pattern. The properties characterize sets of words known as cross-bifix-free sets. The project will study the properties of cross-bifix-free sets, with special regard towards non-expandability and maximality. Some algorithms for such sets generation will be developed. |
Data del bando | 30/01/2013 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 22946 |
Periodicità | annuale |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
All |
Nazionalità dei candidati |
All |
Sito web del bando | http://www.unifi.it/CMpro-v-p-391.html |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|---|
Il contratto prevede la copertura delle prestazioni sociali? | yes |
Importo annuale | 22946 |
Valuta | Euro |
Comprende lo stipendio dell'assegnista | yes |
Comprende vitto e spese di viaggio | no |
Comprende il costo della ricerca | no |
Massima durata dell'assegno (mesi) | 12 |
Nome dell'Ente finanziatore | Università degli studi di Firenze – Dipartimento di Matematica e Informatica Ulisse Dini |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | FIRENZE |
Sito web | http://www.unifi.it |
assegni@polobiotec.unifi.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 15/02/2013 - alle ore 00:00 |
---|---|
Come candidarsi | Other |