Está en la página 1de 13

Soluciones exmenes UNED

Cdigo asignatura 71901089 Fecha alta y origen 23/07/2012 Curso Virtual

Nombre asignatura Autmatas, Gramticas y Lenguajes Convocatoria

Junio 2011

Soluciones a los exmenes de Junio 2011 Autmatas, Gramticas y Lenguajes (1 curso)


Grado en Ingeniera Informtica y Grado en Ingeniera de las Tecnologas de la Informacin

Elena Gaudioso Vzquez y Toms Garca Saiz

Plantillas de respuestas
Nacional Original 1a Semana Tipo A: 1. (c) 2. (a) 3. (c) 4. (c) 5. (d) 6. (c) 7. (c) 8. (c) 9. (b) 10. (a) Tipo B: 1. (c) 2. (a) 3. (c) 4. (c) 5. (c) 6. (d) 7. (c) 8. (b) 9. (a) 10. (c) Tipo C: 1. (c) 2. (b) 3. (c) 4. (c) 5. (d) 6. (c) 7. (c) 8. (a) 9. (c) 10. (a) Nacional UE Original 2a Semana Tipo A: 1. (b) 2. (c) 3. (a) 4. (b) 5. (d) 6. (d) 7. (c) 8. (c) 9. (d) 10. (b) Tipo B: 1. (b) 2. (c) 3. (c) 4. (c) 5. (a) 6. (d) 7. (b) 8. (d) 9. (b) 10. (d) Tipo C: 1. (d) 2. (d) 3. (a) 4. (b) 5. (d) 6. (c) 7. (b) 8. (b) 9. (c) 10. (c)

Nacional Original 1a Semana


1 Indicar cul de los siguientes lenguajes NO es regular: (a). L = {w {a, b} |ab y ba son subcadenas de w } (b). L = {w {a, b} |bbb no es subcadena de w } (c). El lenguaje de cadenas que son prejos (nitos) de la expansin decimal de , es decir, L = {3.1 , 3.14 , 3.141 , 3.1415 , . . . } Solucin: C. El lenguaje de la opcin C no es regular. Se trata de un lenguaje innito que no verica el lema de bombeo. En los lenguajes de las opciones A y B es fcil disear expresiones regulares que los representen. 2 Las mquinas de Turing se diferencian de los autmatas nitos y de los autmatas a pila en que (a). En las mquinas de Turing la cabeza lectora puede retroceder (b). Las mquinas de Turing pueden escribir sobre su cinta (c). Las dos armaciones anteriores son ciertas Solucin: C. Las dos primeras armaciones son ciertas, puesto que los autmatas nitos y los de pila no pueden escribir sobre su cinta y en ellos la cabeza lectora no puede retroceder. 3 El resultado de concatenar dos lenguajes independientes de contexto, es siempre un lenguaje independiente de contexto? (a). S, siempre (b). No, nunca (c). Depende de los lenguajes que se consideren Solucin: A. Teorema 7.24 del libro 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 2

4 Dado un alfabeto , llamamos L1 al conjunto de lenguajes de aceptados por mquinas de Turing deterministas de una sola cinta, L2 al conjunto de lenguajes de aceptados por mquinas de Turing deterministas con varias cintas y L3 al conjunto de lenguajes de aceptados por mquinas de Turing no deterministas y con varias cintas Cul de las siguientes armaciones es verdadera? (a). L1 = L2 L3 (b). L1 L2 = L3 (c). Ninguna de las armaciones anteriores es cierta Solucin: C. Toda mquina de Turing de una cinta no determinista es equivalente (en cuanto al lenguaje que acepta) a una mquina de Turing determinista de una cinta, y sta es equivalente a su vez a una mquina de varias cintas. 5 Sea el alfabeto = {a, b}. Sea L1 el lenguaje reconocido por el autmata de la izquierda y L2 el lenguaje reconocido por el autmata de la derecha. a b B a a A b C b E a, b a b A a D a b B b C a, b

Indicar cul de las siguientes armaciones es verdadera: (a). Uno de los autmatas es determinista y el otro no lo es (b). El autmata de la izquierda tiene algn estado no accesible (c). L1 = L2 (d). Ninguna de las anteriores armaciones es verdadera Solucin: C: L1 = L2 = ( + b)(aa ( + b)) 3

6 Dada la siguiente gramtica independiente del contexto G: S aabS | baaS | abaS | aaSb | baSa | aSab | bSaa | aSba | Saab | Sbaa | Saba | abSa | Indicar cul de las siguientes armaciones es verdadera: (a). Las cadenas que genera G contienen el doble nmero de as que de bs (b). Las cadenas que genera G tienen como mnimo una longitud de 2 (c). En las cadenas que genera G todas las as aparecen antes que las bs (d). Ninguna de las anteriores armaciones es verdadera Solucin: A. Cada vez que se deriva el no terminal S de la gramtica G, se introducen dos as por cada b, sin importar el orden. La opcin B es falsa puesto que G genera la cadena vaca que tiene una longitud menor de 2. La ocpin C es falsa porque G genera, por ejemplo, la cadena baa. 7 Dada la siguiente gramtica G: S A1B A 0A | B 0B | 1B | y la expresin regular E = 0 1(0 + 1) . Indicar cul de las siguientes armaciones es verdadera: (a). G y E no pueden generar el mismo lenguaje porque la gramtica es independiente del contexto (y por tanto, generar un lenguaje independiente del contexto) y la expresin regular generar un lenguaje regular (b). Ambos reconocen el mismo lenguaje (c). Ninguna de las anteriores armaciones es verdadera Solucin: B. Estudiando las derivaciones de la gramtica es fcil ver que reconoce el mismo lenguaje que genera la expresin regular. La opcin A es falsa puesto que todos los lenguajes regulares son a su vez lenguajes independientes del contexto y, por tanto, tambin se pueden representar mediante gramticas independientes del contexto. 4

8 Indicar para qu valores de las etiquetas Etiqueta-1 y Etiqueta-2, el autmata de la gura representa el lenguaje {xn+1 y n : n 0}. Se supone que inicialmente la pila se encuentra vaca y que el smbolo inicial de la pila es Z0 . En el diagrama de transiciones algunos arcos tienen una etiqueta en la que el segundo elemento es . En estos casos se considera que el autmata ejecuta esta transicin teniendo en cuenta nicamente el smbolo actual de la cadena de entrada sin inspeccionar el contenido de la cima de la pila. Por tanto, en estas transiciones no se extrae ningn elemento de la pila. Etiqueta-1 q0 , ; Z0 q1 Etiqueta-2 y, z ; q2 , Z0 ; q3

(a). Etiqueta-1=x, ; z Etiqueta-2=, z ; (b). Etiqueta-1=x, ; y Etiqueta-2=, ; (c). No existen valores de Etiqueta-1 y Etiqueta-2 que hagan correcta la solucin Solucin: C. Independientemente de los valores de las etiquetas, el autmata acepta la cadena vaca y el lenguaje no la contiene 9 Considere el lenguaje L generado por la siguiente gramtica: S xxSyy | y el siguiente autmata (Nota: Se supone que la pila se encuentra inicialmente vaca. En el diagrama de transiciones algunos arcos tienen una etiqueta en la que el segundo elemento es . En estos casos se considera que el autmata ejecuta esta transicin teniendo en cuenta nicamente el smbolo actual de la cadena de entrada sin inspeccionar el contenido de la cima de la pila. Por tanto, en estas transiciones no se extrae ningn elemento de la pila): y, a; y, a; x, ; a x, ; par

