Guía Docente 2018-19
LENGUAJES FORMALES

DATOS BÁSICOS DE LA GUÍA DOCENTE:

Materia: LENGUAJES FORMALES
Identificador: 33415
Titulación: DOBLE GRADO EN INGENIERÍA INFORMÁTICA Y BIOINFORMÁTICA
Módulo: TEORIA DE LA COMPUTACION
Tipo: OBLIGATORIA
Curso: 2 Periodo lectivo: Primer Cuatrimestre
Créditos: 3 Horas totales: 75
Actividades Presenciales: 31 Trabajo Autónomo: 44
Idioma Principal: Castellano Idioma Secundario: Inglés
Profesor: SANTOLARIA LORENZO, ALFONSO (T) Correo electrónico: asantolaria@usj.es

PRESENTACIÓN:

Esta asignatura introduce modelos abstractos y matemáticos sobre los fundamentos de la computación. El estudio formal de la relación entre máquinas, lenguajes y gramáticas produce varios modelos de computación. Nos centraremos en tres clases de modelos: aquellos con una cantidad finita de memoria (autómatas finitos), modelos con memoria de tipo pila (autómatas de pila) y modelos no restringidos (máquinas de Turing).

COMPETENCIAS PROFESIONALES A DESARROLLAR EN LA MATERIA:

Competencias Generales de la titulación G01 Capacidad de liderazgo para poder influir sobre un colectivo con el fin de que este alcance unos determinados objetivos de forma conjunta y eficiente
G02 Capacidad innovadora para proponer y encontrar formas nuevas y eficaces de realizar cualquier tarea y/ o función dentro de su entorno profesional con una elevada motivación por la calidad
G03 Capacidad para trabajar dentro de equipos multidisciplinares para conseguir metas comunes, anteponiendo los intereses colectivos a los personales
G04 Capacidad para trabajar siempre con responsabilidad y compromiso, creando un alto sentido del deber y el cumplimiento de las obligaciones
G05 Capacidad para adaptarse a diferentes entornos con una actitud positiva y optimista y orientar su conducta a la consecución de metas
G06 Capacidad para analizar y resolver los problemas o imprevistos complejos que puedan surgir durante la actividad profesional dentro de cualquier tipo de organización socio-económica
G07 Capacidad para trabajar con flexibilidad y versatilidad para adaptarse a las necesidades y exigencias de su entorno profesional
G08 Habilidad para comunicarse eficazmente sobre distintos temas en una variedad de contextos profesionales y con los diferentes medios disponibles
G09 Capacidad para tomar decisiones de manera imparcial y desde un punto de vista racional
G10 Capacidad crítica y analítica en la evaluación de información, datos y líneas de actuación
G11 Habilidad para desenvolverse en un entorno multicultural e internacional, relacionándose con personas de distintas nacionalidades, idiomas y culturas
G12 Capacidad para desarrollar las actividades profesionales con integridad respetando normas sociales, organizacionales y éticas
G13 Capacidad para utilizar estrategias de aprendizaje individuales orientadas a la mejora continúa en el ejercicio profesional y para emprender estudios posteriores de forma autónoma
G14 Capacidad de abstracción para manejar diferentes modelos complejos de conocimiento y aplicarlos al planteamiento y resolución de problemas
G15 Capacidad para estructurar la realidad relacionando objetos, situaciones y conceptos a través del razonamiento lógico matemático
Competencias Específicas de la titulación E02 Capacidad para aplicar los principios intrínsecos de la ingeniería basados en las matemáticas y en una combinación de disciplinas científicas
E03 Capacidad para reconocer los principios teóricos y aplicar satisfactoriamente los métodos prácticos apropiados para el análisis y la resolución de problemas de ingeniería
E09 Capacidad para mantener las competencias profesionales mediante el aprendizaje autónomo y la mejora continua
E11 Capacidad para mantenerse al día en el mundo tecnológico y empresarial en el ámbito de las tecnologías de la informática y comunicaciones
E12 Capacidad para gestionar la complejidad a través de la abstracción, el modelado, las ?best practices?, los patrones, los estándares y el uso de herramientas apropiadas
E14 Capacidad para definir, dirigir e impartir programas de formación continua del personal técnico
E27 Capacidad para elaborar y mantener documentación descriptiva de la génesis, producción y operatividad de los sistemas informáticos

REQUISITOS PREVIOS:

Ninguno

PROGRAMACIÓN DE LA MATERIA:

Contenidos de la materia:

1 - Autómatas
    1.1 - Definición
    1.2 - DFA y NFA
    1.3 - e-transition
    1.4 - Equivalencia y simplificación
    1.5 - Paso de NFA a DFA
2 - Expresiones Regulares y Lenguajes
    2.1 - Expresiones Regulares. Definición.
    2.2 - Autómatas y expresiones regulares
    2.3 - Propiedades de los lenguajes regulares
3 - Gramáticas de libre contexto
    3.1 - Definición
    3.2 - Ambigüedad y propiedades
    3.3 - Lema de bombeo
    3.4 - Forma normal y Chomsky
4 - Autómatas de pila y máquinas de Turing
    4.1 - Introducción
    4.2 - Autómatas de pila en lenguajes regulares
    4.3 - Introducción a máquinas de Turing

La planificación de la asignatura podrá verse modificada por motivos imprevistos (rendimiento del grupo, disponibilidad de recursos, modificaciones en el calendario académico, etc.) y por tanto no deberá considerarse como definitiva y cerrada.


METODOLOGÍAS Y ACTIVIDADES DE ENSEÑANZA Y APRENDIZAJE:

Metodologías de enseñanza-aprendizaje a desarrollar:

Volumen de trabajo del alumno:

Modalidad organizativa Métodos de enseñanza Horas estimadas
Actividades Presenciales
Clase magistral 13
Resolución de prácticas, problemas, ejercicios etc. 14
Actividades de evaluación 4
Trabajo Autónomo
Asistencia a tutorías 3
Estudio individual 21
Preparación de trabajos individuales 18
Lecturas obligatorias 2
Horas totales: 75

SISTEMA DE EVALUACIÓN:

Obtención de la nota final:

Pruebas escritas: 60 %
Trabajos individuales: 30 %
Participación: 10 %
TOTAL 100 %

*Las observaciones específicas sobre el sistema de evaluación serán comunicadas por escrito a los alumnos al inicio de la materia.

BIBLIOGRAFÍA Y DOCUMENTACIÓN:

Bibliografía básica:

MARTIN, John. Lenguajes Formales y Teoría de la Computación. México, etc.: McGraw-Hill, 2003.
KELLEY, Dean. Teoría de autómatas y lenguajes formales. Madrid: Prentice Hall, D.L., 1995.

Bibliografía recomendada:

HOPCROFT, John E.; MOTWANI, Rajeev; ULLMAN, Jeffrey D. Introducción a la teoría de autómatas, lenguajes y computación, 2ª edición. Madrid : Pearson Addison Wesley, 2002.

Páginas web recomendadas: