GUÍA DOCENTE CURSO: 2006/07

GUÍA DOCENTE CURSO: 2006/0713863 - TEORÍA DE AUTÓMATAS YLENGUAJES FORMALES IASIGNATURA: 13863 - TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES ICENTRO: Escuela Universitaria InformáticaTITULACIÓN: Ingeniero Técnico en Informática de SistemasDEPARTAMENTO: INFORMÁTICA Y SISTEMASÁREA: Ciencia De La Comp. E Intel. ArtificialPLAN: 11 - Año 2000 ESPECIALIDAD:CURSO: Primer curso IMPARTIDA: Segundo cuatrimestre TIPO: TroncalCRÉDITOS: 4,5 TEÓRICOS: 3 PRÁCTICOS: 1,5Descriptores B.O.E.Máquinas secuenciales y autómatas finitos. Gramáticas y lenguajes formales.Temario1. LENGUAJES. (3 h.) (apuntes Inmaculada Luengo)1.1. Definiciones importantes.1.2. Operaciones con cadenas.1.3. Operaciones con lenguajes.1.4. Gramáticas Formales2. AUTÓMATAS FINITOS Y LENGUAJES REGULARES. (12 h.) (apuntes InmaculadaLuengo)2.1. Autómata Finito Determinista (AFD).2.2. Autómata Finito no determinista (AFND).2.3. Autómata Finito no determinista con landa transiciones.2.4. Expresiones regulares.2.5. Gramáticas Regulares.2.6. Aplicación de los autómatas finitos a la construccción de analizadores léxicos.3. MÁQUINAS CON SALIDA. (3 h.)(apuntes Inmaculada Luengo)3.1. Máquinas de Moore.3.2. Máquinas de Mealy.2.7. Equivalencia entre Máquinas con salida.3. AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO.(12 h.)(apuntes Inmaculada Luengo)3.1. Ejemplo de un lenguaje no regular.3.2. Autómatas de Pila (AP).3.3. Gramáticas independientes del contexto (GIC).3.4. Límites de los autómatas de pila.3.5. Analizadores sintácticos LL(k) y LR(k).3.6. Jerarquía ampliada de lenguajes: gráfico.Página 1 de 3

Requisitos PreviosEn general, deben conocer las bases y escritura del Álgebra de conjuntos y lógica formal, quecorresponden a la asignatura Álgebra y Matemática discretaObjetivosDebe conocer y manejar los conceptos de lenguaje y sus tipos, de gramática formal y tipos degramáticas, los distintos tipos de autómatas finitos y la construcción de otros equivalentes, losalgoritmos para poder construir algunos tipos de analizadores léxicos y sintácticos basadas enautómatas finitos y autómatas de pila.MetodologíaSe pretende hacer las clases lo más activas posibles, para ello se propondrá al menos una vez a lasemana una hora en que el profesor sólo actuará de moderador y en que los alumnos discutiránentre ellos y en la pizarra los ejercicios propuestos.Criterios de EvaluaciónHabrá un único examen al final del cuatrimestre. Para aprobar habrá que sacar al menos unapuntuación de 5 sobre 10.Descripción de las PrácticasPráctica número 1 a 1a 15Descripción:Resolver problemas en el aulaObjetivos:Conocimiento y manejo de los conceptos teóricos y los algoritmos aprendidosMaterial de Laboratorio recomendado (Hardware)Rotuladoras que escriban, pizarras que no reflejen, buena luz.Nº horas estimadas en laboratorio: 15Bibliografía[1 Básico] Apuntes de Teoría de Autómatas y Lenguajes Formales 1Inmaculada Luengo Merino- (2006)[2 Básico] Lenguajes, gramáticas y autómatas: un enfoque prácticoPedro Isasi Viñuela, Paloma Martínez Fernández, Daniel Borrajo MillánAddison-Wesley, Harlow (1997)0201653230[3 Básico] Teoría de la computación: lenguajes formales, autómatas y complejidadJ. Glenn BrookshearAddison-Wesley Iberoamericana, Argentina (1993)0201601192Página 2 de 3

[4 Recomendado] Teoría de autómatas y lenguajes formalesDean KelleyPrentice-Hall, Madrid (1998)0135187052[5 Recomendado] Lenguajes, gramáticas y autómatas: Curso básicoRafael Cases Muñoz, Lluís Màrquez VillodreUniversidad Politécnica de Cataluña, Barcelona (2001)8483015153Equipo DocenteINMACULADA LUENGO MERINOCategoría: TITULAR DE ESCUELA UNIVERSITARIADepartamento: INFORMÁTICA Y SISTEMASTeléfono: 928458703 Correo Electrónico: mluengo@dis.ulpgc.esWEB Personal: http://serdis.dis.ulpgc.es/~mluengo(COORDINADOR)Página 3 de 3