Teora de automtas y lenguajes formales Grado en Matemticas Curso 2012-13

TEORA DE AUTOMTAS Y LENGUAJES FORMALES GUA DOCENTE CURSO 2012-13

Titulacin: Asignatura: Materia: Mdulo: Carcter: Grado en Matemticas Teora de automtas y lenguajes formales Teora de autmatas y lenguajes formales Optativas OPTATIVA 6,00 Curso: Horas presenciales: 4 60,00 Espaol Ingls, Francs, Espaol Semestre: Primer Semestre 90,00 Horas estimadas de trabajo autnomo: 701G 478

Crditos ECTS:

Idiomas en que se imparte la asignatura: Idiomas del material de lectura o audiovisual:

DEPARTAMENTOS RESPONSABLES DE LA DOCENCIA MATEMTICAS Y COMPUTACIN Direccin: Localidad: Telfono: C/ Luis de Ulloa, s/n Logroo 941299452 Fax: 941299460 Provincia: Correo electrnico: Cdigo postal: La Rioja R111 26004

PROFESORES Profesor responsable de la asignatura: Telfono: Despacho: 941299457 211 No especificado Benito Clavijo, Mara Del Pilar Correo electrnico: Edificio: pilar.benito@unirioja.es Edificio Vives

Horario de tutoras:

DESCRIPCIN DE LOS CONTENIDOS - Lenguajes regulares y autmatas finitos. Equivalencia entre expresiones regulares y autmatas. Lema de Bombeo. - Lenguajes libres de contexto y autmatas con pila. Gramticas - Mquinas de Turing. Tesis de Church. Mquinas de Turing universales - Problemas insolubles. Problema de la parada. REQUISITOS PREVIOS DE CONOCIMIENTOS Y COMPETENCIAS PARA PODER CURSAR CON XITO LA ASIGNATURA Se aconseja conocer fundamentos de teora de conjuntos. Relacin de asignaturas que proporcionan los conocimientos y competencias requeridos Matemtica discreta CONTEXTO Los fundamentos tericos de la informtica descansan en los lenguajes formales y el concepto de autmata, herramientas imprescindibles para adentrarse en muchos campos de las Ciencias de la Computacin. Lenguajes y autmatas y los algoritmos que los relacionan son necesarios para comprender el funcionamiento de compiladores y procesadores, la descripcin de datos, la especificacin de interfaces y las capacidades de los procesos de clculo. Estos objetos suelen ser introducidos con un cierto nivel de abstraccin matemtica que resulta de inters en la formacin de los estudiantes del grado de matemticas. COMPETENCIAS Competencias generales CG 1. Comprender el lenguaje matemtico, enunciados y demostraciones, identificando razonamientos incorrectos, y utilizarlo en diversos problemas y aplicaciones. CG 6. Relacionar el conocimiento especializado de Matemticas con el conocimiento general en el que se inserta y con las herramientas que utiliza cuando se aplica en diversas opciones profesionales, especialmente en el marco de las TIC. CG 7. Saber abstraer las propiedades estructurales de objetos de la realidad observada y de otros mbitos, distinguindolas de aquellas puramente ocasionales, comprobando la aplicabilidad de las Matemticas. CG 8. Capacitar para el aprendizaje autnomo de nuevos conocimientos y tcnicas. Competencias especficas

20/07/12 12:48:23 - G 2012-13 - 701G - 478

Pg. 1 de 3.

Teora de automtas y lenguajes formales Grado en Matemticas Curso 2012-13

