Visualizar: Normal | Grande | Pequeño | Alto contraste

TALF: Teorí de Autómatas y Lenguajes Formales

La asignatura


En esta página web se incluye información sobre la asignatura de Teoría de Autómatas y Lenguajes Formales, correspondiente a las titulaciones de Ingeniero en Informática, Ingeniero Técnico en Informática de Sistemas y Licenciado en Ciencias Matemáticas. La asignatura depende del Departamento de Sistemas Informáticos y Computación de la Facultad de Informática de la Universidad Complutense de Madrid.

El objetivo de la asignatura es el de tratar de comprender el concepto de sistema informático abstracto, independiente de tecnologías, lo que conlleva el estudio de los autómatas y su jerarquía. Además, deben estudiarse los lenguajes formales como parte básica de la Informática. Los contenidos son los siguientes:

  1. Introducción: Calculabilidad, Autómatas y Lenguajes.
  2. Introducción a los Lenguajes Formales.
  3. Lenguajes Regulares y Autómatas Finitos: Lenguajes Regulares. Expresiones Regulares. Autómatas Finitos.
  4. Lenguajes Incontextuales y Autómatas con pila. Gramáticas. Gramáticas incontextuales.
  5. Calculabilidad.
  6. Máquinas de Turing. Gramáticas generales.


En esta página encontrarás material tanto teórico como práctico que te ayudará a seguir la asignatura. Hay que tener en cuenta que no son apuntes completos, sino simplemente material complementario al que se da en clase.

Es recomendable realizar los ejercicios antes de ver sus soluciones, y utilizar éstas últimas para corregirlos y verificarlos.

¡Intenta también aprovechar los exámenes de años anteriores para prepararte para el examen!

Recuerda que uno de los libros básicos de la asignatura tiene una página web donde aparecen resueltos numerosos ejercicios del libro. Asimismo, otra web interesante es la de la herramienta JFLAP.



Dirección:
Fernando Rubio Diez
Departamento de Sistemas Informáticos y Programación
Facultad de Informática
Universidad Complutense
C/. Profesor José García Santesmases, s/n
28040 Madrid
Tfno: +34-91-3947629
Fax: +34-91-3947529
e-mail: fernando@sip.ucm.es



Facultad de Informática - Universidad Complutense de Madrid