GRADO

GUA DE ESTUDIO DE LA ASIGNATURA

2 PARTE | PLAN DE TRABAJO Y ORIENTACIONES PARA SU DESARROLLO

2011-2012

|Elena Gaudioso Vzquez

Toms Garca Saiz

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

AUTMATAS, GRAMTICAS Y LENGUAJES

1.- PLAN DE TRABAJO
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 unas prcticas con las herramientas y directrices preparadas por el equipo docente y corregidas por un profesor tutor. Esta asignatura se divide en cuatro bloques temticos que comprenden los siguientes contenidos: Bloque I: - Introduccin Bloque II: - Autmatas Finitos - Lenguajes regulares - Expresiones regulares - Gramticas regulares Bloque III: - Autmatas a Pila - Lenguajes independientes del contexto - Gramticas independientes del contexto Bloque IV: - Introduccin a las mquinas de Turing

El plan de trabajo de cada bloque consiste en el estudio de un material terico (que se corresponde con los contenidos incluidos en el libro base) y en la realizacin de unos ejercicios prcticos. Los ejercicios prcticos estarn disponibles en el curso virtual, son voluntarios y no puntan en la nota final de la asignatura. Adems, el alumno podr realizar dos prcticas que puntuarn hasta 3 puntos en la nota final de la asignatura (slo en el caso en el que en la prueba presencial se haya obtenido una puntuacin mnima de 5 puntos). En este punto es importante recordar que el alumno que no realice estas prcticas slo contar con la nota de la prueba presencial que constituye un 70% de la nota final de la asignatura. A continuacin y a modo orientativo, presentamos la planificacin para cada semana del curso relacionndola con las actividades previstas, una estimacin de las horas de trabajo necesarias y los resultados de aprendizaje esperados. En relacin a las horas de trabajo, las hemos dividido en horas de estudio y horas de prcticas. Las horas de estudio se refieren al tiempo necesario que el alumno debe dedicar a estudiar los materiales tericos de la asignatura. Las horas de prcticas se refieren al tiempo necesario que el alumno debe dedicar a actividades prcticas (sin que sea obligatorio que acuda a su Centro Asociado a realizar las horas de prcticas).

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

|Elena Gaudioso Vzquez,Toms Garca Saiz

SEMANA

ACTIVIDAD

HORAS DE ESTUDIO

HORAS PRCTICAS

RESULTADOS DE APRENDIZAJE*

Semana 1

Estudio bloque I

RA1

Semana 2Semana 7

Estudio bloque II

35

RA2,RA2.1 y RA2.2

Semana 7

Ejercicios bloque II

13

RA2,RA2.1 y RA2.2

Semana 8Semana 11

Estudio bloque III

30

RA3,RA3.1, RA3.2, RA3.3, RA3.4 RA3,RA3.1, RA3.2, RA3.3, RA3.4

Semana 11

Ejercicios bloque III

12

Semana 12Semana 13

Estudio bloque IV

10

RA4.1, RA4.2

Semana 13

Ejercicios bloque IV

RA4.1, RA4.2

Semana 7Semana 13 Semana 11Semana 13

Prcticas

20

RA1,RA2, RA3

Preparacin prueba presencial

23

RA1,RA2, RA3,RA4

* Los resultados de aprendizaje se explican en la siguiente seccin

2.- ORIENTACIONES PARA EL ESTUDIO DE LOS CONTENIDOS

La finalidad de este apartado es guiar a los estudiantes durante el desarrollo del curso. A continuacin mostraremos la equivalencia del temario del curso con los apartados del libro base de teora y algunas orientaciones para el estudio. Como recordatorio se indica que la bibliografa bsica de esta asignatura es:

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

AUTMATAS, GRAMTICAS Y LENGUAJES

[Hopcroft et al., 2007] John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Teora de autmatas, lenguajes y computacin.. Pearson. Addison Wesley. Tercera Edicin. ISBN: 978-84-7829-088-8 Para este libro se recomienda visitar la pgina web oficial http://infolab.stanford.edu/~ullman/ialc.html donde se encontrarn soluciones a los ejercicios marcados con un smbolo * , una fe de erratas y otros materiales que pueden resultar de inters (todo este material est en ingls). Y la bibliografa complementaria es: [Garca y Gaudioso, 2010] Toms Garca Saiz y Elena Gaudioso Vzquez Autmatas, Gramticas y Lenguajes formales: problemas resueltos. Sanz y Torres, 2010 [Brookshear, 1993] J. Glenn Brookshear. Teora de la Computacin: Lenguajes Formales, Autmatas y Complejidad. Addison-Wesley Iberoamericana, 1993. [Isasi et al., 1997] Pedro Isasi, Paloma Martnez y Daniel Borrajo. Lenguajes, gramticas y autmatas: un enfoque prctico. Addison Wesley. ISBN: 0-201-65323-0

Bloque I: Introduccin Este bloque 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). Este bloque es fundamentalmente terico y consistir en el estudio de los apartados correspondientes del texto bsico, en concreto los apartados: Captulo 1: Introduccin a los autmatas 1.1 Por qu estudiar la teora de autmatas? 1.1.1 Introduccin a los autmatas finitos 1.1.2 Representaciones estructurales 1.1.3 Autmatas y Complejidad 1.5 Conceptos fundamentales de la teora de autmatas 1.5.1 Alfabetos 1.5.2 Cadenas de Caracteres 1.5.3 Lenguajes 1.5.4 Problemas Orientaciones de estudio Es conveniente trabajar con los ejemplos 1.1, 1.2, 1.24, 1.25 y 1.26 No se consideran material de estudio los apartados 1.2, 1.3 y 1.4 Los contenidos de este bloque son fundamentalmente tericos y para su estudio no es necesaria la realizacin de ejercicios prcticos salvo el estudio de los ejemplos comentados anteriormente.

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

|Elena Gaudioso Vzquez,Toms Garca Saiz

Los resultados de aprendizaje esperados son los de conocer los distintos tipos de autmatas que existen, alfabetos, cadenas de caracteres, operaciones entre cadenas de caracteres, lenguajes y problemas (RA1) Bloque II: Autmatas finitos, lenguajes regulares, expresiones regulares y gramticas regulares Este bloque se centra en el estudio de los autmatas finitos. En primer lugar se estudiarn los autmatas finitos deterministas y no deterministas, as como la equivalencia entre ambos. 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. Este bloque abarca los siguientes captulos del libro base de la asignatura: Captulo 2: Autmatas finitos. 2.1 Descripcin Informal de un autmata Finito 2.2 Autmata Finito Determinista (AFD) 2.2.1 Definicin de autmata finito determinista 2.2.2 Cmo procesa cadenas un AFD 2.2.3 Notaciones ms simples para los AFD 2.2.4 Extensin a cadenas de la funcin de transicin 2.2.5 El lenguaje de un AFD 2.3 Autmatas finitos no deterministas (AFN) 2.3.1 Punto de vista informal de los autmatas finitos no deterministas 2.3.2 Definicin de un autmata finito no determinista 2.3.3 Funcin de transicin extendida 2.3.4 El lenguaje de un AFN 2.3.5 Equivalencia de autmatas finitos deterministas y no deterministas 2.4 Aplicacin: bsqueda de texto Orientaciones de estudio Es conveniente trabajar con los ejemplos 2.1, 2.2, 2.3, 2.4, 2.5, 2.6, 2.7, 2.8, 2.10. El ejemplo 2.4 hace referencia a la induccin mutua. Este proceso de demostracin se repasa en el ejemplo 1.23 (pgina 23 del libro base) y que, como ya hemos sealado en el bloque I no entra en el temario de la asignatura. Se trata de demostrar formalmente que los estados elegidos para un determinado autmata son vlidos, esto es, que son esos y nada ms que esos los estados vlidos de un autmata. En este curso consideramos que esta demostracin formal est fuera del nivel exigido en la asignatura. La nota al pie de la pgina 41, se refiere al alfabeto del idioma espaol y no al alfabeto del autmata (ver igualmente la aclaracin en la pgina 25 del libro base de teora). Se excluye el ejemplo 2.9 porque la demostracin formal de que un determinado autmata es el que acepta un determinado lenguaje, queda fuera de los objetivos de esta asignatura. En el apartado 2.3.5 es importante recordar qu es el conjunto potencia .

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

AUTMATAS, GRAMTICAS Y LENGUAJES

