Salta al contenuto principale
Passa alla visualizzazione normale.


Pari opportunità

Ricerca avanzata per:

Risultati della ricerca

  • 1. Automi, linguaggi formali e combinatoria delle parole (100%)

    9-dic-2013 13.27.23

    Automi, linguaggi formali e combinatoria delle parole Automi, linguaggi formali e combinatoria delle parole, DMI, UniPa, aree di ricerca, La ricerca riguarda la Teoria degli Automi e dei Linguaggi Formali, una delle aree dell'Informatica più consolidate, che trae origine da problematiche relative ... degli automi e dei linguaggi, e prendono anche in considerazione alcuni ambiti applicativi. Le principali tematiche di ricerca riguardano: - modelli di Automi, con particolare riferimento ai problemi

  • 2. INF INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" (47%)

    5-feb-2015 14.14.16

    INF INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" articolo, notizia, unipa La ricerca riguarda la Teoria degli Automi e dei Linguaggi Formali, una delle aree dell'Informatica più consolidate, che trae origine da problematiche relative ai primi computer, ai sistemi ... . Le linee di ricerca riguardano prevalentemente gli aspetti combinatori e algoritmici degli automi ... di ricerca riguardano: - modelli di Automi, con particolare riferimento ai problemi

  • 3. L INFORMATICA 9-10 rev. (37%)

    8-mar-2013 19.27.58

  • 4. Informatica_L_2011-12 (37%)

    9-lug-2013 12.10.18

    trattati. OBIETTIVI FORMATIVI DEL MODULO I Conoscere le capacità computazionali degli automi ... esempio, grammatiche e automi, automi e espressioni regolari, automi deterministici e non deterministici. Saper progettare automi che riconoscono linguaggi fissati. Saper progettare grammatiche che generano linguaggi fissati. Saper usare automi e grammatiche nella progettazione di algoritmi. Conoscere l’utilizzo degli automi e delle grammatiche come modello in alcune importanti di applicazioni: ad

  • 5. L INFORMATICA 9-10 rev. (37%)

    8-mar-2013 19.27.58

  • 6. Informatica_L_2011-12 (37%)

    9-lug-2013 12.10.18

    trattati. OBIETTIVI FORMATIVI DEL MODULO I Conoscere le capacità computazionali degli automi ... esempio, grammatiche e automi, automi e espressioni regolari, automi deterministici e non deterministici. Saper progettare automi che riconoscono linguaggi fissati. Saper progettare grammatiche che generano linguaggi fissati. Saper usare automi e grammatiche nella progettazione di algoritmi. Conoscere l’utilizzo degli automi e delle grammatiche come modello in alcune importanti di applicazioni: ad

  • 7. L_Informatica2010-11rev (31%)

    8-mar-2013 19.28.08

    e tecniche che di tale teoria fanno parte: dagli automi e le grammatiche come formalismi ... . Token e espressioni regolari. Definizioni regolari. Eliminazioni di ambiguità. Automi a stati finiti ... sintattica: Grammatiche context-free. Alberi di derivazione. Grammatiche ambigue. Automi

  • 8. L_Informatica2010-11rev (31%)

    8-mar-2013 19.28.08

    e tecniche che di tale teoria fanno parte: dagli automi e le grammatiche come formalismi ... . Token e espressioni regolari. Definizioni regolari. Eliminazioni di ambiguità. Automi a stati finiti ... sintattica: Grammatiche context-free. Alberi di derivazione. Grammatiche ambigue. Automi

  • 9. CV_spezzano (29%)

    27-mar-2020 11.16.20

    l’utilizzo di piattaforme di calcolo ad alte prestazioni e del paradigma degli automi cellulari ... nel settore dei sistemi paralleli e distribuiti e ambienti di calcolo evoluti basati su automi ... computing, workflow autonomici, modelli ad Automi Cellulari per computazioni scientifiche riguardanti ... automi cellulari e per la modellazione e la simulazione dei fenomeni fisici, chimici e biologici ... degli automi cellulari, per la modellazione e simulazione di sistemi complessi implementato

  • 10. SSD INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" (27%)

    10-feb-2015 22.55.40

    SSD INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" articolo, notizia, unipa Settore ERC del gruppo: PE6_4 - Theoretical computer science, formal methods, and quantum computing, PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory Responsabile scientifico/Coordinatore: RESTIVO Antonio - Prof. Ordinario Componenti: CASTIGLIONE Giuseppa - Ricercatore EPIFANIO Chiara - Ricercatore FICI Gabriele - Ric. a tempo determ. MANTACI Sabrina

  • 11. Matematica_L_2012-13 (25%)

    1-lug-2013 11.24.51

  • 12. Matematica_L_2012-13 (25%)

    1-lug-2013 11.24.51

  • 13. Piano_ricerche_2016_DMI (25%)

    2-feb-2016 9.09.33

    : A. Problemi combinatorici e algoritmici degli automi e dei linguaggi formali. Ricercatori ... 2016. A. Problemi combinatori e algoritmici degli automi e dei linguaggi formali. L’ambito è ... combinatori e algoritmici degli automi e dei linguaggi, e prendono anche in considerazione alcuni ambiti ... elencate: 1. Complessità di automi (DFA) e minimizzazione. Una linea di ricerca correlata riguarda la progettazione di algoritmi efficienti per la costruzione di automi "quasi" minimali

  • 14. PIANO RICERCHE_2017_DMI (25%)

    25-gen-2017 16.37.51

    Informatica Si distinguono quattro ambiti di ricerca: A. Problemi combinatorici e algoritmici degli automi ... di ricerca per l'anno 2017. A. Problemi combinatori e algoritmici degli automi e dei linguaggi ... gli aspetti combinatori e algoritmici degli automi e dei linguaggi, e prendono ... 2017 sono di seguito elencate: 1. Complessità di automi (DFA) e minimizzazione. Una linea di ricerca correlata riguarda la progettazione di algoritmi efficienti per la costruzione di automi "

  • 15. PIANO RICERCHE_2018_DMI-2 (23%)

    3-giu-2020 17.14.15

  • 16. PIANO_RICERCHE_2019_DMI (23%)

    3-giu-2020 17.14.15

  • 17. piano_annuale_ricerche_2021_dmi (23%)

    4-ago-2021 16.00.23

    Informazioni A. Problemi combinatorici e algoritmici degli automi e dei linguaggi formali. (Inf/01 ... e automi. L’ambito è una delle aree dell'informatica più consolidate, che trae origine da problematiche ... gli aspetti combinatori e algoritmici degli automi e dei linguaggi, e prendono ... 2021 sono di seguito elencate: 1. Aspetti teorici ed algoritmici della teoria degli automi ... automi e si chiede quale sia la taglia minima necessaria per un automa per distinguere

  • 18. Informatica_L_2012-13 (23%)

    1-lug-2013 11.24.40

    automi a stati finiti e al caap cità generativa deell grammatiche non contestuali. Rapporti ... . Rappresentazione di un DFA con grafo degli stati. Automi a stati fini non 6 ore deterministici (NFA). Teorema ... e NFA. Applicazioni alle ricerche testuali. Automi con ε-transizioni. Eliminazione delle ε ... . Equivalenza e minimizzazione di automi. La relazione di indistinguibilità degli stati. Automa ridotto ... 2 ore Automi bidirezionali (2-DFA). Equivalenza tra 2-DFA e 1-DFA (Teorema di Rabin-Shepherdson

  • 19. Informatica_L_2012-13 (23%)

    1-lug-2013 11.24.40

    automi a stati finiti e al caap cità generativa deell grammatiche non contestuali. Rapporti ... . Rappresentazione di un DFA con grafo degli stati. Automi a stati fini non 6 ore deterministici (NFA). Teorema ... e NFA. Applicazioni alle ricerche testuali. Automi con ε-transizioni. Eliminazione delle ε ... . Equivalenza e minimizzazione di automi. La relazione di indistinguibilità degli stati. Automa ridotto ... 2 ore Automi bidirezionali (2-DFA). Equivalenza tra 2-DFA e 1-DFA (Teorema di Rabin-Shepherdson

  • 20. CV_Gabriele_Fici (21%)

    28-giu-2024 0.43.56

    , ricorsione, numerabilità, linguaggi formali, automi a stati finiti, logica 2011-2012 Conception ... , numerabilità, linguaggi formali, automi a stati finiti, logica 2010-2011 Conception de Sites WEB (20h ... – Membro dell’Unità di Ricerca di Palermo del Progetto Automi e Linguaggi Formali: aspetti matematici ... di Palermo del Progetto Aspetti matematici e applicazioni emergenti degli automi e dei linguaggi formali ... del Progetto Automi e Linguaggi Formali: aspetti matematici e applicativi. PRIN 2005. Durata: 2