| Recomendaciones previas |
Esta asignatura debe cursarse antes de Informática Teórica (3er curso, 1er cuatrimestre). Además es conveniente haber cursado ya Matemática Discreta (2º Curso, 1er Cuatrimestre).
|
|
|
| Objetivos de la asignatura |
- Conocer los fundamentos teóricos de los lenguajes de programación, tanto desde el punto de vista de su generación (gramáticas formales) como de su reconocimiento (máquinas y autómatas).
- Aprender a formalizar algoritmos de decisión o de análisis.
- Sentar las bases del análisis léxico y sintáctico, necesarias para abordar el estudio y diseño de compiladores e intérpretes.
|
|
|
| Contenidos |
TEMA 1. INTRODUCCIÓN- Preliminares matemáticos y lógicos.
- Definiciones básicas.
- Lenguajes y gramáticas formales.
TEMA 2. AUTÓMATAS FINITOS Y LENGUAJES REGULARES - Autómatas finitos deterministas y no deterministas.
- Gramáticas regulares y expresiones regulares.
- Relaciones.
- Propiedades.
- Análisis léxico.
TEMA 3. AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DE CONTEXTO - Autómatas de pila.
- Gramáticas y lenguajes independientes de contexto.
- Relaciones.
- Propiedades.
- Análisis sintáctico.
|
|
|
| Evaluación |
Durante el curso se propondrán ejercicios que de forma voluntaria podrán entregarse para su corrección y evaluación.
El examen principal es de tipo test, incluyendo preguntas teóricas y preguntas prácticas. También podrá incluir un ejercicio de problemas.
|
|
|
|
|
| Otros datos |
Créditos: 4.5 (3.0 T + 1.5 P)
,
Segundo cuatrimestre
,
Troncal
,
Número de grupos de teoría: 2
,
Número de grupos de práctica: 2
,
Acceso a la plataforma virtual
|
|
Ingeniería Técnica en Informática de Sistemas (Plan 1997)
|
Segundo curso
|
|
| Códigos Unesco |
| 110215 |
Teoría de lenguajes formales |
| 120323 |
Lenguajes de programación |
|
|
|
|
|
|
