Lenguajes Formales, Autómatas y Computabilidad
Materia: Inteligencia Artificial
Departamento: Inteligencia Artificial
Créditos ECTS: 6
Semestre: 3
Carácter: Básica
Resultados de aprendizaje
- Modelar mediante procedimientos finitos conjuntos y lenguajes infinitos.
- Adquirir destreza en la aplicación de los diferentes métodos de demostración.
- Distinguir y reconocer las distintas clases de lenguajes y sus autómatas asociados según la jerarquía de Chomsky.
- Conocer modelos de cómputo universales así como los límites de lo que puede o no ser computado mediante un algoritmo.
Breve descripción de los contenidos
- Teoría y diseño de lenguajes formales y gramáticas
- Teoría y diseño de autómatas finitos y autómatas con pila
- Máquinas de Turing y modelos de cómputo universales
- Teoría de la computabilidad
Bibliografía
- Lenguajes, gramaticas y automatas. Un enfoque Práctico. P. Isasi., P. Martínez, D. Borrajo. Addison-Wesley, 1997.
- Introduction to automata theory, languages and computation. J.E. Hopcroft, J.D. Ullman. Editorial Addison-Wesley 1979.
- Introduction to the theory of computation. Michael Sipser. Ed. Thomson 2006.