Teoría de la Computación - Primero 2018


Horario:
Días: Martes y Jueves
Hora: 1:50pm a 3:30pm

Aula: 810
Sección: 001
Periodo: Segundo 2018
Las consultas presenciales se realizarán en mi oficina ubicada en la planta alta del Módulo III (Oficina de la Coordinación Académica de Matemática).

Las consultas en línea se realizarán los días previos al exámen vía Google Hangout.

Mostrando 4 elementos
UnidadContenido de la UnidadDuración
Ordenar 
 
Ordenar 
 
Ordenar 
 
UnidadContenido de la UnidadDuración
Unidad 1: Autómatas de estados finitos, expresiones y conjuntos regulares Sistemas de estados finitos: definición, autómatas finitos no determinísticos. Expresiones regulares: autómatas finitos de 2 caminos, autómatas finitos con salidas, aplicaciones. Conjuntos regulares: Lema de potencia, propiedades de clausura, algoritmos de decisión, teorema de Myhill-Nerode 3 semanas + 1 semana de práctica y evaluación. 
Unidad 2: Gramáticas de contexto libre Definición y propiedades. Árboles de derivación, simplificación, forma normal de Chomsky, forma normal de Greibach 2 semanas + 1 semana de práctica y evaluación. 
Unidad 3: Lenguajes de contexto libre Autómatas push-down: descripción, definición y su relación con los lenguajes de contexto libre. Propiedades de los lenguajes de contexto libre: lema de potencias, propiedad de clausura, algoritmos de decisión.  2 semanas + 1 semana de práctica y evaluación. 
Unidad 4: Máquinas de Turing Modelo, lenguajes y funciones computables. Técnicas para la construcción de máquinas de Turing: Modificaciones, hipótesis de Church, máquinas de Turing como enumeradores. 2 semanas + 1 semana de práctica y evaluación. 
Mostrando 4 elementos
Ċ
Haller Bracho,
1 jul. 2018 12:41