M.C. Juan Juárez Fuentes correo: jjf@mixteco.utm.mx

Teoria de la Computación


Software Tareas Programas Apuntes Calificaciones Avisos
" " Bibliografía " " Evaluaciones Temario Asistencias




Horario del grupo

Grupo: 302-A
Grupo: 302-B




Avisos

Aviso 1: (2024-10-02, 00:00)
¡Bienvenidos al curso de Teoría de la Computación!




Clases




Asistencias





Apuntes

Tema 1: Introducción Preliminares al tema: Preliminares
Tema 2: Autómatas Finitos
Tema 3: Expresiones y Lenguajes Regulares
Tema 4: Gramáticas independientes del contexto
Tema 5: Autómatas de Pila
Tema 6: Propiedades de los lenguajes independientes del contexto
Tema 7: Máquina de Turing
AFN
Lema del Bombeo para LR.
Expresiones Regulares.
Expresiones Regulares Complemento.
Gramaticas Libres de Contexto.
Autómata de Pila.
Ejemplo MT 1.
Ejemplo MT 2.




Programas

Ejemplo 01 PROGRAMA: Autómata que reconoce las palabras que terminan con un 0.




Tareas

Tarea 1 (17-10-2024)
Saludos,
Para el 23 de Octubre debera de haber estudiado todo el capitulo 2 de la pagina del curso. Asi mismo aqui esta el enlace:
https://www.utm.mx/~jjf/tc/TEMA2.pdf
Gracias




Evaluaciones

Examen Semanal Examen de los Viernes
Este semestre las evaluaciones serán por medio de la platafarma Classroom de Google.




Calificaciones





Software

JFLAP




Bibliografía


Textos Básicos:

Introducción a la Teoría de Autómatas, Lenguajes y Computación
Hopcroft, Jhon E.; Motwani, Rajeev; Ullman, Jeffrey D., 2002.
Addison Wesley, 2da ed.

Teoría de Autómatas y Lenguajes Formales
Dean Kelly, 1995.
Printence Hall.

Introduction to the theory of computation
Sipser, Michael, 2006.
Course Technology, 2da ed.

Automata Theory with modern aplications
Anderson, James A., 2006.
Cambridge University Press

Automata and computability
Dexter C. Kozen, 1997.
Springer

Computability, complexity, and languages
Davis, M. D.; Siegal, R., Weyuker, Elaine, 1994.
Morgan Kaufmann, Academic press professional



Textos de Consulta:

Introduction to Algorithms
Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford, 2001.
Mit press, 2da ed.

Autómatas Compiladores: Principios, técnicas y herramientas
Aho; Alfred V., Sethi; Ravi, Ullman; Jeffrey D., 1998.
Pearson