Principal

Autómatas y Lenguajes Formales
Grupo 7035

Prof. Dr. Favio Ezequiel Miranda Perea
Ayud. Javier Enríquez Mendoza
Ayud. Mauricio Eduardo Hernández Olvera

Horario: Lunes a viernes, 1000 a 1100 hrs.
Salón: P208, Facultad de Ciencias UNAM

Sinopsis: 

El propósito de este curso es desarrollar la teoría clásica de la computación mediante la descripción y estudio de ciertos modelos matemáticos de la noción de cómputo. Los conceptos fundamentales son tres: lenguaje, gramática y autómata. El objetivo general del curso es estudiar a profundidad distintas clases de lenguajes, gramáticas y autómatas haciendo énfasis en los conceptos abstractos de cómputo y poder computacional pero también mencionando algunas aplicaciones.

Temario: 
  • Preliminares
    • Cadenas y Lenguajes
    • Definiciones inductivas
    • Inducción Estructural
    • Lenguajes y expresiones regulares
  • Máquinas
    • Autómatas finitos
    • Autómatas de pila
    • Máquinas de Turing
  • Lenguajes
    • Gramáticas
    • Lenguajes regulares
    • Lenguajes libres del contexto
    • Lenguajes recursivos y recursivamente enumerables
    • Jerarquía de Chomsky
  • Tópicos avanzados 
    • Introducción a a teoría de computabilidad
    • Programas WHILE y GOTO,
Prerrequisitos:
  • Nociones elementales de teoría de conjuntos: operaciones con conjuntos, funciones.

  • Relaciones binarias: propiedades y operaciones, en particular relaciones de equivalencia.

  • Inducción: definición de números naturales, inducción, inducción fuerte.
  • Programación: se asumen conocimientos básicos de programación funcional, en particular de Haskell.

Resultado de imagen para automatas

Avisos

  • Ejercicio Semanal 10
    Ya está en el archivero el ejercicio semanal 10, se entrega el jueves 25 de abril.
    Posted Apr 22, 2019, 12:20 PM by Javier Enríquez Mendoza
  • Boletín 3
    Ya está disponible en el archivero el boletín correspondiente al tercer examen parcial. 
    Posted Apr 22, 2019, 12:19 PM by Javier Enríquez Mendoza
Showing posts 1 - 2 of 17. View more »