BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20200101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20211201T190000
DTEND;TZID=America/Sao_Paulo:20211201T200000
DTSTAMP:20260503T054049
CREATED:20211125T125127Z
LAST-MODIFIED:20211125T125127Z
UID:7195-1638385200-1638388800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Leonardo Cremona
DESCRIPTION:Título: Minimización de Mezcladores\nDirectora: Verónica Becher\nJurados: Sergio Abriola y Julio Jacobo \nLink Aula Zoom: https://zoom.us/my/dc.aula02\nNombre Aula Zoom: dc.aula02\nClave del Aula Zoom: vonNeumann \nResumen: Los mezcladores son autómatas finitos con dos cintas de entrada y una cinta de salida.\nLa salida intercala los símbolos de cada una de las secuencias de entrada\, conservando el orden\nen el que aparecen en las entradas. La teoría clásica de minimización de autómatas finitos\nno resuelve el problema de minimización de mezcladores porque los mezcladores admiten\nuna noción de indistinguibilidad entre estados más amplia\, que no se obtiene por refinamientos\nsucesivos. En esta tesis damos un algoritmo para obtener a partir de un mezclador determinístico\notro equivalente\, pero irreducible.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-leonardo-cremona/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR