Título: Clausura conmutativa de lenguajes regulares
Directora: Verónica Becher
Codirector: Ignacio Mollo Cunningham
Jurados: Sergio Abriola y Víctor Braberman

Resumen: Consideremos un alfabeto finito. Dos palabras comparten su imagen conmutativa cuando una es permutación de los símbolos de la otra.  La clausura conmutativa de un lenguaje S es el conjunto  c(S) de palabras cuya imagen conmutativa es la de alguna palabra de S. Damos un algoritmo que,  dado un lenguaje regular S, produce el autómata finito que acepta la clausura conmutativa c(S), siempre que ésta sea regular.