CE 2. Utilizar aplicaciones informticas de anlisis estadstico, clculo numrico y simblico, visualizacin grfica, optimizacin, u otras, para experimentar en Matemticas y resolver problemas. CE 3. Proponer, analizar, validar e interpretar modelos de situaciones reales sencillas, utilizando las herramientas matemticas ms adecuadas a los fines que se persigan. CE 4. Encontrar soluciones algortmicas de problemas matemticos y de aplicacin (de mbito acadmico, tcnico, financiero o social), sabiendo comparar distintas alternativas, segn criterios de adecuacin, complejidad y coste. RESULTADOS DEL APRENDIZAJE - Conocer los conceptos fundamentales de lenguajes, sus propiedades, su jerarqua y su relacin natural con los lenguajes de programacin. - Manejar y disear mquinas de cmputo de diferentes tipos como reconocedoras de lenguajes de complejidad distinta. - Comprender las limitaciones de los ordenadores y sus capacidades TEMARIO PRELIMINARES: Conjuntos y relaciones. Clausura Alfabetos y lenguajes. Descripcin de lenguajes. Operaciones. Expresiones regulares. LENGUAJES REGULARES Y SUS MQUINAS: Autmatas finitos deterministas y no deterministas. Mtodos de diseo. Equivalencia entre autmatas finitos y expresiones regulares. Algoritmos de conversin. Lema de bombeo. Minimizacin. LENGUAJES LIBRES DE CONTEXTO Y SUS MQUINAS: Gramticas y generacin de lenguajes. Jerarqua de Chomsky. Lenguajes libres de contexto. Autmatas con pila. Equivalencia entre autmatas con pila y lenguajes libres de contexto. Algoritmos de conversin. INTRODUCCIN A MQUINAS TURING: Definicin y funcionamiento de Mquinas Turing. Computacin y decidibilidad Turing. Diseo de mquinas. Tesis de Church. Problemas insolubles. BIBLIOGRAFA Tipo: Bsica Bsica Bsica Recursos en Internet JFLAP. Paquete Java diseado como asistente para el aprendizaje de conceptos bsicos en lenguajes y autmatas. Incluye edicin grfica y los algoritmos bsicos de diseo y conversin que desarrollaremos a lo largo del curso. http://www.jflap.org/jflaptmp Pgina de wikipedia de presentacin de autmatas y lenguajes http://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut%C3%B3matas Pgina web del profesor Arno Fornella de la Universidad de Vigo con material terico-prctico sobre lenguajes y autmatas. http://trevinca.ei.uvigo.es/~formella/doc/talf11/index.html METODOLOGA Modalidades organizativas Clases tericas Seminarios y talleres Clases prcticas Tutoras Estudio y trabajo en grupo Estudio y trabajo autnomo individual Mtodos de enseanza Mtodo expositivo - Leccin magistral Estudio de casos Resolucin de ejercicios y problemas Aprendizaje orientado a proyectos Aprendizaje cooperativo ORGANIZACIN Actividades presenciales Clases prcticas de aula Tamao de grupo Reducido Horas 18,00 Ttulo Elements of the Theory of Computation Absys Biba Introduccin a la Teora de Autmatas, Lenguajes y Computacin Absys Biba Lenguajes Formales y Teora de la computacin Absys Biba

20/07/12 12:48:23 - G 2012-13 - 701G - 478

Pg. 2 de 3.

Teora de automtas y lenguajes formales Grado en Matemticas Curso 2012-13

Clases prcticas de laboratorio o aula informtica Clases tericas Total de horas presenciales Trabajo autnomo del estudiante Estudio autnomo individual o en grupo Preparacin de las prcticas y elaboracin de cuaderno de prcticas

Informtica Grande

10,00 32,00 60,00 Horas 40,00 20,00 30,00 90,00 150,00

Resolucin individual de ejercicios, cuestiones u otros trabajos, actividades en biblioteca o similar Total de horas de trabajo autnomo Total de horas EVALUACIN Sistemas de evaluacin Cuaderno de prcticas Examen Final Trabajos y proyectos Total % 30 50 20 100%

Recuperable? No S S

Comentarios Para aprobar la asignatura, debe haber un cierto equilibrio entre las notas de distintos items de evaluacin. La asistencia a prcticas de laboratorio es obligatoria excepto para los alumnos semipresenciales. Para estos alumnos se aplicar la normativa vigente: "Para los estudiantes a tiempo parcial (reconocidos como tales por la Universidad), las actividades de evaluacin no recuperable podrn ser sustituidas por otras, a especificar en cada caso. Esta posibilidad se habilitar siempre y cuando la causa que le impida la realizacin de la actividad de evaluacin programada sea la que ha llevado al reconocimiento de la dedicacin a tiempo parcial." Criterios crticos para superar la asignatura La copia de prcticas de laboratorio supondr el suspenso automtico en la asignatura.

20/07/12 12:48:23 - G 2012-13 - 701G - 478

Pg. 3 de 3.