Los teoremas 2.11 y 2.12 recogen demostraciones formales del proceso, que se presenta en el ejemplo 2.10, de construccin de un AFD a partir de un AFN. Esta es la idea que debe quedar clara, no es necesario profundizar en las demostraciones formales incluidas en estos teoremas. No es necesario el estudio del apartado 2.3.6. No obstante es importante remarcar El principio de las sillas presentado en la pgina 55 . Se trata de hacer hincapi en que si un autmata tiene n estados y reconoce de la entrada una cadena de n+m smbolos entonces, el autmata forzosamente deber contener bucles. Tambin es importante el apartado titulado Estados muertos y AFD sin ciertas transiciones de la pgina 57 del libro base de teora.. La lectura del apartado 2.4 junto con sus subapartados y ejemplos ayuda a ver una aplicacin prctica de los contenidos vistos hasta el momento. Los contenidos del apartado 2.5 se consideran de ampliacin. De hecho, algunas de las ideas presentadas en este apartado se usan posteriormente en los autmatas a pila. No obstante, no es necesario estudiarlo en profundidad en este punto del curso. El teorema 2.22 es una demostracin formal de lo explicado en el apartado 2.5.5 y en el ejemplo 2.21 y queda fuera de los objetivos de la asignatura. Captulo 3: Lenguajes y expresiones regulares. 3.1 Expresiones regulares 3.1.1 Operadores de las expresiones regulares 3.1.2 Construccin de expresiones regulares 3.1.3 Precedencia de los operadores en las expresiones regulares 3.2 Autmatas finitos y expresiones regulares 3.2.1 De los AFD a las expresiones regulares 3.2.2 Conversin de un AFD en una expresin regular mediante la eliminacin de estados 3.2.3 Conversin de expresiones regulares en autmatas 3.4 lgebra de las expresiones regulares, 3.4.1 Asociatividad y conmutatividad 3.4.2 Elemento identidad y elemento nulo 3.4.3 Leyes distributivas 3.4.4 Ley de idempotencia 3.4.5 Leyes relativas a las clausuras, Gramticas regulares

Orientaciones de estudio Es conveniente trabajar con los ejemplos 3.1, 3.2, 3.3, 3.5, 3.6, 3.10, 3.12. Es importante trabajar con el ejemplo 3.1 ya que profundiza en la concatenacin y unin de cadenas, as como en la unin, concatenacin y estrella de Kleene de lenguajes. Saber operar de esta forma con lenguajes es muy importante en esta asignatura. En el ejemplo 3.2 se hace mucho hincapi en la notacin para diferenciar smbolos, expresiones regulares, lenguajes, etc. Aunque esto es importante, no es necesario hacer demasiado hincapi puesto que intentaremos que la notacin sea lo menos ambigua posible y de esta forma es mejor no complicar demasiado las notaciones.

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

|Elena Gaudioso Vzquez,Toms Garca Saiz

En algunos textos de la bibliografa complementaria, para representar la unin de dos expresiones regulares utilizan el operador unin () en vez del operador suma (+). En el teorema 3.4 se describe el proceso de construccin de la expresin regular equivalente a un determinado AFD. Creemos que es ms claro si se introducen en primer lugar ejemplos de construccin con expresiones y autmatas sencillos. Se pueden ver ejemplos en el libro de la bibliografa complementaria [Brookshear, 1993]. Igualmente en esta referencia se puede encontrar una explicacin ms intuitiva de la demostracin del teorema 3.4. Lo mismo ocurre con el desarrollo del ejemplo 3.5. En esta asignatura, se va a exigir conocer la expresin regular equivalente a un determinado autmata pero no todo el proceso formal que se presenta en la demostracin del teorema 3.4 y del ejemplo 3.5. De hecho esta simplificacin es la que se presenta en el subapartado 3.2.2 y en el ejemplo 3.6. En la demostracin del teorema 3.7 se utlizan transiciones- (ver apartado 2.5). Para el ejemplo 3.8 puede ser til consultar el mtodo presentado en [Brookshear, 1993]. El apartado 3.3 debe considerarse como ampliacin de conocimientos pero no como materia de examen. No obstante, es de especial inters el apartado 3.3.2 y el ejemplo 3.9 y se recomienda encarecidamente su lectura. Con respecto al apartado 3.4, es importante conocer ciertas propiedades que hay que considerar cuando se opera con lenguajes regulares y expresiones regulares. Es importante saber demostrar que dos expresiones regulares o dos lenguajes regulares son equivalentes, esto es, reconocen el mismo lenguaje. Esto se puede hacer, comprobando que cualquier cadena que pertenezca al lenguaje que reconoce una expresin regular pertenece tambin al lenguaje que reconoce la otra expresin regular y viceversa. No obstante no es necesario ir ms all con las demostraciones formales para verificar nuevas propiedades de las expresiones regulares. Queda, por tanto, fuera de temario los subapartados, 3.4.6 y 3.4.7. El apartado de gramticas regulares puede estudiarse consultando la referencia [Brookshear, 1993] o los apuntes proporcionados por el equipo docente y que se encuentran en el curso virtual.

