La asignatura ya no se imparte. Todo el material de estudio para preparar los exámenes está dispone en esta págin Web.

Anuncios

 

Tipologia

Asignatura anual, troncal, de 9 créditos (6 teóricos y 3 prácticos). La asignatura ya no se imparte de forma presencial.

Descripción

Esta asignatura es un curso introductorio a los fundamentos de los lenguajes, gramáticas y autómatas y sienta las bases para la implementación de compiladores e intérpretes. Además, también se introducen algunos conceptos de la informática teórica como son la computabilidad y la decidibilidad. Por ello, se proponen como objetivos generales que el alumno deberá ser capaz de:

  1. Explicar los conceptos relativos a lenguajes y gramáticas formales.
  2. Distinguir los diferentes tipos de lenguajes y gramáticas formales existentes.
  3. Explicar las restricciones de los distintos modelos de lenguajes.
  4. Adquirir las habilidades necesarias para desarrollar autómatas y máquinas que reconozcan lenguajes o computen funciones.
  5. Decidir si un problema es computable o no.
  6. Valorar modelos de computación diferentes.