ASIGNATURA DE GRADO:

AUTMATAS, GRAMTICAS
Y LENGUAJES Curso 2016/2017
(Cdigo:71901089)

1.PRESENTACIN DE LA ASIGNATURA

La asignatura Autmatas, Gramticas y Lenguajes se ocupa del estudio de las mquinas de estados finitos que se utilizan
como reconocedores de lenguajes. En cuanto a reconocedores, los autmatas constituyen la base para la construccin de
compiladores, y para el estudio de la computabilidad, esto es, qu es capaz de computar una mquina y con qu
complejidad.

Esta asignatura es comn a los grados en Ingeniera Informtica y en Ingeniera de las Tecnologas de la Informacin y se
imparte en el segundo cuatrimestre del primer curso, consta de 6 crditos ECTS y es parte de la materia de Lenguajes de
Programacin y con carcter obligatorio en ambas titulaciones.

La presente gua contiene informacin de carcter general sobre la asignatura, su ubicacin dentro de la titulacin,
competencias que trabaja, conocimientos previos recomendables y resultados esperados de aprendizaje. En concreto, se
recomienda al alumno que visite el apartado de Evaluacin, ya que, debido a que esta asignatura se enmarca dentro del
marco definido por el Espacio Europeo de Educacin Superior, parte de la asignatura se evaluar utilizando un mtodo de
evaluacin continua. Por ello, la calificacin de prcticas tendr un peso en la calificacin final de la asignatura.

2.CONTEXTUALIZACIN EN EL PLAN DE ESTUDIOS

La asignatura de Autmatas, gramticas y lenguajes pertenece a la materia de Lenguajes de programacin y dentro de

esta materia es la primera de las asignaturas que se cursa. Sirve de base para el desarrollo de programas y de
compiladores, y su conocimiento es necesario para cursar las asignaturas de Teora de los Lenguajes de Programacin y
Procesadores de Lenguajes I y II en el Grado en Ingeniera Informtica y de Lenguajes de Programacin y Procesadores en
el Grado de Ingeniera de las Tecnologas de la Informacin. As mismo, esta asignatura tiene su continuidad en la asignatura
obligatoria Complejidad y Computabilidad en el grado en Ingeniera Informtica.

Esta asignatura se sita, por tanto, en el nivel bsico dentro del plan de formacin de los grados en Ingeniera Informtica y
en Tecnologas de la Informacin y desarrolla las competencias relacionadas con las capacidades para: conocer los
fundamentos tericos de los lenguajes de programacin y las tcnicas de procesamiento lxico, sintctico y semntico
asociadas; saber aplicar las citadas tcnicas para la creacin, diseo y procesamiento de lenguajes.