Qu signicado se le puede atribuir al estado par cuando el autmata lee cadenas del lenguaje L? (a). Se llega al estado par cuando se ha ledo un nmero par de xs en las cadenas del lenguaje L. (b). Se llega al estado par cuando se ha ledo un nmero par de smbolos en las cadenas del lenguaje L. (c). Se llega al estado par cuando se ha ledo un nmero par de y s en las cadenas del lenguaje L. (d). Se llega al estado par cuando se ha ledo un nmero impar de xs en las cadenas del lenguaje L. Solucin: D. Basta con ver las dos transiciones existentes entre el estado S y el estado par . 10 Dado el lenguaje L generado por la siguiente gramtica: S xxSyy | xxyy y el siguiente autmata (Nota: Se supone que la pila se encuentra inicialmente vaca. En el diagrama de transiciones algunos arcos tienen una etiqueta en la que el segundo elemento es . En estos casos se considera que el autmata ejecuta esta transicin teniendo en cuenta nicamente el smbolo actual de la cadena de entrada sin inspeccionar el contenido de la cima de la pila. Por tanto, en estas transiciones no se extrae ningn elemento de la pila): y, a; , ; z y, a;

Y , z ; z F

x, ; a par

x, ; a

Indicar cul de las siguientes armaciones es verdadera: (a). El autmata no comprueba que haya un nmero par de y s en las cadenas del lenguaje L. 6

(b). El autmata no reconoce todas las cadenas contenidas en el lenguaje L. (c). El autmata reconoce todas las cadenas contenidas en el lenguaje L. (d). El autmata no est correctamente denido. Solucin: C. La opcin A es falsa puesto que el autmata comprueba que haya un nmero par de xs (mediante el estado par y la pila) y luego implcitamente comprueba que haya un nmero par de y s al exigir que exista el mismo nmero de x que de y s (mediante la transicin del estado X al estado Y , del estado Y al estado F y el bucle del estado Y ). La opcin D es falsa puesto que el autmata est correctamente denido. Es fcil comprobar que el autmata reconoce todas las cadenas contenidas en el lenguaje L.

Nacional UE Original 2a Semana


11 Indicar cul de los siguientes lenguajes NO es regular: (a). L = {w {a, b} |abab es subcadena de w } (b). L = {w {a, b} |w / {an bn } : n > 0} (c). El lenguaje consistente en las cadenas de caracteres tales que dos as estn separadas por 4i smbolos para algn entero i 0 Solucin: B. Si L fuera regular, su complementario tambin habra de serlo, y {an bn } no es un lenguaje regular. En los casos A y C es fcil disear expresiones regulares que representen los correspondientes lenguajes 12 La estrella de Kleene o clausura de un lenguaje independiente de contexto, es siempre un lenguaje independiente de contexto? (a). S, siempre (b). No, nunca (c). Depende de los casos Solucin: A. Partiendo de una gramtica independiente de contexto que genere L, renombramos S como S, y aadimos las reglas S S S y S . 7

13 Dado el alfabeto = {0, 1}, el lenguaje L se dene como L = {w |w contiene un nmero par de 0s, o exactamente dos 1s }. Indicar qu expresin regular genera el lenguaje L: (a). (1 01 01 0 ) + (0 10 10 ) (b). (1 01 01 ) + (0 10 10 ) (c). (10101) + (0 10 10 ) Solucin: B. (1 01 01) genera el lenguaje L = {w |w contiene un nmero par de 0s} y (0 10 10 ) el lenguaje L = {w |w contiene exactamente dos 1s}. Contraejemplo para A: no debera generar 000. Contraejemplo para C: no genera 00. 14 Indique cul de las siguientes armaciones es verdadera: (a). Dado un alfabeto , para cualquier lenguaje construido sobre existe una mquina de Turing que lo acepta (b). Dado un alfabeto , cualquier lenguaje construido sobre es recursivamente enumerable (c). Dado un alfabeto , existen lenguajes construidos sobre que no son recursivamente enumerables y para los cuales no se puede construir una mquina de Turing que los acepte Solucin: C: Ver pgina 264 del libro 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 15 Considere la gramtica de smbolos terminales {(, ), ; , 1, 2, 3}, smbolos no terminales {S, A, E } y producciones: S (A) A A; E | E E 1| 2| 3| S La gramtica genera listas de elementos que son nmeros o a su vez listas separadas por el smbolo ;. Indicar cul de las siguientes armaciones es verdadera: (a). El lenguaje es regular 8

