CES Felipe II - Web oficial  Ingeniería Técnica en Informática de Sistemas 
    Bienvenido/a       
Secciones

· Temario

· Trabajos

· Ejercicios

· Calificaciones

· Ficha de la Asignatura

· Listado de Asignaturas



Teoría de Autómatas y Lenguajes Formales     
Titulación: Ingeniería Técnica en Informática de Sistemas Plan: 98 Curso académico: 2014-2015
Asignatura: Teoría de Autómatas y Lenguajes Formales Código: 21116659 Tipo: Troncal Curso: 2º, Anual
Créditos BOE: 9
Créditos ECTS: Por determinar
Horas/semana primer cuatrimestre: 3 en aula
Horas/semana segundo cuatrimestre: 3 en aula
Profesor coordinador: Diego J. Bodas Sagi
Otros profesores de la asignatura: Francisco José Soltero Domingo  

Objetivos:
Esta asignatura está enfocada a la comprensión de las ideas fundamentales, conceptos y modelos subyacentes en la computación. La teoría de autómatas y lenguajes formales proviene de estudios en diversas áreas prácticas, así como del estudio de la computabilidad y de la resolución algorítmica de problemas. En este contexto se pretende que el alumno adquiera unos conocimientos básicos en la Teoría de Autómatas, Teoría de la computación y el estudio de los Lenguajes y Gramáticas, de esta forma el alumno comprenderá y será capaz de desarrollar aplicaciones directas de estos estudios en campos tales como: Diseño de modelos, software de exploración, software de corrección, diseño de algoritmos?
Conocimientos y destrezas que se requieren:
  • Capacidad de análisis (nivel elemental)
  • Inducción (nivel elemental)
  • Experiencia práctica en la escritura de programas en un lenguaje imperativo de alto nivel (Pascal), que les permitirá programar una serie de aplicaciones de complejidad incremental. (nivel medio)
Idioma en que se imparte la asignatura: Español
Contenidos:
Gramáticas y Lenguajes Regulares. Autómatas Finitos. Gramáticas y Lenguajes Independientes del Contexto. Autómatas de Pila Lemas de bombeo. Lema de Ogden. Simplificación de Gramáticas Máquinas de Turing
Conocimientos y destrezas que se adquieren:
  • Diseño de Lenguajes (nivel elemental)
  • Validación de gramáticas (nivel elemental)
  • Programación con máquinas de Turing (nivel elemental)
Método docente:
Enseñanza presencial en clase. Realización de ejercicios variados. Se premia e incentiva la participación y asistencia del alumno a clase
Exámenes:
  • Examen de primer parcial
  • Examen Final en junio
  • Examen Final en septiembre

Método de evaluación:
Examen parcial liberatorio en febrero. Examen final en junio. Examen final en septiembre. No se guardan parciales para septiembre.
Bibliografía:
    1.- J. E. Hopcroft, R. Motwani, J. Ullman; Introducción a la Teoría de Autómatas, Lenguajes y Computación; Addison-Wesley, 2002;



[Volver]

 
Sugerencias, comentarios, errores ...
Escribe al Webmaster: webmaster seguido de @ y ajz.ucm.es