Unità di Salerno

Unità di Salerno

Riunione del progetto PRIN 2005-2007“Automi e Linguaggi Formali: aspetti matematici e

applicativi”(Linguaggi Formali e Automi: metodi, modelli e

applicazioni)

17-18 luglio 2006 - Villa Toeplitz, Varese

Università di SalernoMarcella AnselmoClelia De FeliceGabriele FiciRosalba Zizza

Università “Federico II” di Napoli

Arturo CarpiAldo de LucaAlessandro De Luca

Università di Roma “Tor Vergata”

Dora GiammarresiStefano VarricchioFlavio D’Alessandro

Salerno Palermo



“Sulla congettura di Dejean”

• risolta per n≥38

• Studio di proprietà combinatorie e di struttura delle parole Sturmiane centrali

• Studio di alcune famiglie di linguaggi formali quali i codici a lunghezza variabile in rapporto alla teoria dell'informazione.



•Aldo de Luca. Some decompositions of Bernoulli sets and codes, ITA 39 (2005) 161-174.•Arturo Carpi e Aldo de Luca, Completions in measure of languages and related combinatorial problems, TCS 330 (2005) 35-57 •Arturo Carpi e Aldo de Luca, Codes of central Sturmian words, TCS, 340 (2005) 220--239 •Arturo Carpi e Aldo de Luca, Central Sturmian words: Recent developments, in C. De Felice, A. Restivo ed.s, Proc.s DLT '05,Lecture Notes in Computer Science, vol. 3572, Springer (Berlin 2005), pp. 36--56 •Aldo de Luca e Alessandro De Luca, Palindromes in Sturmian words, in C. De Felice, A. Restivo ed.s, Proc.s DLT '05, Lecture Notes in Computer Science vol. 3572, Springer (Berlin 2005), pp. 199--208 •Aldo de Luca. Structure, combinatorics, and complexity of ``words'', in IMAGINATION AND RIGOR. Essays on E.R. Caianiello's scientific heritage ten years after his death, Springer-Italia, Milano 2006, pp. 71--92.•Aldo de Luca e Alessandro De Luca, Some characterizations of finite Sturmian words, TCS 356(2006)118--125•Arturo Carpi e Aldo de Luca, Farey codes and Languages, European Journal of Combinatorics, to appear •Aldo de Luca e Alessandro De Luca, Combinatorial properties of Sturmian palindromes, International Journal of Foundations ofComputer Science, to appear •Aldo de Luca, Some reflections on Cybernetics and its scientific heritage, Proc.s of Biocomp 2005, Science Mathematica Japonica, to appear•Aldo de Luca e Alessandro De Luca, Pseudopalindrome closure operators in free monoids, Preprint 2/2006, Dipartimento di Matematica e Applicazioni, Università di Napoli Federico II



“Well quasi-orders and the shuffle closure of finite sets”

•Questioni di conteggio e di crescita dei linguaggi context-free

• Condizioni di regolarità dei linguaggi basate sui “well quasi-orders”



“Dal non-determinismo al determinismo(nei linguaggi 2dim): alcune riflessioni”




Codici (struttura dei codici fattorizzanti)

• C. De Felice, "An enhanced property of factorizing codes", Theoretical Computer Science 340 (2005) 240-256.

• C. De Felice, "On a complete set of operations for factorizing codes", Theoretical Informatics and Applications 40 (2006) 29-52.

• C. De Felice, “On factorizing codes: structural properties and related decision problems”, ADVANCES IN APPLIED MATHEMATICS (in stampa)

• C. De Felice, “Finite completion via factorizing codes”, sottomesso


Linguaggi splicing regolari

• P. Bonizzoni, C. De Felice, and G. Mauri, "Recombinant DNA, Gene Splicing as Generative Devices of Formal Languages", Proceedings "CiE 2005: New Computational Paradigms" (Special Session on Biological Computation), Lecture Notes in Computer Science 3526 (2005) 65-67, Springer.

• P. Bonizzoni, C. De Felice, R. Zizza, "The structure of reflexive regular splicing languages via Schutzenberger constants", Theoretical Computer Science 334 (2005) 71-98.

• P. Bonizzoni, C. De Felice, G. Mauri, R. Zizza, "On the power of circular splicing", Discrete Applied Mathematics 150 (2005) 51-66.

• P. Bonizzoni, C. De Felice, G. Mauri, R. Zizza, "Linear splicing and syntactic monoid", Discrete Applied Mathematics 154 (2006) 452-470.


“Alcuni risultati su parole finite”

•Un controesempio ad una congettura di Restivo (1980) su parole incompletabili minimali [in collaborazione con E. Pribavkina e J. Sakarovitch]

• Automa dei suffissi e parole proibite minimali per parole con “wildcards” [in collaborazione con F. Mignosi]


Unità di Salerno

Documents

Transcript of Unità di Salerno