Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2024-2

Cuarto Semestre, Autómatas y Lenguajes Formales

Grupo 7058, 40 lugares. 40 alumnos.
Profesor Lourdes del Carmen González Huesca lu mi vi 12 a 13 O127
Ayudante Juan Pablo Yamamoto Zazueta ma ju 12 a 13 O127

 

https://sites.google.com/ciencias.unam.mx/aylf221/AyLF

Classroom para avisos: 3itj6hi

TEMARIO

  1. Introducción: Cadenas y lenguajes; Definiciones inductivas; Inducción estructural.

  2. Lenguajes regulares: Expresiones regulares; Autómatas finitos (AFD, AFN, AFNε); Teorema de Kleene (Derivadas de expresiones regulares y ecuaciones de lenguajes); Teorema de Myhill-Nerode (Minimización de autómatas)

  3. Lenguajes libres de contexto: Gramáticas y formas normales; Autómatas de Pila; Ambigüedad; Algoritmos y procedimientos de decisión.

  4. Máquinas de Turing: Definición y diseño de máquinas de Turing; Lenguajes recursivos y recursivamente enumerables.

EVALUACIÓN

Toda entrega tardía sólo puede hacerse dentro de las 24hrs siguientes a la fecha determinada y se evaluará sobre el 80 % de la calificación.

  • 5 o 6 exámenes individuales cuyas fechas de aplicación estarán fijas (9 febrero, 1 marzo, 22 marzo, 19 abril, 17 mayo, 2a semana de finales)

  • Tareas en equipos de 2 o 3 personas

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.