Programa Docente de 21714027 - TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES
- Idioma
- Modo Impartición
- Nivel Requerido
| Documento | Primer Apellido | Segundo Apellido | Nombre | Categoria | Coordinador |
|---|---|---|---|---|---|
| 70864384G | DORRONSORO | DIAZ | BERNABE | CATEDRÁTICO/A DE UNIVERSIDAD |
| Id. Compentencia | Orden | ID | Resultado formación y aprendizaje | Competencia |
|---|---|---|---|---|
| 33146 | 2 | CB2 | 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 | COMPETENCIA GENERAL |
| 33149 | 2 | CB5 | Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía | COMPETENCIA GENERAL |
| 29067 | 3 | CO02 | 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 | COMPETENCIA ESPECÍFICA |
| 29072 | 2 | CG09 | 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. | COMPETENCIA GENERAL |
| 33150 | 4 | CT1 | 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 | COMPETENCIA 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. |
| Tipo actividad formativa | Código | Descripción | Horas | Detalle |
|---|---|---|---|---|
| 1 | 01 | Teoría | 20 | |
| 2 | 02 | Prácticas, seminarios y problemas | 10 |
Resolución de problemas en clase. |
| 3 | 03 | Prácticas de informática | 30 |
Prácticas de laboratorio con el ordenador. Podrán ser individuales o en pequeños grupos |
| 10 | 10 | Actividades formativas no presenciales | 86,00 |
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 | 12 | Actividades de evaluación | 4,00 |
Pruebas teóricas y prácticas finales |
Procedimientos de Evaluación
| 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 | Temario | Descripción |
|---|---|---|
| 1 |
TEMA 1: Introducción. - Introducción a la teoría de autómatas y lenguajes formales |
|
| 2 |
TEMA 2: Autómatas finitos deterministas. - Alfabetos, cadenas y lenguajes |
|
| 3 |
TEMA 3: Autómatas finitos no deterministas. - No-determinismo |
|
| 4 |
TEMA 4: Expresiones regulares y sus propiedades. - Definición |
|
| 5 |
TEMA 5: Lenguajes regulares - Introducción |
|
| 6 |
TEMA 6: Gramáticas - Introducción |
|
| 7 |
TEMA 7: Análisis descendente y ascendente - Análisis descendente |
|
| 8 |
TEMA 8: Autómatas a pila - Definición |