UniversidaddeCádiz

Programas Docentes de Asignaturas

Asignatura: 21714027 | TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES

Titulación: 1725 | GRADO EN INGENIERÍA INFORMÁTICA

Centro: 17 | ESCUELA SUPERIOR DE INGENIERÍA

Departamento: C137 | INGENIERIA INFORMATICA

Área: 570 | LENGUAJES Y SISTEMAS INFORMATICOS

Compartidas:

Tipo estudio: GRADO

Ofertada: SÍ

Vigencia: VIGENTE

Créd. Teoría: 2,50

Créd. Prácticas: 5,00

Créd. ECTS: 6,00

Tipo asignatura: OPTATIVA

Módulo: MODULO IIIA - TECNOLOGÍA ESPECÍFICA COMPUTACIÓN

Materia: MATERIA IIIA.2 PROCESADORES DE LENGUAJES

Matriculados 2024-25: 24

Matriculados 2025-26: 30

Duración: SEGUNDO SEMESTRE

Curso: 3, 4

Idioma: CASTELLANO

Mostrar información

Primer apellido	Segundo apellido	Nombre	Categoría/Empresa	Coordinación
DORRONSORO	DIAZ	BERNABE	CATEDRÁTICO/A DE UNIVERSIDAD

Resultado formación y aprendizaje	Competencia
Que los estudiantes sepan aplicar sus conocimientos a su trabajo o vocación de una forma profesional y posean las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y la resolución de problemas dentro de su área de estudio	GENERAL
Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía	GENERAL
Capacidad para conocer los fundamentos teóricos de los lenguajes de programación y las técnicas de procesamiento léxico, sintáctico y semántico asociadas, y saber aplicarlas para la creación, diseño y procesamiento de lenguajes	ESPECÍFICA
Capacidad para resolver problemas con iniciativa, toma de decisiones, autonomía y creatividad. Capacidad para saber comunicar y transmitir los conocimientos, habilidades y destrezas de la profesión de Ingeniero Técnico en Informática.	GENERAL
Trabajo en equipo: capacidad de asumir las labores asignadas dentro de un equipo, así como de integrarse en él y trabajar de forma eficiente con el resto de sus integrantes	TRANSVERSAL

ID/Orden	Resultado
1	Modelar procesadores de lenguajes utilizando la teoría de autómatas finitos (en sus versiones determinista y no determinista) que reconozcan a lenguajes regulares dados. Aplicar los métodos de transformación entre las diferentes clases de autómatas finitos. Minimizar autómatas finitos.
2	Saber diseñar e implementar un lenguaje de programación a nivel léxico.
3	Desarrollar tabularmente la Jerarquía de Chomsky y ser capaz de listar sus implicaciones teóricas. Saber diseñar lenguajes libres de contexto mediante gramáticas y autómatas de pila, y conocer los algoritmos de transformación entre ambos.
4	Saber diseñar un lenguaje de programación a nivel sintáctico así como implementar un analizador sintáctico: tanto ascendente como descendente; conociendo sus fundamentos teóricos y sus limitaciones.
6	Saber utilizar herramientas de ayuda a nivel léxico y sintáctico.
7	Saber demostrar si un lenguaje es regular o no. Describir un lenguaje regular mediante expresiones regulares y autómatas finitos, y aplicar los algoritmos para ttransformar de expresión regular a un autómata finito y viceversa.

Código	Descripción	Horas	Detalle
01	Teoría	20
02	Prácticas, seminarios y problemas	10	Resolución de problemas en clase.
03	Prácticas de informática	30	Prácticas de laboratorio con el ordenador. Podrán ser individuales o en pequeños grupos
10	Actividades formativas no presenciales	86	a) Estudio continuado de la asignatura. b) Realización de prácticas individuales con el ordenador. c) Realización de proyectos individuales o en pequeños grupos. d) Resolución de los ejercicios propuestos por el profesor.
12	Actividades de evaluación	4	Pruebas teóricas y prácticas finales

ID/Orden	Tarea/Actividad	Medios, técnicas e instrumentos	Ponderación
1	Prácticas sobre ordenador	Entrega de los programas y documentación requerida a través del campus virtual	20
2	Examen final con cuestiones sobre los contenidos teóricos y prácticos.	Examen final escrito	60
3	Desarrollo de un proyecto en grupo	Memoria y documentación del proyecto (en grupos pequeños).	20

ID/Orden	Tema	Descripción
1	TEMA 1: Introducción. - Introducción a la teoría de autómatas y lenguajes formales - Motivación - Ejemplos y ejercicios
2	TEMA 2: Autómatas finitos deterministas. - Alfabetos, cadenas y lenguajes - Tablas de transición - Lenguajes regulares - Minimización de autómatas finitos deterministas - Equivalencia de autómatas finitos deterministas
3	TEMA 3: Autómatas finitos no deterministas. - No-determinismo - Equivalencia entre autómatas finitos deterministas y autómatas finitos no deterministas - Transiciones épsilon
4	TEMA 4: Expresiones regulares y sus propiedades. - Definición - Equivalencia entre autómatas finitos deterministas y expresiones regulares - Pasar de autómata finito determinista a expresión regular - Pasar de expresión regular a autómata finito determinista
5	TEMA 5: Lenguajes regulares - Introducción - Propiedades de decisión - Propiedades de cierre
6	TEMA 6: Gramáticas - Introducción - Jerarquía de Chomsky - Gramáticas regulares - Gramáticas libres del contexto - Árboles de análisis - El arte de diseñar gramáticas
7	TEMA 7: Análisis descendente y ascendente - Análisis descendente - Análisis ascendente
8	TEMA 8: Autómatas a pila - Definición - Movimientos en un autómata a pila - El lenguaje de un autómata a pila - Autómata a pila determinista