Subido por xvf050264

Ficha Docente AUTC

Anuncio
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
Descargar