Captulo 4: Propiedades de los lenguajes regulares 4.1 Cmo demostrar que un lenguaje no es regular 4.1.1 El lema de bombeo para los lenguajes regulares 4.1.2 Aplicaciones del lema de bombeo 4.2 Propiedades de clausura de los lenguajes regulares 4.2.1 Clausura de lenguajes regulares para las operaciones booleanas 4.2.2 Reflexin 4.2.3 Homomorfismo Orientaciones de estudio

Es conveniente trabajar con los ejemplos 4.1, 4.2, 4.3, 4.6, 4.7, 4.9, 4.12. El lema del bombeo se ver con ms profundidad para los lenguajes independientes del contexto. El apartado 4.1.1 debe servir, por tanto, como introduccin al teorema. Los ejemplos 4.2 y 4.3 deben utilizarse para conocer ejemplos de lenguajes no regulares. No es necesario estudiar el cuadro de la pgina 107 titulado El lema de bombeo como juego entre adversarios y por consiguiente el alumno debe trabajar el ejemplo 4.2 sin tener en cuenta el juego de adversarios. En la lnea 6 del ejemplo 4.3 en vez de tema de bombeo debera poner lema de bombeo.

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

AUTMATAS, GRAMTICAS Y LENGUAJES

Cuando se trata de la clausura para la interseccin en el apartado 4.2.1 (pgina 113) hay que tener en cuenta que las Leyes de De Morgan se han debido estudiar anteriormente en asignaturas bsicas de lgica. En el ejemplo 4.9, en la segunda lnea cuando se describe el lenguaje que acepta el autmata de la Figura 4.3 donde dice acepta todas aquellas cadenas que tienen un 1 debe decir acepta todas aquellas cadenas que tienen al menos un 1. El apartado 4.2.3 no debe estudiarse en profundidad, y debe servir como una oportunidad para conocer ejemplos de lenguajes regulares. No es necesario estudiar el apartado 4.2.4. El apartado 4.3 trata de complejidades temporales de los algoritmos de conversin entre autmatas y expresiones regulares vistos en apartados anteriores y queda fuera de los objetivos de esta asignatura. El apartado 4.4 trata de equivalencias y minimizacin de autmatas, y, aunque interesante, queda fuera de los objetivos de la asignatura.

Los contenidos de este bloque tienen un carcter terico-prctico y para su estudio es conveniente el estudio de los ejemplos sugeridos as como la resolucin de los ejercicios prcticos que se propongan en el curso virtual. Estos ejercicios son voluntarios y no afectan a la calificacin final de la asignatura. As mismo, el alumno contar en el curso virtual con ejercicios de autoevaluacin, que, aunque no puntan en la calificacin final, sern de utilidad para que el alumno compruebe su nivel de conocimiento en el bloque. Adems, una vez vistos los apartados correspondientes de teora y los ejercicios propuestos es conveniente que el alumno trabaje los problemas que puede encontrar en la bibliografa complementaria, por ejemplo, el captulo I del libro Autmatas, Gramticas y Lenguajes formales: problemas resueltos. Toms Garca Saiz y Elena Gaudioso Vzquez. Sanz y Torres, 2010, captulo I del libro Teora de la Computacin: Lenguajes Formales, Autmatas y Complejidad. J. Glenn Brookshear. Addison-Wesley Iberoamericana, 1993 o captulo 3 del libro Lenguajes, gramticas y autmatas: un enfoque prctico. Pedro Isasi, Paloma Martnez y Daniel Borrajo. Addison Wesley. ISBN: 0-201-65323-0 Los resultados de aprendizaje esperados son los de conocer los autmatas finitos y saber disear y construir gramticas regulares, autmatas finitos y expresiones regulares (RA2). Ms concretamente: Conocer los mecanismos de representacin de los autmatas (RA2.1) y conocer la representacin formal de autmatas finitos (RA2.2). Bloque III: Autmatas a pila, lenguajes y gramticas independientes del contexto: En este bloque se describen 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. Este bloque abarca los siguientes captulos del libro base de la asignatura: Captulo 5: Lenguajes y gramticas independientes del contexto 5.1 Gramticas independientes del contexto 5.1.1 Un ejemplo informal 5.1.2 Definicin de las gramticas independientes del contexto 5.1.3 Derivaciones utilizando una gramtica

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

