Professional Documents
Culture Documents
PRESENTACIN DE LA ASIGNATURA
2.CONTEXTUALIZACIN EN EL PLAN DE ESTUDIOS
ASIGNATURA DE GRADO:
AUTMATAS, GRAMTICAS
Y LENGUAJES
Curso 2013/2014
(Cdigo:71901089)
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.
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
http://portal.uned.es/portal/page?_pageid=93,1348577&_dad=portal&_schema=PORTAL), 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
3.REQUISITOS PREVIOS REQUERIDOS PARA CURSAR LA ASIGNATURA
4.RESULTADOS DE APRENDIZAJE
5.CONTENIDOS DE LA ASIGNATURA
(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.
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.
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
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
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 %
La evaluacin de esta asignatura consistir en una prueba presencial tipo test (de 2 horas de duracin) y en la realizacin
de dos prcticas voluntarias. 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, 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.
Buscarlo en libreria virtual UNED
10.BIBLIOGRAFA COMPLEMENTARIA
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.
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 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.
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
11.RECURSOS DE APOYO
12.TUTORIZACIN
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.
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 12 a 14 h.
Tfno: 91 398 84 50; Despacho 3.10; E.T.S.I. Informtica. UNED
Toms Garca Saiz; tomasgs@dia.uned.es
Horario de guardias: lunes, de 15 a 19 h.
Tfno: 91 398 94 70; Despacho 3.10; 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