UNIVERSIDAD NACIONAL AUTNOMA DE MXICO FACULTAD DE INGENIERA PROGRAMA DE ESTUDIO

LENGUAJES FORMALES Y AUTMATAS

Asignatura Ingeniera Elctrica Divisin

1670
Clave

6
Semestre

09
Crditos

Ingeniera en Computacin Departamento

Ingeniera en Computacin Carrera en que se imparte

Asignatura: Obligatoria Optativa X

Horas: Tericas Prcticas 4.5 0.0

Aprobado: Consejo Tcnico de la Facultad

Total (horas): Semana 16 Semanas 4.5 72.0

Fecha: 25 de febrero, 17 de marzo y 16 de junio de 2005 11 de agosto de 2005

Modalidad: Curso.

Consejo Acadmico del rea de las Ciencias Fsico Matemticas y de las Ingenieras

Asignatura obligatoria antecedente: Ninguna.

Asignatura obligatoria consecuente: Compiladores.

Objetivo(s) del curso: El alumno describir la teora y la tcnica para el diseo de lenguajes de computadora, as como los aspectos formales de la teora de los lenguajes.

Temario
NM. NOMBRE HORAS

1. 2. 3. 4. 5. 6.

Introduccin. Gramticas regulares y autmatas de estado finito. Gramticas de contexto libre y autmatas tipo push-down. Gramticas de contexto sensitivo y autmatas tipo push-down doble y autmatas lineales con frontera. Gramticas de estructura de frase y mquina de Turing. Indecibilidad.

8.0 14.0 12.0 14.0 12.0 12.0 72.0

Prcticas de laboratorio Total

0.0 72.0

LENGUAJES FORMALES Y AUTMATAS

(2 / 5)

1 Introduccin Objetivo: El alumno explicar los conceptos, notaciones, propiedades y caractersticas de la teora de lenguajes, gramticas y autmatas. Contenido: 1.1 Conceptos bsicos y notacin. 1.2 Definicin de operaciones con lenguajes. 1.3 Jerarqua de Chomsky. 1.4 Propiedades de cerradura. 1.5 Gramticas y lenguajes.

2 Gramticas regulares y autmatas de estado finito Objetivo: El alumno explicar los conceptos de autmatas finitos y gramticas regulares. Formular la relacin entre los autmatas finitos, los no determinsticos y las gramticas regulares. Contenido: 2.1 Introduccin a las gramticas regulares. 2.2 Autmata finito no-determinstico. 2.3 Autmata finito determinstico. 2.4 Autmata finito con movimientos . 2.5 Minimizacin de autmatas finitos.

3 Gramticas de contexto libre y autmatas tipo push-down Objetivo: El alumno analizar las gramticas de contexto libre y los autmatas de tipo push-down, estableciendo de manera precisa las relaciones existentes. Contenido: 3.1 Introduccin a las gramticas de contexto libre. 3.2 rboles de derivacin. 3.3 Lema de bombeo y gramtica de contexto libre. 3.4 Simplificacin de gramticas de contexto libre. 3.5 Programas, lenguajes y parsing. 3.6 Introduccin a los autmatas tipo push-down. 3.7 Relacin entre autmatas tipo push-down y lenguajes de contexto libre.

4 Gramticas de contexto sensitivo y autmatas tipo push-down doble y autmatas lineales con frontera Objetivo: El alumno establecer la relacin entre las gramticas de contexto sensitivo libre y los autmatas de tipo push-down doble, as como con los autmatas lineales con frontera. Contenido: 4.1 Introduccin a las gramticas de contexto sensitivo.

LENGUAJES FORMALES Y AUTMATAS

(3 / 5)

4.2 4.3 4.4

Formas normales de Kuroda. Autmata tipo push-down doble. Autmatas lineales con frontera.

5 Gramticas de estructura de frase y mquina de Turing Objetivo: El alumno explicar las gramticas de estructura de frase. Construir y demostrar algoritmos en la mquina de Turing. Contenido: 5.1 Introduccin a las gramticas de estructura de frase. 5.2 El modelo de mquina de Turing. 5.3 Lenguajes computables. 5.4 Mquina de Turing Universal. 5.5 Variaciones de la mquina de Turing.

6 Indecibilidad Objetivo: El alumno usar la recursividad en los lenguajes y explicar el concepto de problemas indecidibles. Contenido: 6.1 Indecibilidad. 6.2 Lenguajes recursivos y recursivos enumerables. 6.3 Tesis de Church-Turing y problemas indecidibles. 6.4 Teorema de Rice y problemas indecidibles. 6.5 Problema de correspondencia de post e indecibilidad. 6.6 Halting problem e indecibilidad. 6.7 Problemas de P y NP en el espacio y en el tiempo.

Bibliografa bsica: CASES MUOZ, Rafael y Mrquez Villodre, Llus Lenguajes, gramticas y autmatas. Mxico Alfaomega, 2002 GARCA, Pedro, PREZ, Toms y otros Teora de autmatas y lenguajes formales Mxico Alfaomega, 2001

Temas para los que se recomienda:

Todos

Todos

LENGUAJES FORMALES Y AUTMATAS

(4 / 5)

HOPCROFT, J. E., MOTWANI, R., ULLMAN, J. D. Introduccin a la teora de autmatas, lenguajes y computacin 2a. edicin Madrid Pearson Education, 2002 KELLEY, Dean Teora de autmatas y lenguajes formales Madrid Prentice-Hall, 1995 MARTN, John Lenguajes formales y teora de la computacin 3a. edicin Mxico McGraw-Hill, 2004 SUDKAMP, T. A. Languages and Machines: An Introduction to the Theory of Computer Science 2a. edicin Massachusetts Addison-Wesley, 1998

Todos

Todos

Todos

Todos

Bibliografa complementaria: KOZEN, Dexter C. Automata and computability New York Springer, 1997 RALSTON, A., Reilly, E. D., HEMMENDINGER, D. Encyclopedia of Computer Science 4th. edition England J. Wiley, 2003

Todos

Todos

LENGUAJES FORMALES Y AUTMATAS

(5 / 5)

Sugerencias didcticas: Exposicin oral Exposicin audiovisual Ejercicios dentro de clase Ejercicios fuera del aula Seminarios

X X X

Lecturas obligatorias Trabajos de investigacin Prcticas de taller o laboratorio Prcticas de campo Otras

X X

Forma de evaluar: Exmenes parciales Exmenes finales Trabajos y tareas fuera del aula

X X X

Participacin en clase Asistencias a prcticas Otras

X X

Perfil profesiogrfico de quienes pueden impartir la asignatura. Egresados de las carreras de Ingeniero en Computacin, Ciencias de la Computacin o afn, preferentemente con grado de Maestro o Doctor. rea de especialidad en Ciencias de la Computacin.