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º 2º 3º 4º Álgebra Álgebra Lineal 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