Act 8: Lección Evaluativa Unidad No.2 Question1 Puntos: 1 Considere la gramática G = {S → aS | aA | a , A → aA | bS } ¿Cuál es la longitud de las cadenas que puede generar y cuáles son esas cadenas, identifíquelas? Seleccione una respuesta. a. 7 y son {a,aa,aaa,aaaa, abaa, aaba, abab} b. 5 y son {Ø, a, aa, ab, ba } c. 6 y son {a, aa, ab, ba, bb, aba } d. 10 y son {Ø, a, aa, ab, ba, bb, aba, abab, bbb, b } Question2 Puntos: 1 En un autómata de pila (AP), la función de transición aplica o interviene a: Seleccione al menos una respuesta. a. A cada estado b. A cada símbolo de entrada (Incluyendo la cadena vacía) c. A cada movimiento de la pila d. A cada símbolo topo de la pila Question3 Puntos: 1 Si ∑ es un alfabeto, se le llama ∑n al conjunto de todas las palabras de longitud n sobre ∑. d.b} G = S → aSa | bSb | a | b | Dada esa gramática. a. a. ∑ * = Conjunto de todas las cadenas de cualquier longitud sobre ∑ b. Seleccione al menos una respuesta.Identifique las notaciones de conjuntos válidas para la creación de palabras sobre el alfabeto ∑ Seleccione al menos una respuesta. ∑0 = {lambda} Conjunto cuyo único elemento es la palabra vacía. ∑0 = Conjunto de todas las cadenas sobre el alfabeto ∑ excepto la vacía. S → b (Palíndromos con símbolos pares) c. S → lambda ( Palíndromos con símbolos pares ) d. c. ∑+ = Conjunto de todas las cadenas positivas excepto la vacía Question4 Puntos: 1 Se propone la siguiente GLC (Gramática Libre de Contexto) para que genere el lenguaje de los palíndromos en el alfabeto ∑ = {a. S → a | S → b (Palíndromos con símbolos impares) b. determine cuáles reglas corresponden a los palíndromos generados. S → a (Palíndromos con símbolos pares) Question5 Puntos: 1 Para eL siguiente árbol de derivación identifique las operaciones correctas sobre el mismo: . a. La derivación de la cadena {abaca} es: S ---> ScS ---> SbScS ---> abScS ---> abacS ---> abaca Question6 Puntos: 1 Identifique los aspectos que se deben tener para garantizar el determinismo en un Autómata de pila finito determinista (AFPD). La gramática que lo genera es: S -->SaS | SbS | Sc | a c. Seleccione al menos una respuesta.Seleccione al menos una respuesta. La derivación de la cadena {abaca} es: S --> SbS --> SbScS ---> SbSca ---> Sbaca ---> abaca b. . Tenga en cuenta además de los componentes (tupla) de la pila que:: f: es la función de transición: e: es una transición dada espontanea. La gramática que lo genera es: S --> SbS | ScS | a d. e.a. Si. No todas las veces. Sí. No se permiten operaciones con la pila vacía. Las operaciones: f(q. dado que puede tratarse de un autómata no determinista.s)y f(q. Nunca. Queda en un bucle ya que solo recorre un símbolo. a. Que “falten palabras”.a. c. c. Que “sobren palabras” b. d. Si el autómata lee la cadena x. d. La definición de la función de transición (f) requiere que haya por lo menos un símbolo en la pila. d. Reutilizar gramáticas y modificarlas para ajustarlas al lenguaje generado Question8 Puntos: 1 Sea un autómata (finito o de pila) M y una cadena x ∈ L(M). si M es un autómata finito.. siempre. Question7 Puntos: 1 Los errores más comunes al diseñar gramáticas (GLC) son: Seleccione al menos una respuesta. sin procesar (o consumir) símbolos sobre la cinta de entrada. b. a. b. Question9 . usando la misma entrada y el mismo símbolo de pila. ¿llegará necesariamente a un estado de aceptación? Seleccione una respuesta. q Q y s (pertenecen) al alfabeto de la pila y no pueden estar simultáneamente definidos o declarados.s) con a ∑ . Combinar gramáticas c. El determinismo se da cuando no hay alternativas de movimiento para el mismo estado. Las transiciones lambda en un AFPD permiten que el autómata cambie el contenido de la pila. B ---> 1B|lambda} Question10 Puntos: 1 De entre las cuatro clases de gramáticas de la clasificación de Chomsky. . G= {S -->0B | 0A .. A ---> 0B | lambda. B ---> lambda c. G={S ---> 0A| lambda. B ---> lambda} b. A ---> 1B | lambda.. a. reconoce el lenguaje generado por la gramática: Seleccione una respuesta. Aspectos que caracterizan este tipo de gramáticas son: Seleccione al menos una respuesta. A ---> 1B | lambda . es el de las gramáticas independientes o libres del contexto. G = { S --->A |lambda . G = { S --->B |lambda . el grupo más importante. desde el punto de vista de la aplicabilidad en teoría de compiladores. Las gramáticas de este tipo se pueden usar para expresar la mayoría de estructuras sintácticas de un lenguaje de programación. A ---> 0A | 1B..Puntos: 1 Dado el siguiente autómata finito (AF). B ---> lambda} d. 2 Question1 Puntos: 1 Indique cuál de los siguientes lenguajes genera esta gramática: S - X X Y X xXy Y xxYx X ---> lambda Y ---> lambda Seleccione una respuesta.a. La longitud de las cadenas de derivaciones nunca puede ser nula y siempre se grafican en el Arbol de derivación iniciando por la Izquierda La representación de las derivaciones de la gramática siempre se hacen de forma vertical.Unidad No. Nunca de forma comprimida u horizontal d. El lenguaje definido por una gramática G. Nunca de forma comprimida u horizontal c. que se pueden derivar partiendo del axioma de la gramática. y empleando para las derivaciones las reglas de producción de P b. La representación de las derivaciones de la gramática siempre se hacen de forma vertical. denotado L(G) es el conjunto de cadenas de símbolos terminales. Un árbol ordenado y etiquetado D es un árbol de derivación para una gramática libre de contexto G(A) Act 9: Quiz 2 . . a. el lenguaje x (potencia m) y (potencia n) tal que n ≤ m < 2n. Question2 Puntos: 1 Dado el lenguaje L = {a. Puede ser infinito Question4 Puntos: 1 . b} indique cuántas cadenas de longitud estrictamente menor que 3 hay en L*: Seleccione una respuesta.a. 7 b. 6 Question3 Puntos: 1 Dado un alfabeto. 5 c. b. Depende del alfabeto sobre el que está definido b. a. el número máximo de estados de un autómata finito determinista: Seleccione una respuesta. c. abb. el lenguaje x (potencia m) y (potencia n) tal que n < m ≤ 2n d. 4 d. Es directamente proporcional al número de cadenas del lenguaje que reconoce c. ba. el lenguaje x (potencia m) y (potencia n) tal que n ≤ m ≤ 2n. el lenguaje x (potencia m) y (potencia n) tal que 2m = 3n. No hay número máximo d. bbba. Todo lenguaje cuyo complementario sea un lenguaje finito es independiente del contexto d. El no determinismo no se hace presente por que los AP poseen un mecanismo adicional de manejo de memoria d. donde w y v son cadenas de a’s y b’s y w y v tienen la mism a longitud pero v no es la cadena inversa de w. R→aRb.Indique cuál de las siguientes afirmaciones es verdadera: Seleccione una respuesta. La unión de un número finito de lenguajes estructurados por frases es un lenguaje estructurado por frases c. La intersección de un lenguaje regular con un lenguaje independiente del contexto es siempre un lenguaje regular. a. a. b. .c} y cadenas de forma wcv. R→c. R→bRb. S→aRb. de cada estado sale un arco por símbolo y sólo uno c. La intersección de dos lenguajes estructurados por frases es un lenguaje estructurado por frases Question6 Puntos: 1 Sea L el lenguaje de alfabeto Σ = {a. Los AP son siempre deterministas. Dicho lenguaje coincide con el generado por la gramática: Seleccione una respuesta. Los autómatas finitos no deterministas son más potentes que los autómatas finitos deterministas Question5 Puntos: 1 Indique cuál de las siguientes afirmaciones es falsa: Seleccione una respuesta. S → aSa. R→aRa. b. Un PDA es siempre no determinista por que la cinta es infinita y puede generar muchas combinaciones en las cadenas que lee.b. En un diagrama completo que represente a un autómata finito determinista. R→bRa. S→bRa. a. S→bSb. listando las situaciones sucesivas en que se encuentra. c. Los autómatas finitos sólo pueden aceptar lenguajes finitos c. Las máquinas de Turing y los autómatas de pila son autómatas finitos d. S→bRa. R→aRb. a. Simular su ejecución. R→bRb. S→bRa. Los autómatas de pila reconocen lenguajes generados por gramáticas de tipo 3 Question8 Puntos: 1 Para simular el funcionamiento de un Autómata de Pila lo más recomendable es hacer primero: Seleccione una respuesta. d. S→bSb. R→aRa. d. S→aRb. R→bRb. R→bRa. R→c. mediante una tabla llamada “traza de ejecución c. S→bSb. Question9 Puntos: 1 Desarrolle la siguiente gramática cuyos símbolos terminales son {a. R→bRa. S→bSb. R→aRa. Simularlo en JFLAP con la cadena vacía Lambda para determinar si la pila inicia o no. a. S→bRa. S → aSa.b} . Question7 Puntos: 1 Indique cuál de las siguientes afirmaciones es verdadera Seleccione una respuesta. S → aSa. S → aSa. R→c. Simular su ejecución en un software (podría ser como Visual Autómata Simulator) iniciando con una cadena no válida para determinar si el ciclo de la cinta inicia o no. R→c. S→aRb. Simular su ejecución en una MT que se comporta de igual forma b.b. S→aRb. Los autómatas finitos tienen un número finito de estados b. A ---> bS. Σ∪Σ b. Un Autómata No determinístico pero Finito b. La cadena más sencilla que genera el L(G) es: {aba} c. se está construyendo entonces: Seleccione una respuesta. Un Autómata Determinístico Finito. Un Pushdown Automaton (PA) d. a.S aAA. Una cadena válida sería {abab} d. El autómata más sencillo que Acepta L(G) es un autómata finito Question10 Puntos: 1 Si a un Autómata se le adiciona un almacenamiento auxiliar. c. A ---> lambda Identifique las apreciaciones válidas. Una Turing Machine (TM) Question11 Puntos: 1 La concatenación de dos lenguajes del alfabeto Σ es un subconjunto de: Seleccione una respuesta. a. (Σ*)* . El autómata más sencillo que Acepta L(G) es un autómata de pila (AP). a. Se recomienda desarrollar el árbol de derivación Seleccione al menos una respuesta. El lenguaje que genera la gramática es L(G) = a(ba)* b. Se presenta cuando cada instrucción tiene una sola interpretación en cada rama de un árbol de derivación y tiene un fin de parada en el segundo nodo. cuáles afirmaciones aplican al concepto y lo clarifican en el tema de automatización cuando intervienen gramáticas de diferente tipo: (seleccione más de una opción). y A y Bson símbolos no terminales. entonces el lenguaje generado por dicha gramática es: Seleccione una respuesta. c. Decidible b. o bien de la forma A → w. a. a. Σ∗×Σ∗ d. d.c. Σ×Σ Question12 Puntos: 1 Si una gramática independiente del contexto tiene todas sus reglas de la forma: A → wB. Estructurado por frases y no independiente del contexto c. Sea una gramática G. Regular Question13 Puntos: 1 Respecto a la definición de Ambigüedad. donde w es una cadena de uno o más terminales. Una gramática es ambigua si genera alguna sentencia ambigua Question14 Puntos: 1 . Seleccione al menos una respuesta. Un lenguaje es inherentemente ambiguo si no existe una gramática que la describe y que no sea ambigua b. Una sentencia x que pertenece a L(G) es ambigua si puede obtenerse por medio de varias derivaciones distintas correspondientes a árboles de derivación diferentes. Independiente del contexto no regular d. S→ S0. Las cadenas {0101.Considere la gramática: S→ 0S. Indique cuáles de las siguientes afirmaciones son verdaderas Seleccione al menos una respuesta. La gramática es equivalente a S→0S. Existen derivaciones distintas que generan cadenas idénticas b. La regla S→ S0 es innecesaria d. S→ λ Question15 Puntos: 1 Dado el siguiente árbol de derivación. identifique las apreciaciones válidas cuando se analiza su comportamiento y diseño: Seleccione al menos una respuesta. S→ 1S. 1001] no son parte del lenguaje que genera c. a. S→ λ. S→ 1S. . a. que genera el lenguaje L ={lambda.a. El árbol representa una gramática lineal por la izquierda. La gramática está representada como: G = { S -lambda | Sa} y el lenguaje generado puede representarse con la expresión regular a* c.aa.…} d.aaa. La gramática está representada como G = { S --->lambda | aS} . El árbol representa las cadenas que inician en dos a”s seguida de una o más a”s de un lenguaje regular b.