José Luis Ramírez Ramírez
Doctorando , Universidad Nacional de Colombia
Departamento de matemáticas
Universidad Sergio Arboleda
RESUMEN
En esta presentación se abordará el
estudio de teoremas de punto fijo sobre retículos booleanos completos con el
fin de ser aplicados a una clase de funciones entre lenguajes, llamadas
funciones polinomiales. Estas funciones permiten caracterizar los lenguajes
regulares como una componente del menor punto fijo de una determinada función
polinomial. Además, permiten solucionar algunas ecuaciones sobre lenguajes, en
particular se demuestra el lema de Arden y una generalización de éste.
Salón D507
Hora 4pm
Fecha 16 de mayo