Atendiendo a las competencias especificadas en la memoria de verifacin del presente grado (disponible en el sitio web de la
E.T.S.I. Informtica http://www.ii.uned.es), esta asignatura cubre las siguientes:

Competencias Generales
(G.2) Competencias cognitivas superiores: seleccin y manejo adecuado de conocimientos, recursos
y
estrategias cognitivas de nivel superior apropiados para el afrontamiento y resolucin de diversos
tipos de
 tareas/problemas con distinto nivel de complejidad y novedad: Anlisis y Sntesis. Aplicacin de los
conocimientos a la prctica Resolucin de problemas en entornos nuevos o poco conocidos.
Pensamiento
creativo. Razonamiento crtico. Toma de decisiones.
(G.4) Competencias de expresin y comunicacin. Comunicacin y expresin matemtica,
cientfica y tecnolgica
(G.5) Competencias en el uso de las herramientas y recursos de la Sociedad del Conocimiento:
Competencia en la bsqueda de informacin relevante. Competencia en la recoleccin de datos, el
manejo de bases de datos y su presentacin
Competencias Especficas
FB.5 Conocimiento de la estructura, organizacin, funcionamiento e interconexin de los sistemas
informticos, as como de los fundamentos de su programacin, y su aplicacin para la resolucin de
problemas propios de la ingeniera.
BC.1 Capacidad para disear, desarrollar, seleccionar y evaluar, aplicaciones y sistemas
informticos,
asegurando su fiabilidad, seguridad y calidad, conforme a los principios ticos y a la legislacin y
normativa vigente.
BC.6 Conocimiento y aplicacin de los procedimientos algortmicos bsicos de las tecnologas
informticas para disear soluciones a problemas, analizando la idoneidad y complejidad de los
algoritmos propuestos.
BC.8 Capacidad para analizar, disear, construir y mantener aplicaciones de forma robusta, segura
y
eficiente, eligiendo el paradigma y los lenguajes de programacin ms adecuados.
BC.9 Capacidad para conocer, comprender y evaluar la estructura y arquitectura de los
computadores, as
como los componentes bsicos que los conforman.
BTEc.1 Capacidad para tener un conocimiento profundo de los principios fundamentales de la
computacin y saberlos aplicar para interpretar, seleccionar, valorar, modelar, y crear nuevos
conceptos, teoras, usos y desarrollos tecnolgicos relacionados con la informtica.
BTEc.2 Capacidad para conocer los fundamentos tericos de los lenguajes de programacin y las
tcnicas de procesamiento lxico, sintctico y semntico asociadas, y saber aplicarlas para la
creacin, diseo y procesamiento de lenguajes.

3.REQUISITOS PREVIOS REQUERIDOS PARA CURSAR LA ASIGNATURA

Al tratarse de una asignatura bsica de primer curso, no se requiere ningn requisito previo ms all de los conocimientos
que un alumno debe tener en este nivel de enseanza. Para seguir con ms facilidad la asignatura ser de utilidad recordar
los conocimientos bsicos sobre teora bsica de conjuntos.

4.RESULTADOS DE APRENDIZAJE

Los resultados que se pretenden alcanzar con el estudio de esta asignatura son:

- Conocer y comprender los distintos tipos de autmatas, gramticas y lenguajes que reconocen. Ms
concretamente: Conocer la equivalencia entre lenguajes y gramticas de los diferentes autmatas (autmatas finitos y
autmatas de pila); Conocer el funcionamiento de los diferentes autmatas: autmatas finitos y autmatas de pila;
Reconocer el lenguaje reconocido por cualquier autmata; Conocer los lmites de los diferentes autmatas como
reconocedores de lenguajes (jerarqua de lenguajes de Chomsky); Conocer el funcionamiento bsico de las mquinas de
Turing; Conocer lmites de la computabilidad: Tesis de Turing.

- Disear y construir gramticas y autmatas. Ms concretamente: Conocer los mecanismos de representacin de los
autmatas; Conocer la representacin formal de los diferentes autmatas: autmatas finitos, autmatas de pila y mquinas
de Turing
5.CONTENIDOS DE LA ASIGNATURA

Al ser una asignatura de formacin bsica, sus contenidos sentarn las bases necesarias para cursar las asignaturas que
pertenecen a la materia de Lenguajes de programacin. La asignatura se divide en unidades temticas. Cada unidad
temtica trata un tipo de autmata, su representacin, el lenguaje que reconoce y la gramtica equivalente. Para cada tipo
de autmata, se ver la relacin que existe con los autmatas que se hayan ido presentando anteriormente. Las unidades
temticas de esta asignatura cubrirn los siguientes contenidos:

Introduccin: Esta unidad temtica tiene como objetivo introducir el concepto de autmata finito, cmo se
representa y la relacin existente entre los autmatas y el concepto de complejidad. Para terminar, se introducirn
los conceptos fundamentales de la teora de autmatas (alfabetos, cadenas de caracteres, lenguajes y problemas).
En concreto, los contenidos de esta unidad son:
Por qu estudiar la teora de autmatas?
Introduccin a los autmatas finitos
Representaciones estructurales
Autmatas y Complejidad
Conceptos fundamentales de la Teora de Autmatas:
Alfabetos
Cadenas de caracteres
Lenguajes
Problemas
Autmatas finitos, lenguajes regulares, expresiones regulares y gramticas regulares: Se describirn los
autmatas finitos deterministas y no deterministas, as como su equivalencia. Se describirn tambin las
expresiones regulares, las gramticas regulares y la relacin de ambas con los autmatas finitos. Se presentarn
los mtodos de conversin entre autmatas finitos deterministas y expresiones regulares y viceversa. Por ltimo,
se describirn el lgebra de las expresiones regulares y las propiedades de los lenguajes regulares. En concreto, los
contenidos de esta unidad son:
Autmatas finitos
Descripcin Informal de un autmata Finito
Autmata finito determinista
Autmata finito no determinista
Aplicacin: Bsqueda de texto
Lenguajes y expresiones regulares
Expresiones regulares
Autmatas finitos y expresiones regulares
lgebra de las expresiones regulares
Gramticas regulares
Propiedades de los lenguajes regulares
Autmatas a pila, lenguajes y gramticas independientes del contexto: Se describirn los autmatas a pila, los
autmatas a pila deterministas, los lenguajes independientes del contexto y las gramticas independientes del
contexto. Se presentar la equivalencia entre los autmatas a pila y las gramticas independientes del contexto, y
las propiedades de los lenguajes independientes del contexto. Como ejemplo de aplicacin se presentarn los
analizadores sintcticos. En concreto los contenidos de esta unidad son:
Lenguajes y gramticas independientes del contexto
Gramticas independientes del contexto
rboles de derivacin
Aplicaciones de las gramticas independientes del contexto
Ambigedad
Autmatas a pila
Definicin de un autmata a pila
Lenguajes de un autmata a pila
Equivalencia entre autmatas a pila y gramticas independientes del contexto
Autmata a pila determinista
Propiedades de los lenguajes independientes del contexto
Introduccin a las mquinas de Turing: Para empezar esta unidad temtica se justificar el por qu existen
problemas indecidibles (esto es, problemas para los que no es posible construir ningn autmata que lo
reconozca). A continuacin, se presentarn las mquinas de Turing, su representacin y los lenguajes que
reconocen. Se describir el criterio de parada para una mquina Turing y se presentarn algunas extensiones de la
definicin de una mquina de Turing bsica. En concreto los contenidos de esta unidad son:

Definicin de una mquina de Turing

 Notacin para la mquina de Turing

Descripciones instantneas de las mquinas de Turing

Diagramas de transicin para las mquinas de Turing

El lenguaje de una mquina de Turing

Mquinas de Turing y parada

Extensiones de la mquina de Turing bsica

6.EQUIPO DOCENTE

ELENA GAUDIOSO VAZQUEZ

FELIX HERNANDEZ DEL OLMO

7.METODOLOGA Y ACTIVIDADES DE APRENDIZAJE

La metodologa prevista para esta asignatura incluye: trabajo con contenidos terico-prcticos utilizando la bibliografa de la
asignatura, trabajo autnomo con las actividades de ejercicios y pruebas de autoevaluacin disponibles, y realizacin de una
prctica con las herramientas y directrices preparadas por el equipo docente y corregidas por un profesor tutor. De manera
orientativa, la distribucin porcentual del trabajo en cada una de las actividades formativas es la siguiente:

- Trabajo con contenidos tericos; consulta de materiales didcticos: 30 %

- Trabajo autnomo: estudio de contenidos tericos, realizacin de la prctica, preparacin de las pruebas presenciales,
consulta de dudas: 70 %

8.EVALUACIN

La evaluacin de esta asignatura consistir en una prueba presencial tipo test (de 2 horas de duracin) y en la realizacin
de dos prcticas. Para calcular la nota final de la asignatura se sumarn las notas obtenidas en la prueba presencial y en
las prcticas con los siguientes pesos:

-Prueba presencial: 70% (supondr, por tanto, un mximo de 7 puntos en la nota final de la asignatura).

-Prcticas: 30% (supondr, por tanto, un mximo de 3 puntos en la nota final de la asignatura). La nota de prcticas ser la
media de las puntuaciones obtenidas en cada una de las dos prcticas del curso.

Para poder contabilizar la nota de las prcticas, se exigir una puntuacin mnima de 5 puntos en la prueba
presencial. La calificacin final de la asignatura se calcular teniendo en cuenta los porcentajes explicados
anteriormente. Para aprobar la asignatura es necesario obtener una calificacin final mayor o igual a 5
puntos.

No ser necesario que el alumno acuda al Centro Asociado para realizar las prcticas ya que stas podrn hacerse en su
totalidad a distancia. Las prcticas se entregarn a travs del curso virtual y sern corregidas por un profesor tutor.

Finalmente, y debido al planteamiento de evaluacin continua definido en el Espacio Europeo de Educacin Superior en el
 que se enmarca la asignatura, el alumno debe tener en cuenta que slo se corregirn las prcticas durante el
cuatrimestre en el que se imparte la asignatura. Para la convocatoria de septiembre, se mantendr la nota obtenida
en las prcticas durante el cuatrimestre.

Un alumno que no entregue prcticas puede presentarse sin problema al examen presencial, pero teniendo
en cuenta que se le aplicarn los porcentajes anteriores.

9.BIBLIOGRAFA BSICA

ISBN(13): 9788478290888
Ttulo: TEORA DE AUTMATAS, LENGUAJES Y COMPUTACIN (tercera)
Autor/es: John E. Hopcroft ; Jeffrey D. Ullman ; Rajeev Motwani ;
Editorial: PEARSON ADDISON-WESLEY

Buscarlo en Editorial UNED

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Comentarios y anexos:

Este texto cubre la totalidad de los contenidos tericos previstos para la asignatura. Los alumnos dispondrn de un plan de
trabajo en el que se especificar qu epgrafes de este libro constituyen el temario de la asignatura.

10.BIBLIOGRAFA COMPLEMENTARIA

ISBN(13): 9780805301434
Ttulo: THEORY OF COMPUTATION: FORMAL LANGUAGES, AUTOMATA AND COMPLEXITY
Autor/es: Brookshear, J. Glenn ;
Editorial: ADDISON-WESLEY

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

ISBN(13): 9788478290147
Ttulo: LENGUAJES, GRAMTICAS Y AUTMATAS: UN ENFOQUE PRCTICO (1)
Autor/es: Borrajo Milln, Daniel ; Martnez Fernndez, Paloma ; Isasi Viuela, Pedro ;
Editorial: PEARSON ADDISON-WESLEY

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

 Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

ISBN(13): 9788492948369
Ttulo: AUTMATAS, GRAMTICAS Y LENGUAJES FORMALES: PROBLEMAS RESUELTOS (1)
Autor/es: Toms Garca Saiz ; Gaudioso Vzquez, Elena ;
Editorial: SANZ Y TORRES

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

Comentarios y anexos:

Toms Garca Saiz y Elena Gaudioso Vzquez Autmatas, Gramticas y Lenguajes formales: problemas
resueltos. Sanz y Torres, 2010 En prensa

Por lo general, los textos que cubren esta materia, lo hacen desde un enfoque terico proponiendo ejercicios para cada tema
que debe resolver el lector. Sin embargo, es difcil encontrar ejercicios completos que recorran, para un mismo problema
todas las posibilidades de representacin y la equivalencia entre las mismas. El objetivo de este libro es el de plantear y
resolver este tipo de ejercicios.

J. Glenn Brookshear. Theory of Computation: Formal Languages, automata and complexity. Addison-Wesley,
1993.

Algunos de los contenidos tericos del texto se pueden complementar con los incluidos en este texto que presenta, adems,
ejemplos prcticos adicionales. Las referencias a este texto se recomendarn en el plan de trabajo del que dispondrn los
alumnos matriculados. Se recomienda el texto en ingls porque la edicin en castellano se encuentra descatalogada.

Pedro Isasi, Paloma Martnez y Daniel Borrajo. Lenguajes, gramticas y autmatas: un enfoque prctico.
Addison Wesley. ISBN: 0-201-65323-0

Este texto es de utilidad para complementar el estudio de la asignatura con problemas resueltos.

11.RECURSOS DE APOYO

Los alumnos dispondrn de los siguientes recursos de apoyo al estudio:

- Curso virtual. A travs de esta plataforma los alumnos tienen la posibilidad de:

* Consultar informacin de la asignatura: informacin de la prctica, ejercicios de autoevaluacin, etc.

* Realizar consultas al equipo docente a travs de los foros correspondientes o del correo electrnico.

* Consultar e intercambiar material con el resto de los alumnos .

- Tutoras. En el Centro Asociado al que pertenezca el alumno, ste deber consultar si existe la posibilidad de disponer de
una tutora presencial con un tutor que atienda presencialmente a los estudiantes (aclarando, orientando y resolviendo
 dudas)

- Atencin telefnica y presencial. Los alumnos pueden contactar y realizar consultas al equipo docente en los telfonos y
horarios que se indican en esta gua.

- Biblioteca. En el Centro Asociado al que pertenezca el alumno, ste podr consultar la bibliografa bsica y la
complementaria

12.TUTORIZACIN

El alumno podr ponerse en contacto directo con el equipo docente con el siguiente horario en los despachos, telfonos y
correos electrnicos siguientes:

Elena Gaudioso Vzquez; elena@dia.uned.es

Horario de guardias: lunes y martes, de 10 a 12 h.
Tfno: 91 398 84 50; Despacho 3.10; E.T.S.I. Informtica. UNED

Flix Hernndez del Olmo; felixh@dia.uned.es

Horario de guardias: Lunes de 15:00 a 19:00
Tfno. 91 398 83 45; Despacho 3.6; E.T.S.I. Informtica. UNED

Las consultas sobre los contenidos o sobre el funcionamiento de la asignatura se plantearn preferentemente en el curso
virtual, utilizando los foros pblicos.

La E.T.S.I. Informtica de la UNED est situada en la Ciudad Universitaria de Madrid. La direccin postal es:

C/ Juan del Rosal, 16, 28040. Madrid