Presentación de la asignatura de Lenguajes Formales

1 Cuestiones cotidianas de la asignatura

  • Horario de la asignatura: Lunes y Jueves (9:30-10:30) en el aula 15, y Viernes (11:45-13:45) en el seminario de informática .
  • Material de la asignatura: mi página personal y en moodle.

2 Nota final de la asignatura

  • Examen final: 40% de la nota.
  • Trabajo individual: 20% de la nota.
  • Trabajo en grupo: 20% de la nota.
  • Problemas: 10% de la nota.

3 Objetivos

  • Definir cualquier problema mediante un lenguaje.
  • Comprender los limites de la computación.
  • Esencial para la construcción de compiladores, los modelos de computación, teoría de la complejidad…

4 El nombre de la asignatura

  • Hablad de vuestras expectativas.
  • Hablad de que se entiende por un lenguaje.

5 Lenguajes formales es una asignatura teórica

  • Autómatas
  • Expresiones regulares.
  • Gramáticas formales.

6 Lenguajes formales es una asignatura práctica

  • Empezaremos con los modelos más limitados a los más versatiles.
  • Mientras aprenderemos las aplicaciones prácticas de cada modelo.
  • Además de intentar conocer como probar resultados de una manera formal.

7 Recordad

  • el objetivo es ambicioso, trabajando en ello,
  • demostraros que es asequible trabajando en ello,
  • motivaros para estudiar y no tomarlo simplemente para aprobar un examen final,
  • poneros a programar en problemas nuevos y que lo veáis como un reto personal,
  • copiar implica suspender la convocatoria de junio.

8 Bibliografía

  • L. M. Pardo, C. Tirnauca y D. Gómez. Teoría de Lenguajes Formales y Autómatas
  • J. E. Hopcroft, R. Motwani y J. D. Ullman. Introduction to Automata Theory, Languages, and Computation, 3/Ed.
  • M. Pilgrim. Dive into Python 3.