Aprobado: Fecha:

Consejo Tcnico dela Facultad 25 defebrero, 17 demarzo y 16 dejunio de 2005

Consejo Acadmico del rea delas Ciencias 11 deagosto de2005
Fsico Matemticas y delas Ingenieras
UNIVERSIDAD NACIONAL AUTNOMA DE MXICO
FACULTAD DE INGENIERA

PROGRAMA DE ESTUDIO

LENGUAJES FORMALES Y AUTMATAS 1670 6 09
Asignatura Clave Semestre Crditos

Ingeniera Elctrica Ingeniera en Computacin
Ingeniera en Computacin
Divisin Departamento Carrera en que se imparte

Asignatura: Horas: Total (horas):
Obligatoria X Tericas 4.5 Semana 4.5
Optativa Prcticas 0.0 16 Semanas 72.0


Modalidad: Curso.


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. Introduccin. 8.0
2. Gramticas regulares y autmatas de estado finito. 14.0
3. Gramticas de contexto libre y autmatas tipo push-down. 12.0
4.
Gramticas de contexto sensitivo y autmatas tipo push-down doble y
autmatas lineales con frontera.
14.0
5. Gramticas de estructura de frase y mquina de Turing. 12.0
6. Indecibilidad. 12.0
72.0

Prcticas de laboratorio 0.0

Total 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 J erarqua 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 Formas normales de Kuroda.
4.3 Autmata tipo push-down doble.
4.4 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: Temas para los que se recomienda:

CASES MUOZ, Rafael y Mrquez Villodre, Llus
Lenguajes, gramticas y autmatas.
Mxico
Alfaomega, 2002
Todos

GARCA, Pedro, PREZ, Toms y otros
Teora de autmatas y lenguajes formales
Mxico
Alfaomega, 2001
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
Todos

KELLEY, Dean
Teora de autmatas y lenguajes formales
Madrid
Prentice-Hall, 1995
Todos


MARTN, John
Lenguajes formales y teora de la computacin
3a. edicin
Mxico
McGraw-Hill, 2004
Todos

SUDKAMP, T. A.
Languages and Machines: An Introduction to the Theory of
Computer Science
2a. edicin
Massachusetts
Addison-Wesley, 1998
Todos


Bibliografa complementaria:

KOZEN, Dexter C.
Automata and computability
New York
Springer, 1997
Todos

RALSTON, A., Reilly, E. D., HEMMENDINGER, D.
Encyclopedia of Computer Science
4th. edition
England
J . Wiley, 2003
Todos













LENGUAJES FORMALES Y AUTMATAS (5 / 5)




Sugerencias didcticas:
Exposicin oral X Lecturas obligatorias X
Exposicin audiovisual X Trabajos de investigacin X
Ejercicios dentro de clase X Prcticas de taller o laboratorio
Ejercicios fuera del aula Prcticas de campo
Seminarios Otras X


Forma de evaluar:
Exmenes parciales X Participacin en clase X
Exmenes finales X Asistencias a prcticas
Trabajos y tareas fuera del aula X Otras 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.