Teoría de Autómatas y Lenguajes Formales I   > > > > > > > > Titulación: Ingeniería Informática Plan de Estudios: 1992 (modificado 1998) Web de la asignatura: http://www.ii.uam.es/~talf1 Ciclo/Curso/Semestre: Primer Ciclo / Segundo Curso / Segundo Semestre Tipo de materia: Troncal Créditos: 9,0 Código de asignatura: 11072 Objetivos: Esta asignatura cubre los aspectos básicos de la especificación y reconocimiento de lenguajes, incluyendo los diferentes mecanismos que permiten realizar estas tareas, las relaciones existentes entre ellos y la relación con la teoría de la computación. Recomendaciones: Metodología Docente: - Programa: Introducción. Lenguajes Regulares. Lenguajes Independientes del Contexto. Lenguajes recursivos y recursivamente enumerables. Programa detallado Bibliografía orientativa: Alfonseca, M., Sancho, J. y Martínez, M.: 'Teoría de lenguajes, gramáticas y Autómatas', Ed. Universidad y Cultura, Madrid, 1990 Alfonseca, E., Alfonseca, M. y Moriyón, R.: 'Teoría de autómatas y lenguajes formales', McGraw Hill, Madrid, 2007. Linz, P.: 'An introduction to Formal Languages and Automata', D.C. Heath and Co., Lexington, 1990 Hopcroft, J.E., Motwani, R. and Ullman, J.D.: 'Introduction to Automata Theory, Languages, and Computation', Ed. Addison Wesley, 2001. Hopcroft, J.E., Motwani, R. and Ullman, J.D.: 'Introducción a la Teoría de Autómatas, Lenguajes y Computación', Ed. Pearson Education, 2002. Catálogo Biblioteca - Bibliografía Recomendada Coordinador/a teoría: Pilar Rodríguez Coordinador/a prácticas: Eduardo Pérez Profesorado: Teoría: Eduardo Pérez - Grupo: 21 Pilar Rodríguez - Grupos: 22 y 26 Prácticas: Eduardo Pérez - Grupos: 1a, 2b y 3b Javier Parra - Grupos: 1b y 2a Alvaro Ortigosa - Grupos: 1p y 3p Manuel García-Herranz - Grupo: 2c Pilar Rodríguez - Grupo: 2p Pendiente de Asignar - Grupo: p Evaluación: Forma de Evaluación de la asignatura