(b). El lenguaje es independiente del contexto no regular (c). No existe una gramtica equivalente en Forma Normal de Chomsky Solucin: B. La opcin A es falsa porque es necesaria una pila para controlar que los parntesis estn equilibrados. La opcin C es falsa puesto que la gramtica no genera la cadena vaca y por tanto siempre ser posible construir una gramtica equivalente en Forma Normal de Chomsky. 16 Dada la siguiente expresin regular: (((a + b)c (a + b)) + ((ac + ab) )) y el siguiente autmata nito: c a, b a, b q0 a q3 b, c a Indicar qu valores deben tener Etiqueta-1 y Etiqueta-2 para que el autmata acepte el mismo lenguaje que la expresin regular: (a). Etiqueta-1=a, b Etiqueta-2=a (b). Etiqueta-1=c Etiqueta-2=a (c). Etiqueta-1=a Etiqueta-2=a, b (d). Ninguna de las anteriores combinaciones es vlida Solucin: C. Son los nicos valores de las etiquetas posibles para que el autmata reconozca el mismo lenguaje que la expresin regular. 17 Dado el lenguaje L generado por la siguiente gramtica: S xSy | xSyy | z 9 Etiqueta-2 q4 q1 a, b q2 Etiqueta-1

y el siguiente autmata (Nota: Se supone que la pila se encuentra inicialmente vaca. En el diagrama de transiciones algunos arcos tienen una etiqueta en la que el segundo elemento es . En estos casos se considera que el autmata ejecuta esta transicin teniendo en cuenta nicamente el smbolo actual de la cadena de entrada sin inspeccionar el contenido de la cima de la pila. Por tanto, en estas transiciones no se extrae ningn elemento de la pila): x, ; a z, ; a y, ; x, ; a z, ; a q1 Qu funcin realiza la pila del autmata en relacin a las cadenas del lenguaje L?. (a). Lleva la cuenta del nmero de xs presentes en las cadenas del lenguaje L. (b). Lleva la cuenta del nmero de y s presentes en las cadenas del lenguaje L. (c). Lleva la cuenta del nmero de z s presentes en las cadenas del lenguaje L. (d). Lleva la cuenta del nmero de producciones necesarias para derivar las cadenas del lenguaje L. Solucin: D. El autmata slo inserta en la pila un smbolo cuando lee una x o una z de la entrada, que coincide con posibles derivaciones de la gramtica. La opcin B es falsa puesto que cuando lee una y el autmata no realiza ninguna operacin con la pila. 18 Indicar cul es el autmata ms sencillo (con menor capacidad de reconocimiento) que funcione de la siguiente manera. Dada cualquier cadena de x e y , substituya todas las xs por z s y devuelva una cadena con todas las y s al principio y las z s a continuacin (a). Un autmata nito. (b). Un autmata a pila determinista. (c). Un autmata a pila no determinista. 10

q0

q2

y, ;

(d). Una mquina de Turing. Solucin: D. Es el nico autmata que puede escribir en la cinta. 19 Sea L el lenguaje generado por la siguiente gramtica: S xxSyy | xy Indicar cul de las siguientes armaciones es verdadera: (a). L est formado por cualquier cadena que tenga el mismo nmero de xs que de y s. (b). L est formado por cualquier cadena que tenga el mismo nmero de xs que de y s, y que adems tenga un nmero par de smbolos. (c). L est formado por cualquier cadena que tenga el mismo nmero par de xs y de y s. (d). Ninguna de las anteriores armaciones es verdadera. Solucin: D. Deben ser cadenas de x seguidas de y. 20 Qu podemos armar del siguiente autmata?. x q0 x q1 x q2 y z q3 y, z q5 (a). Es un autmata no determinista que reconoce cadenas de x e y de tamao mayor o igual a dos. (b). Est mal denido, ya que tiene dos estados de aceptacin. (c). No tiene en cuenta la cantidad de smbolos z que se leen de la cadena de entrada. (d). Ninguna de las anteriores. Solucin: C. Reconoce cadenas de x seguidas por cadenas de y , que tengan alguna z intercalada. y y q4 z

11