Autómatas y Lenguajes Formales

Presentación del tema: "Autómatas y Lenguajes Formales"— Transcripción de la presentación:

1 Autómatas y Lenguajes Formales
Ingeniería en Computación Dr. Ignacio Algredo Badilo

2 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.

3 Prerrequisitos 1º 2º 3º 4º Álgebra Álgebra Lineal Matemáticas
Discretas 4º Autómatas y Lenguajes Formales

4 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

5 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.

6 Evaluación 80% Examen escrito
20% Prácticas y otros como presentaciones, reportes, tareas

7 Página Web