Título: Minimización de Mezcladores
Directora: Verónica Becher
Jurados: Sergio Abriola y Julio Jacobo

Link Aula Zoom: https://zoom.us/my/dc.aula02
Nombre Aula Zoom: dc.aula02
Clave del Aula Zoom: vonNeumann

Resumen: Los mezcladores son autómatas finitos con dos cintas de entrada y una cinta de salida.
La salida intercala los símbolos de cada una de las secuencias de entrada, conservando el orden
en el que aparecen en las entradas. La teoría clásica de minimización de autómatas finitos
no resuelve el problema de minimización de mezcladores porque los mezcladores admiten
una noción de indistinguibilidad entre estados más amplia, que no se obtiene por refinamientos
sucesivos. En esta tesis damos un algoritmo para obtener a partir de un mezclador determinístico
otro equivalente, pero irreducible.