|Elena Gaudioso Vzquez,Toms Garca Saiz

5.1.4 Derivaciones izquierda y derecha 5.1.5 Lenguaje de una gramtica 5.1.6 Formas sentenciales 5.2 rboles de derivacin 5.2.1 Construccin de los rboles de derivacin 5.2.2 Resultado de un rbol de derivacin 5.2.3 Inferencia, derivaciones y rboles de derivacin 5.3 Aplicaciones de las gramticas independientes del contexto 5.3.1 Analizadores sintcticos 5.4 Ambigedad Orientaciones de estudio Es conveniente trabajar con los ejemplos 5.1, 5.2, 5.3, 5.4, 5.5, 5.6, 5.8, 5.9, 5.10, 5.19, 5.20. Es conveniente repasar el cuadro titulado Notacin para las derivaciones de las GIC (pgina 149). En el apartado 5.1.5 no es necesario el estudio en profundidad del teorema 5.7 pero si se debe repasar, de manera informal, como un ejemplo tpico de las demostraciones que prueban que una gramtica define un lenguaje en particular. No es necesario estudiar en profundidad los apartados 5.2.4, 5.2.5 y 5.2.6 ya que constituyen una ampliacin del temario. Los apartados 5.3.2,5.3.3 y 5.3.4 describen ejemplos de aplicacin de lenguajes independientes del contexto. Su estudio es voluntario y no constituye materia de examen. En el apartado 5.4 lo importante es conocer el concepto de ambigedad y saber que hay lenguajes inherentemente ambiguos. La demostracin intuitiva del apartado 5.4.4 puede ser til como ejemplo aplicacin de los contenidos vistos en este captulo. Captulo 6: Autmatas a pila 6.1 Definicin de autmata a pila 6.1.1 Introduccin informal 6.1.2 Definicin formal de autmata a pila 6.1.3 Notacin grfica para los autmatas a pila 6.1.4 Descripciones instantneas de un autmata a pila 6.2 Lenguajes de un autmata a pila 6.2.1 Aceptacin por estado final 6.3 Equivalencia entre autmatas a pila y gramticas independientes del contexto 6.3.1 De las gramticas a los autmatas a pila 6.3.2 De los autmatas a pila a las gramticas 6.4 Autmata a pila determinista 6.4.1 Definicin de autmata a pila determinista 6.4.2 Lenguajes regulares y autmatas a pila deterministas 6.4.3 Autmatas a pila deterministas y lenguajes independientes del contexto 6.4.4. Autmatas a pila deterministas y gramticas ambiguas

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

AUTMATAS, GRAMTICAS Y LENGUAJES

Orientaciones de estudio Es conveniente trabajar con los ejemplos 6.1, 6.2, 6.3, 6.4, 6.7, 6.12, 6.15, 6.16, 6.18. En el ejemplo 6.2 donde pone PDA, en realidad debera poner APD. Los apartados 6.2.2, 6.2.3 y los ejemplos 6.8, ejemplo 6.10 no son materia de examen. Del apartado 6.2.4 y el teorema 6.11 de estudiarse el proceso general de transformacin del autmata. Esto es, saber explicar la figura 6.7. El apartado 6.3.1 se puede ilustrar con un ejemplo de construccin como los expuestos en [Brookshear, 1993]. No es necesario estudiar la demostracin del teorema 6.13. La demostracin del teorema 6.14 se puede ilustrar a travs de un ejemplo de manera similar a como se hace en [Brookshear, 1993]. Un ejemplo de un lenguaje independiente del contexto que no puede ser reconocidos por un autmata a pila determinista, es {xnyn | n en N+} U {xn | n en N+}. No es necesario estudiar las demostraciones de los teoremas 6.20 y 6.21

