Curso Académico 2019-20 AUTÓMATAS Y COMPUTABILIDAD Ficha Docente ASIGNATURA Nombre de asignatura (Código GeA): AUTÓMATAS Y COMPUTABILIDAD (800616) Créditos: 6 Créditos presenciales: 6,00 Créditos no presenciales: Semestre: PLAN/ES DONDE SE IMPARTE Titulación: GRADO EN MATEMÁTICAS Plan: GRADO EN MATEMÁTICAS Curso: 4 Ciclo: 1 Carácter: Optativa Duración/es: Primer cuatrimestre (actas en Feb. y Jul.) Idioma/s en que se imparte: Español Módulo/Materia: CIENCIAS DE LA COMPUTACIÓN/AUTÓMATAS Y COMPUTABILIDAD PROFESOR COORDINADOR Nombre LOPEZ BARQUILLA, NATALIA Departamento Centro Correo electrónico Sistemas Informáticos y Computación Facultad de Informática [email protected] Departamento Centro Correo electrónico Sistemas Informáticos y Computación Facultad de Informática [email protected] Teléfono PROFESORADO Nombre LOPEZ BARQUILLA, NATALIA Teléfono SINOPSIS BREVE DESCRIPTOR: Lenguajes formales y su clasificación en orden creciente de complejidad. Autómatas reconocedores y gramáticas generadoras. REQUISITOS: Se recomienda un primer curso de álgebra OBJETIVOS: Clasificación de lenguajes, autómatas y gramáticas. Nivel avanzado Máquinas de Turing. Nivel Medio Computabilidad. Nivel elemental. COMPETENCIAS: Generales Entender los fundamentos de los lenguajes informáticos Transversales: Específicas: Comprender los límites de la computación: por mucho que avance la tecnología hay problemas que no pueden ser resueltos por el ordenador. Otras: CONTENIDOS TEMÁTICOS: 1 .Introducción a los autómatas y lenguajes formales. 2. Lenguajes regulares: autómatas finitos y expresiones regulares. Lema de bombeo. 3.Lenguajes independientes del contexto: autómatas de pila y gramáticas independientes del contexto. Lema de bombeo. 4. Lenguajes recursivos y recursivamente enumerables: máquinas de Turing. 5. Introducción a la teoría de la computabilidad. ACTIVIDADES DOCENTES: Clases teóricas: Sesiones académicas teóricas Seminarios: Resolución de dudas y problemas. Aproximadamente una hora semanal. Clases prácticas: Fecha ficha docente: AUTÓMATAS Y COMPUTABILIDAD Página 1 de 2 Curso Académico 2019-20 AUTÓMATAS Y COMPUTABILIDAD Ficha Docente Sesiones académicas de problemas Trabajos de campo: Prácticas clínicas: Laboratorios: Exposiciones: Presentaciones: Otras actividades: Los seminarios se dedicarán a la resolución de dudas y problemas. Asímismo, se abordará la asignatura desde un punto de vista práctico. Aproximadamente una hora semanal. Tutorías: las tutorías estarán a disposición de los alumnos para resolver dudas TOTAL: EVALUACIÓN: A lo largo del curso se pedirá la entrega de algunos ejercicios resueltos por el alumno. Habrá un examen parcial a mitad de cuatrimestre que puntuará el 10% de la nota, los ejercicios entregados y la participación en clase puntuarán otro 10% y un examen final en la convocatoria ordinaria que puntuará un 80% de la nota final. El examen final de la convocatoria extraordinaria puntuará el 90% de la nota final y solamente se tendrán en cuenta los ejercicios entregados y la participación en clase (10% de la nota final). BIBLIOGRAFÍA BÁSICA: 1. J.E. Hopcroft, R. Motwani & J.D. Ullman. Introducción a la Teoría de Autómatas, Lenguajes y Computación. Addison-Wesley 2001. 2 H.R. Lewis & C.H. Papadimitriou. Elements of the theory of Computation. Second Edition. Pearson Prentice Hall, 1997 3.Peter Linz. An introduction to Formal Languages and Automata.Third Edition. Jones & Bartlett, 2001 4.J.C. Martin. Introduction to Languages and the Theory of Computation. 1991 OTRA INFORMACIÓN RELEVANTE Material disponible en el Campus Virtual. Fecha ficha docente: AUTÓMATAS Y COMPUTABILIDAD Página 2 de 2