You are on page 1of 6

1.

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

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 lenguajesindependientes 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
7.METODOLOGA Y ACTIVIDADES DE APRENDIZAJE
8.EVALUACIN
9.BIBLIOGRAFA BSICA

ELENA GAUDIOSO VAZQUEZ


FELIX HERNANDEZ DEL OLMO

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.

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

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