Download Presentación de la asignatura

Autómatas y
Lenguajes Formales
Ingeniería en Computación
Dr. Ignacio Algredo Badilo
Objetivos

Objetivo de la asignatura:

Proporcionar al alumno conocimientos
fundamentales sobre modelos de máquinas
computacionales, sus respectivos lenguajes y
gramáticas
formales;
adquiriendo
la
capacidad de utilizarlos en el diseño e
implementación de aplicaciones reales.
Prerrequisitos
1º
Álgebra
2º
Álgebra Lineal
3º
Matemáticas
Discretas
4º
Autómatas y
Lenguajes
Formales
Contenido de la asignatura







INTRODUCCIÓN
AUTÓMATAS FINITOS
EXPRESIONES Y LENGUAJES
REGULARES
GRAMÁTICAS INDEPENDIENTES DEL
CONTEXTO
AUTÓMATAS DE PILA
PROPIEDADES DE LOS LENGUAJES
INDEPENDIENTES DEL CONTEXTO
MÁQUINA DE TURING
Bibliografía







Lenguajes, gramáticas y autómatas, Rafel Cases, Luís
Márquez, Alfaomega Editorial. 2002
Introducción a la Teoría de Autómatas, Lenguajes y
Computación, Hopcroft, Motwan, Ullman, Segunda
Edición, Addison Wesley Editorial, 2002.
Teoría de Autómatas y Lenguajes Formales, García,
Pérez, Ruiz, Segarra, Sempere, Vásquez de Parga,
Alfaomega Editorial, 2001.
Introduction to the theory of computation, Michael Sipser,
Second Edition, Course Technology Editor, 2005.
Automata theory with modern applications, James
Anderson, Cambridge University Press, 2006.
Introducing the Theory of Computation, Wayne Goddard,
First Edition, Jones & Bartlett Publishers, 2008.
An Introduction to Formal Language and Automata, Peter
Linz, Fourth Edition, Jones & Bartlett Publisher, 2006.
Evaluación


80% Examen escrito
20% Prácticas y otros como presentaciones,
reportes, tareas
Página Web
http://www.unistmo.edu.mx/~algredobadillo/aylf11314b.html