Modelo de examen: Nacional UE Original, Tipo: [A] Cada acierto suma un punto sobre 10; cada error descuenta 1/2 punto, Las preguntas no respondidas no puntian. 3}, simbolos no terminales {S, A, I} y producciones 1, Considere la gramatica de simbolos terminales {(,),:. 1, S=(A) A+AE|E E = 1/2/38 Indicar La gramatica genei de elementos que son nimeros o a su vez listas separadas por el simbolo cual de las siguientes afirmaciones es verdadera: (a) Bl lenguaje es regular (b) El enguaje es independiente del contexto no regular (©) Noexiste una gramética equivalente en Forma Normal de Chomsky 2. Dada la siguiente expresi6n regular: (((a + b)e*(a-+b)) + ((ac + ab)*))* y el siguiente autémata finito: Indicar qué valores deben tener Etiqueta-1 y Etiqueta-2 para que el autémata acepte el mismo lenguaje que la expresi6n regular: (a) Etiqueta-1=a, b Etiqueta-2=a (b) Btiqueta-T=c Btiqueta-2=a db (@)__ Ninguna de las anteriores combinaciones es valida (©) Btiqueta-1=a Etiqueta-2 3. Laestrella de Kleene o clausura de un lenguaje independiente de contexto, ;es siempre un lenguaje independiente de contexto? (a) Si, siempre (6) No, nunca (©) Depende de los casos 4, Indicar cual de los siguientes lenguajes NO es regular: (a) L = {w € {a,b}"|abab es subcadena de w} () L= {we {a,b} wu ¢ {arr} n> OF (©) El lenguaje consistente en las cadenas de caracteres tales que dos a’s estin separadas por 4i simbolos para algdn entero i > 05, Sea el lenguaje generado por la siguiente gramética: S$ wxSyy| ey Indicar cudl de las siguientes afirmaciones es verdadera: (a) __L esté formado por cualquier cadena que tenga el mismo numero de a’s que de y's. (b) — L esté formado por ‘un niimero par de simbolos. alquier cadena que tenga el mismo nimero de 1's que de y's, y que ademés tenga (©) Lesté formado por cualquier cadena que tenga el mismo nimero par de 2's y de y’s. (@)__ Ninguna de las anteriores afirmaciones es verdadera. 6. Indicar cual es el autémata més sencillo (con menor capacidad de reconocimiento) que funcione de la siguiente manera, Dada cualquier cadena de x e y, substituya todas las v's por 2's y devuelva una cadena con todas las y's al principio y las 2's a continua (a) Unautémata finito. (b) Un autémata a pila determinista, (©) Unautémata a pila no determi () Una méquina de Turing. 7. {Qué podemos afirmar del siguiente autémata?, (a) Es un aut (b) _ Esté mal definido, ya que tiene dos estados de aceptacién. ata no determinista que reconoce cadenas de xr € y de tamaiio mayor o igual a dos, (c) No tiene en cuenta la cantidad de simbolos = que se len de la cadena de entrada. (@)— Ninguna de las anter 8. Indique cudl de las siguientes afirmaciones es verdadera: (a) Dado un alfabeto ©, para cualquier lenguaje construido sobre ¥: exi ina de Turing que lo acepta (b) Dado un alfabeto 52, cualquier lenguaje construido sobre ©) es recursivamente enumerable (©) Dado un alfabeto ©, existen lenguajes construidos sobre ¥2 que no son recursivamente enumerables y para los cuales no se puede construir una maquina de Turing que los acepte9, Dado el lenguaje L generado por la siguiente gramética: S = wSy | xSyy | 2 y el siguiente autémata (Nota: Se supone que la pila se encuentra inicialmente vaefa. En el diagrama de iransiciones algunos arcos tienen una etiqueta en la que el segundo elemento es ¢. En estos casos se considera que el aut6mata ejecuta esta transici6n teniendo en cuenta tnicamente el simbolo actual de Ia cadena de entrada sin inspeccionar el contenido de la cima de la pila. Por tanto, en estas transiciones no se extrae ningdin elemento de la pil {Qué funci6n realiza la pila del aut6mata en relaci6n a las cadenas del lenguaje £2. (a) Lleva la cuenta del mémero de 2’s presentes en las cadenas del lenguaje L. (b) _Lleva la cuenta del ntimero de y’s presentes en las cadenas del lenguaje I (©) Lleva la cuenta del ntimero de 2's presentes en las cadenas del lenguaje L @ eva la cuenta del ntimero de producciones necesarias para derivar las cadenas del lenguaje I. 10, Dado el alfabeto 8 = {0,1}, el lengua exactamente dos I's }. Indicar qué expresién regular genera el lenguaj L se define como L = {ww contiene un némero par de 0's, © L: (a) (1°01°0170") + (0°10"10") (by) (1°01"01")* + (0"10" 10") (c) (10101) + ("10°10")