Captulo 7: Propiedades de los lenguajes independientes del contexto. 7.1 Formas normales para las gramticas independientes del contexto 7.1.1 Eliminacin de smbolos intiles 7.1.2 Clculo de smbolos generadores y alcanzables 7.1.3 Eliminacin de producciones- 7.1.4 Eliminacin de las producciones unitarias 7.1.5 Forma Normal de Chomsky 7.2 El lema de bombeo para los lenguajes independientes del contexto 7.3 Propiedades de clausura de los lenguajes independientes del contexto 7.4 Propiedades de decisin de los LIC Orientaciones de estudio

Es conveniente trabajar con los ejemplos 7.1, 7.3, 7.5, 7.8, 7.10, 7.12, 7.15. No es necesario estudiar las demostraciones de los teoremas 7.2,7.4, 7.6, 7.7, 7.9, 7.11, 7.13, 7.16, 7.18 . En el apartado 7.3 slo es necesario estudiar los teorema 7.24 y 7.30 pero no sus demostraciones. Del apartado 7.4 slo entra el estudio del subapartado 7.4.5, el resto estudia las complejidades y se deja al alumno como ampliacin voluntaria.

Los contenidos de este bloque tienen un carcter terico-prctico y para su estudio es conveniente el estudio de los ejemplos sugeridos as como la resolucin de los ejercicios prcticos que se propongan en el curso virtual. Estos ejercicios son voluntarios y no afectan a la calificacin final de la asignatura. As mismo, el alumno contar en el curso virtual con ejercicios de autoevaluacin, que, aunque no puntuarn en la calificacin final, sern de utilidad para que el alumno compruebe su nivel de conocimiento en el bloque.

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

10

|Elena Gaudioso Vzquez,Toms Garca Saiz

Una vez vistos los apartados correspondientes de teora es conveniente que el alumno trabaje los problemas que puede encontrar en la bibliografa complementaria, por ejemplo, el captulo 2 del libro Autmatas, Gramticas y Lenguajes formales: problemas resueltos. Toms Garca Saiz y Elena Gaudioso Vzquez . Sanz y Torres, 2010, captulo 2 del libro Teora de la Computacin: Lenguajes Formales, Autmatas y Complejidad. J. Glenn Brookshear . Addison-Wesley Iberoamericana, 1993 o captulo 4 del libro Lenguajes, gramticas y autmatas: un enfoque prctico. Pedro Isasi, Paloma Martnez y Daniel Borrajo. Addison Wesley. ISBN: 0-201-65323-0 Los resultados de aprendizaje esperados son los de conocer los autmatas a pila y saber disear y construir autmatas a pila y gramticas independientes del contexto (RA3). Ms concretamente: Conocer los mecanismos de representacin de los autmatas a pila y conocer la representacin formal de autmatas a pila (RA3.1). Conocer la equivalencia entre lenguajes y gramticas de los diferentes autmatas (autmatas finitos y autmatas de pila) (RA3.2). Reconocer el lenguaje reconocido por cualquier autmata (RA3.3); Conocer los lmites de los diferentes autmatas como reconocedores de lenguajes (jerarqua de lenguajes de Chomsky) (RA3.4); Bloque IV: 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. Este bloque abarca el siguiente captulo del libro base de la asignatura: Captulo 8: Introduccin a las mquinas de Turing 8.1 Problemas que las computadoras no pueden resolver 8.2 Las mquinas de Turing 8.2.1 El intento de decidir todas las cuestiones matemticas 8.2.2 Notacin para la mquina de Turing 8.2.3 Descripciones instantneas de las mquinas de Turing 8.2.4 Diagramas de transicin para las mquinas de Turing 8.2.5 El lenguaje de una mquina de Turing 8.2.6 Mquinas de Turing y parada 8.4 Extensiones de la mquina de Turing bsica) Orientaciones de estudio Es conveniente trabajar con los ejemplos 8.2, 8.3, 8.5. Es importante el contenido del cuadro titulado Por qu tiene que existir problemas indecidibles? (pgina 264). No es necesario estudiar el apartado 8.4.3. Es conveniente el estudio del contenido del recuadro titulado Convenios de notacin para las mquinas de Turing de la pgina 278.

