Esta es la página para el curso de Lenguajes Formales y Autómatas, por el momento está página está en constante actualización.
Información general
- El programa oficial aquí .
- El calendario de la clase aquí
- Presentación del curso aquí
- Bibliografía aquí
Sesiones
- Las máquinas que computan
- De lenguajes y palabras
- La máquina sin memoria
- Las máquinas que están en varios lugares
- Abro paréntesis, abro paréntesis, cierro paréntesis, …
- Gramáticas libres de contexto en su habitat
- Depende del contexto
- Revisando la jerarquía de Chomsky
- Máquinas de Turing o máquinas con cola
- Máquinas que comen máquinas
- La pregunta para la que no me puedo decidir
- Problemas, problemas, problemas
- Extra: Recapitulación
Sesiones prácticas
- Problemas con conjuntos
- Problemas con autómatas finitos
- AFND, AFND-$\epsilon$ y ER
- Gramáticas libres de contexto
- Autómata de pila
- Automatas de pila y sus límites
- Autómatas lineales con frontera
- Máquinas de Turing
- Máquinas de Turing Calculadora
- ¿Qué tan grande es mi problema?
- Revisión de problemas
Bibliografía
- CASES MUÑOZ, Rafael y Márquez Villodre, Lluís Lenguajes, gramáticas y autómatas . México Alfaomega, 2002 DGB/UNAM
- GARCÍA, Pedro, PÉREZ, Tomás y otros Teoría de autómatas y lenguajes formales México Alfaomega, 2001 DGB/UNAM
- HOPCROFT, J. E., MOTWANI, R., ULLMAN, J. D. Introducción a la teoría de autómatas, lenguajes y computación 2a edición Madrid Pearson Education, 2002 DGB/UNAM
- KELLEY, Dean Teoría de autómatas y lenguajes formales Madrid Prentice-Hall, 1995 DGB/UNAM
- MARTÍN, John Lenguajes formales y teoría de la computación 3a. edición México McGraw-Hill, 2004 DGB/UNAM
- SUDKAMP, T. A. Languages and Machines: An Introduction to the Theory of Computer Science 2a edición Massachusetts Addison-Wesley, 1998 DGB/UNAM
Revisión uno
Lecturas recomendadas:
- Apoyarse en el material de la bibliografía
- Documentación de expresiones regulares para python
Revisión dos
Apoyarse en algún material de la bibliografía
Revisión tres
Apoyarse en el material de la bibliografía
Recursos externos
- Jerarquía de Chomsky extendidas hechas por el curso 2016-II
- Jerarquía de Chomsky extendidas hechas por el curso 2016-I
- JFLAP
- Dibuja autómatas
- Dibuja un árbol
- Máquina de Turing
- Links interesantes en el tema
Cursos anteriores
Otros cursos
Otros cursos similares en español
- Materia: Autómatas y Lenguajes Formales, material Dr. Francisco Hernández, FC/UNAM)
- Materia: Autómatas y Lenguajes Formales (2014), material Mtro. Noé Hernández, FC/UNAM)
- Materia: Autómatas y Lenguajes Formales (2015), material Mtro. Noé Hernández, FC/UNAM)
- Materia: Lenguajes Formales y Autómatas, material Ing. Almicar Monterrosa)
- Maeria: Teoría de Autómatas y Lenguajes Formales, material Dr. Luis Pineda, PCIC/UNAM
- Videos curso anterior
- Materia: Autómatas y Lenguajes Formales, material Dr. Favio Miranda, PCIC/UNAM
- Libro: Autómatas y lenguajes, Ramón Brena, ITESM (PDF )
- Libro: Introducción a la Teoria de la Computación, Elisa Viso G.