UNIVERSIDAD AUTNOMA DE NUEVO LEN

FACULTAD DE CIENCIAS FSICO MATEMTICAS

NOMBRE DE LA UNIDAD DE APRENDIZAJE: Teora de Autmatas
MODALIDAD: Presencial.
SEMESTRE: 3
OBLIGATORIA/OPTATIVA: Obligatoria
CREDITOS: 2
HORAS PRESENCIALES: 3 Horas / Semana.
HORAS DE TRABAJO EXTRA-AULA: 0 Horas / Semana.
FECHA DE ELABORACIN: 27/Feb/2009.
FECHA DE LA LTIMA ACTUALIZACIN: 27/Feb/2009.
RESPONSABLES DEL DISEO: M.A. Edna Mara Medina Morn
M.T. Jos Apolinar Loyola Rodrguez

PROPSITO:
Disear mquinas de Turing, autmatas de pila y autmatas finitos que reconozcan si una
serie de caracteres cumple las reglas de los lenguajes independientes de contexto o
lenguajes regulares utilizando conceptos de estructuras de datos. Identificar su relacin
con los lenguajes de programacin y con las fases iniciales de un compilador.

COMPETENCIAS GENERALES:
- Habilidades para la utilizacin de los diversos lenguajes: lgico, formal,
matemtico, icnico, verbal y no verbal.
- Habilidades para el desarrollo de diversas expresiones del pensamiento: lgico,
crtico, creativo y propositivo.
- Habilidades para la generacin y la aplicacin de conocimientos.

COMPETENCIAS ESPECFICAS:
- Aplicar modelos matemticos para investigar, innovar, desarrollar y patentar
nuevas tecnologas computacionales en las ciencias y en el mbito empresarial.

COMPETENCIAS PARTICULARES:
- Desarrollar programas analizando y diseando soluciones a problemas reales del
entorno a travs del uso de herramientas lgicas.
- Manejar la teora de autmatas para conocer su relacin con los lenguajes de
programacin.
- Conocer, utilizar y disear Autmatas finitos, gramticas independientes del
contexto, autmatas de pila y mquinas de turing



UNIVERSIDAD AUTNOMA DE NUEVO LEN
FACULTAD DE CIENCIAS FSICO MATEMTICAS



CONTENIDO TEMTICO:

A. Conceptos bsicos, Alfabetos, Lenguajes regulares
B. Autmatas Finitos Deterministas y No Deterministas
C. Autmatas Finitos y expresiones regulares
D. Gramticas Regulares y Gramticas Independientes de Contexto
E. Autmatas de Pila
F. Mquinas de Turing
G. Compiladores

PRODUCTO INTEGRADOR
Desarrollar un programa computacional que sea capaz de tomar como entrada un texto y
que como resultado indique si cumple o no con las reglas del lenguaje definido por el
maestro.

BIBLIOGRAFIA:
Michael Sipser (2005). Introduction to the Theory of Computation 2
nd
Edition. Course
Technology.
ISBN-10: 0534950973
ISBN-13: 978-0534950972

Dean Kelley (1995). Teora de Autmatas y Lenguajes Formales. Prentice Hall
ISBN: 9780135187050

Lewis Harry, Papadimitriou Christos H. (1997). Elements of the Theory of Computation 2
nd

edition. Prentice Hall.
ISBN-10: 0132624788
ISBN-13: 978-0132624787

Hopcroft John E., Motwani Rajeev, Ullman Jeffrey D. (2006). Introduction to Automata
Theory, Languages and Computation 3 Edition. Addison Wesley.
ISBN-10: 0321462254
ISBN-13: 978-0321462251