Los contenidos de este bloque tienen un carcter terico-prctico y para su estudio es conveniente el estudio de los ejemplos sugeridos as como la resolucin de los ejercicios prcticos que se propongan en el

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

11

AUTMATAS, GRAMTICAS Y LENGUAJES

curso virtual. Estos ejercicios son voluntarios y no afectan a la calificacin final de la asignatura. As mismo, el alumno contar en el curso virtual con ejercicios de autoevaluacin, que, aunque no puntuarn en la calificacin final, sern de utilidad para que el alumno compruebe su nivel de conocimiento en el bloque. Una vez vistos los apartados correspondientes de teora es conveniente que el alumno trabaje los problemas que puede encontrar en la bibliografa complementaria, en concreto, el captulo 3 del libro Autmatas, Gramticas y Lenguajes formales: problemas resueltos. Toms Garca Saiz y Elena Gaudioso Vzquez . Sanz y Torres, 2010, captulo 3 del libro Teora de la Computacin: Lenguajes Formales, Autmatas y Complejidad. J. Glenn Brookshear. Addison-Wesley Iberoamericana, 1993 o captulo 5 del libro Lenguajes, gramticas y autmatas: un enfoque prctico. Pedro Isasi, Paloma Martnez y Daniel Borrajo. Addison Wesley. ISBN: 0-201-65323-0 Los resultados de aprendizaje esperados son: Conocer el funcionamiento bsico de las mquinas de Turing (RA4.1); Conocer los lmites de la computabilidad: Tesis de Turing (RA4.2). Prcticas Esta asignatura tiene dos prcticas. Cada una de las prcticas tiene un peso del 15% en la nota definitiva de la asignatura. Estas sern evaluadas por los profesores tutores Prctica 1: El objetivo es afianzar los conocimientos adquiridos por los alumnos. La prctica estar compuesta por ejercicios prcticos de resolucin de Autmatas Finitos y de Autmatas a Pila. La carga dedicada a cada una de los dos temas estar nivelada. La fecha de entrega prevista de esta prctica ser aproximadamente durante la 10 semana del curso. Las fechas definitivas de entrega se publicarn junto al enunciado en el curso virtual. Prctica 2: El objetivo es ampliar los conocimientos de los alumnos y evaluar estos nuevos conocimientos. La practica consistir en trabajar con analizadores sintcticos LL(k) o LR(k) para unas gramticas dadas. La fecha de entrega prevista de esta prctica es la 12 semana de clase. Las fechas definitivas de entrega se publicarn junto al enunciado en el curso virtual. El resultado de aprendizaje esperado de esta actividad es el de saber 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 y autmatas de pila (RA1,RA2 y RA3). Los enunciados de las prcticas se publicarn en el curso virtual al comienzo del curso y se entregar igualmente a travs del curso virtual para que sean corregidas por el profesor tutor. Siguiendo la planificacin orientativa, conviene comenzar a trabajar en la prctica una vez se ha estudiado la teora correspondiente al bloque II.

3.- ORIENTACIONES PARA LA REALIZACIN DEL PLAN DE ACTIVIDADES

En esta asignatura est prevista la realizacin de dos prcticas que podrn sumar hasta 3 puntos en la calificacin final de la asignatura (siempre que la calificacin de la prueba presencial supere los 5 puntos). En este apartado proporcionaremos las orientaciones especficas para el desarrollo de estas prcticas. Es importante tener en cuenta que el trabajo en estas prcticas se complementan con la realizacin de los

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

12

|Elena Gaudioso Vzquez,Toms Garca Saiz

