Inicio >> Docencia >> Titulación >> Asignaturas/Cursos >> Presentación
           --

Lenguajes Formales (12517)


Presentación Grupos Recursos Bibliografía Exámenes Avisos

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.

Profesorado
Belén Pérez Lancho
Correo electrónico
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

Áreas de Conocimiento
Ingeniería de Sistemas y Automática
---
Identificarse Accesibilidad
Idioma inglés
Advertencia sobre la información contenida en esta aplicación Web
© 2024 Departamento de Informática y Automática - Universidad de Salamanca
Webmaster: Correo electrónico
Versión Móvil
[Contenido semántico de esta página]
Member of Informatics Europe Acerca de