ejercicios prcticos y ejercicios de autoevaluacin (voluntarios y no puntuables) que se propondrn para cada bloque temtico en el curso virtual. El objetivo de estas prcticas es el de afianzar y ampliar los conocimientos vistos en teora. El tiempo estimado de realizacin es de 20 horas y debern entregarse a travs de la plataforma virtual utilizada en el curso siguiendo los plazos que se publicarn en el calendario del curso virtual. La evaluacin de las prcticas correr a cargo de los profesores tutores. Los criterios de evaluacin seguirn el protocolo que se muestra en la tabla 1. En esta tabla (que se suele conocer como rbrica), la columna Categora muestra el objetivo de la evaluacin. De entre las columnas tituladas 4,3,2, y 1 el tutor elegir lo que corresponda para cada alumno y para ejercicio. Por ltimo, en la columna de observaciones el tutor podr realizar cualquier comentario que considere oportuno.

4. EVALUACIN DE LA ASIGNATURA
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.

5.- GLOSARIO
En el libro base de teora utilizado en esta asignatura, al final de cada captulo y bajo el epgrafe Resumen del Captulo, se recoge un glosario de trminos con los conceptos ms importantes.

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

13

AUTMATAS, GRAMTICAS Y LENGUAJES

Tabla 1 Protocolo de evaluacin de las prcticas de la asignatura (Rbrica de evaluacin)
CATEGORA 4 3 2 1 OBSERVACIONES

Averiguar qu tipo de gramtica es

Sabe clasificar perfectamente las gramticas

Clasifica gran parte

Conoce slo los casos bsicos

No sabe

Identifica gran Identificar las cadenas de un lenguaje Sabe identificar perfectamente las cadenas del lenguaje parte pero se deja casos raros Puede construir el autmata pero Construccin de un autmata finito dado un lenguaje regular Sabe construir perfectamente el autmata comete errores en cadenas raras

Identifica slo casos bsicos

No sabe

Puede construir el autmata de manera general pero no es capaz de definirlo correctamen te

No sabe

Puede construir el autmata pero Construccin de un autmata finito dada una gramtica regular Sabe construir perfectamente el autmata comete errores

Puede construir el autmata de manera general pero no es capaz de definirlo correctamen te

No sabe

Dado un Autmata Finito determinar las cadenas que pertenecen al lenguaje del

Sabe identificar perfectamente las cadenas del lenguaje

Identifica gran parte pero se deja casos

Identifica slo casos bsicos

No sabe

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

14

|Elena Gaudioso Vzquez,Toms Garca Saiz

autmata Pasar de un a expresin regular al AF equivalente

raros Puede construir el autmata pero Sabe construir perfectamente el autmata comete errores Puede construir el autmata de manera general pero no es capaz de definirlo correctamen te No sabe

Pasar de un AF a la expresin regular equivalente Sabe construir perfectamente la expresin regular equivalente

Puede construir la expresin regular pero comete errores

Puede construir la expresin regular de manera general pero no es capaz de definirla correctamen te

No sabe

Construccin de un autmata a pila dado un lenguaje independiente del contexto

Puede construir el autmata pero Sabe construir perfectamente el autmata comete errores en cadenas raras

Puede construir el autmata de manera general pero no es capaz de definirlo correctamen te

No sabe

Construccin de un autmata a pila dada una gramtica

Sabe construir perfectamente el

Puede construir el

Puede construir el

No sabe

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

15

AUTMATAS, GRAMTICAS Y LENGUAJES

independiente del contexto autmata autmata pero comete errores autmata de manera general pero no es capaz de definirlo correctamen te Dado un Autmata a pila determinar las cadenas que pertenecen al lenguaje del autmata Dada una gramtica independiente del contexto construir los analizadores LL(k) y LR(k) correspondientes Identifica gran Sabe identificar perfectamente las cadenas del lenguaje parte pero se deja casos raros Sabe construir los analizadores pero comete algn error Puede construir la mquina pero Construccin de un mquina de Turing dado un lenguaje Sabe construir perfectamente la mquina de Turing comete errores en cadenas raras Puede construir la mquina de manera general pero no es capaz de definirla correctamen te Dada una mquina de Turing determinar las cadenas que pertenecen al lenguaje de la mquina Identifica gran Sabe identificar perfectamente las cadenas del lenguaje parte pero se deja casos raros Identifica slo casos bsicos No sabe No sabe Slo sabe esbozar los analizadore s No sabe Identifica slo casos bsicos No sabe

Sabe construir perfectamente los analizadores correspondientes

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

16