You are on page 1of 13

Act 8: Leccin Evaluativa Unidad No.

2
Question1
Puntos: 1

Considere la gramtica G = {S aS | aA | a , A aA | bS } Cul es la longitud de las cadenas que puede generar y cules son esas cadenas, identifquelas? 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 autmata de pila (AP), la funcin de transicin aplica o interviene a:

Seleccione al menos una respuesta. a. A cada estado b. A cada smbolo de entrada (Incluyendo la cadena vaca) c. A cada movimiento de la pila d. A cada smbolo 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 .

Identifique las notaciones de conjuntos vlidas para la creacin de palabras sobre el alfabeto Seleccione al menos una respuesta. a. * = Conjunto de todas las cadenas de cualquier longitud sobre b. 0 = {lambda} Conjunto cuyo nico elemento es la palabra vaca. c. 0 = Conjunto de todas las cadenas sobre el alfabeto excepto la vaca. d. + = Conjunto de todas las cadenas positivas excepto la vaca

Question4
Puntos: 1

Se propone la siguiente GLC (Gramtica Libre de Contexto) para que genere el lenguaje de los palndromos en el alfabeto = {a,b}

G = S aSa | bSb | a | b | Dada esa gramtica, determine cules reglas corresponden a los palndromos generados. Seleccione al menos una respuesta. a. S a | S b (Palndromos con smbolos impares) b. S b (Palndromos con smbolos pares) c. S lambda ( Palndromos con smbolos pares ) d. S a (Palndromos con smbolos pares)

Question5
Puntos: 1
Para eL siguiente rbol de derivacin identifique las operaciones correctas sobre el mismo:

Seleccione al menos una respuesta. a. La derivacin de la cadena {abaca} es: S --> SbS --> SbScS ---> SbSca ---> Sbaca ---> abaca b. La gramtica que lo genera es: S -->SaS | SbS | Sc | a c. La gramtica que lo genera es: S --> SbS | ScS | a d. La derivacin 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 Autmata de pila finito determinista (AFPD). Tenga en cuenta adems de los componentes (tupla) de la pila que:: f: es la funcin de transicin: e: es una transicin dada espontanea.

Seleccione al menos una respuesta.

a. La definicin de la funcin de transicin (f) requiere que haya por lo menos un smbolo en la pila. No se permiten operaciones con la pila vaca. b. Las operaciones: f(q,a,s)y f(q,e,s) con a ,, q Q y s (pertenecen) al alfabeto de la pila y no pueden estar simultneamente definidos o declarados. c. El determinismo se da cuando no hay alternativas de movimiento para el mismo estado, usando la misma entrada y el mismo smbolo de pila. d. Las transiciones lambda en un AFPD permiten que el autmata cambie el contenido de la pila, sin procesar (o consumir) smbolos sobre la cinta de entrada.

Question7
Puntos: 1
Los errores ms comunes al disear gramticas (GLC) son:

Seleccione al menos una respuesta. a. Que sobren palabras b. Combinar gramticas c. Que falten palabras, d. Reutilizar gramticas y modificarlas para ajustarlas al lenguaje generado

Question8
Puntos: 1
Sea un autmata (finito o de pila) M y una cadena x L(M). Si el autmata lee la cadena x, llegar necesariamente a un estado de aceptacin?

Seleccione una respuesta. a. No todas las veces, dado que puede tratarse de un autmata no determinista. b. S, siempre. c. Si, si M es un autmata finito. d. Nunca, Queda en un bucle ya que solo recorre un smbolo.

Question9

Puntos: 1
Dado el siguiente autmata finito (AF), reconoce el lenguaje generado por la gramtica:

Seleccione una respuesta. a. G = { S --->A |lambda , A ---> 0B | lambda,, B ---> lambda} b. G= {S -->0B | 0A , A ---> 1B | lambda , B ---> lambda c. G = { S --->B |lambda , A ---> 1B | lambda,, B ---> lambda} d. G={S ---> 0A| lambda,, A ---> 0A | 1B, B ---> 1B|lambda}

Question10
Puntos: 1

De entre las cuatro clases de gramticas de la clasificacin de Chomsky, el grupo ms importante, desde el punto de vista de la aplicabilidad en teora de compiladores, es el de las gramticas independientes o libres del contexto. Las gramticas de este tipo se pueden usar para expresar la mayora de estructuras sintcticas de un lenguaje de programacin. Aspectos que caracterizan este tipo de gramticas son:

Seleccione al menos una respuesta.

a. El lenguaje definido por una gramtica G, denotado L(G) es el conjunto de cadenas de smbolos terminales, que se pueden derivar partiendo del axioma de la gramtica, y empleando para las derivaciones las reglas de produccin de P b. La representacin de las derivaciones de la gramtica siempre se hacen de forma vertical. Nunca de forma comprimida u horizontal c. La longitud de las cadenas de derivaciones nunca puede ser nula y siempre se grafican en el Arbol de derivacin iniciando por la Izquierda La representacin de las derivaciones de la gramtica siempre se hacen de forma vertical. Nunca de forma comprimida u horizontal d. Un rbol ordenado y etiquetado D es un rbol de derivacin para una gramtica libre de contexto G(A)

Act 9: Quiz 2 - Unidad No. 2


Question1
Puntos: 1
Indique cul de los siguientes lenguajes genera esta gramtica: S - X X Y X xXy Y xxYx X ---> lambda Y ---> lambda

Seleccione una respuesta.

a. el lenguaje x (potencia m) y (potencia n) tal que 2m = 3n; b. el lenguaje x (potencia m) y (potencia n) tal que n m 2n; c. el lenguaje x (potencia m) y (potencia n) tal que n < m 2n d. el lenguaje x (potencia m) y (potencia n) tal que n m < 2n;

Question2
Puntos: 1
Dado el lenguaje L = {a, abb, ba, bbba, b} indique cuntas cadenas de longitud estrictamente menor que 3 hay en L*:

Seleccione una respuesta. a. 7 b. 5 c. 4 d. 6

Question3
Puntos: 1
Dado un alfabeto, el nmero mximo de estados de un autmata finito determinista:

Seleccione una respuesta. a. Depende del alfabeto sobre el que est definido b. Es directamente proporcional al nmero de cadenas del lenguaje que reconoce c. No hay nmero mximo d. Puede ser infinito

Question4
Puntos: 1

Indique cul de las siguientes afirmaciones es verdadera:

Seleccione una respuesta. a. 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 autmata finito determinista, de cada estado sale un arco por smbolo y slo uno c. Los AP son siempre deterministas. El no determinismo no se hace presente por que los AP poseen un mecanismo adicional de manejo de memoria d. Los autmatas finitos no deterministas son ms potentes que los autmatas finitos deterministas

Question5
Puntos: 1
Indique cul de las siguientes afirmaciones es falsa:

Seleccione una respuesta. a. La interseccin de un lenguaje regular con un lenguaje independiente del contexto es siempre un lenguaje regular. b. La unin de un nmero finito de lenguajes estructurados por frases es un lenguaje estructurado por frases c. Todo lenguaje cuyo complementario sea un lenguaje finito es independiente del contexto d. La interseccin de dos lenguajes estructurados por frases es un lenguaje estructurado por frases

Question6
Puntos: 1
Sea L el lenguaje de alfabeto = {a,b,c} y cadenas de forma wcv, donde w y v son cadenas de as y bs y w y v tienen la mism a longitud pero v no es la cadena inversa de w. Dicho lenguaje coincide con el generado por la gramtica:

Seleccione una respuesta. a. S aSa, SbSb, SaRb, SbRa, RaRa, RbRb, RaRb, RbRa, Rc.

b. S aSa, SbSb, SaRb, SbRa, RaRa, RbRb, Rc. c. S aSa, SbSb, SaRb, SbRa, RaRb, RbRa, Rc. d. S aSa, SbSb, SaRb, SbRa, RbRb, RaRa, RbRa, Rc.

Question7
Puntos: 1
Indique cul de las siguientes afirmaciones es verdadera

Seleccione una respuesta. a. Los autmatas finitos tienen un nmero finito de estados b. Los autmatas finitos slo pueden aceptar lenguajes finitos c. Las mquinas de Turing y los autmatas de pila son autmatas finitos d. Los autmatas de pila reconocen lenguajes generados por gramticas de tipo 3

Question8
Puntos: 1

Para simular el funcionamiento de un Autmata de Pila lo ms recomendable es hacer primero:

Seleccione una respuesta. a. Simular su ejecucin en una MT que se comporta de igual forma b. Simular su ejecucin, listando las situaciones sucesivas en que se encuentra, mediante una tabla llamada traza de ejecucin c. Simular su ejecucin en un software (podra ser como Visual Autmata Simulator) iniciando con una cadena no vlida para determinar si el ciclo de la cinta inicia o no. d. Simularlo en JFLAP con la cadena vaca Lambda para determinar si la pila inicia o no.

Question9
Puntos: 1
Desarrolle la siguiente gramtica cuyos smbolos terminales son {a,b}

S aAA, A ---> bS, A ---> lambda Identifique las apreciaciones vlidas. Se recomienda desarrollar el rbol de derivacin

Seleccione al menos una respuesta. a. El lenguaje que genera la gramtica es L(G) = a(ba)* b. La cadena ms sencilla que genera el L(G) es: {aba} c. El autmata ms sencillo que Acepta L(G) es un autmata de pila (AP). Una cadena vlida sera {abab} d. El autmata ms sencillo que Acepta L(G) es un autmata finito

Question10
Puntos: 1

Si a un Autmata se le adiciona un almacenamiento auxiliar, se est construyendo entonces:

Seleccione una respuesta. a. Un Autmata No determinstico pero Finito b. Un Autmata Determinstico Finito. c. Un Pushdown Automaton (PA) d. Una Turing Machine (TM)

Question11
Puntos: 1
La concatenacin de dos lenguajes del alfabeto es un subconjunto de:

Seleccione una respuesta. a. b. (*)*

c. d.

Question12
Puntos: 1
Si una gramtica independiente del contexto tiene todas sus reglas de la forma: A wB, o bien de la forma A w, donde w es una cadena de uno o ms terminales, y A y Bson smbolos no terminales, entonces el lenguaje generado por dicha gramtica es:

Seleccione una respuesta. a. Decidible b. Estructurado por frases y no independiente del contexto c. Independiente del contexto no regular d. Regular

Question13
Puntos: 1

Respecto a la definicin de Ambigedad, cules afirmaciones aplican al concepto y lo clarifican en el tema de automatizacin cuando intervienen gramticas de diferente tipo: (seleccione ms de una opcin).

Seleccione al menos una respuesta. a. Un lenguaje es inherentemente ambiguo si no existe una gramtica que la describe y que no sea ambigua b. Se presenta cuando cada instruccin tiene una sola interpretacin en cada rama de un rbol de derivacin y tiene un fin de parada en el segundo nodo. c. Sea una gramtica G. Una sentencia x que pertenece a L(G) es ambigua si puede obtenerse por medio de varias derivaciones distintas correspondientes a rboles de derivacin diferentes. d. Una gramtica es ambigua si genera alguna sentencia ambigua

Question14
Puntos: 1

Considere la gramtica: S 0S, S 1S, S S0, S . Indique cules de las siguientes afirmaciones son verdaderas

Seleccione al menos una respuesta. a. Existen derivaciones distintas que generan cadenas idnticas b. Las cadenas {0101, 1001] no son parte del lenguaje que genera c. La regla S S0 es innecesaria d. La gramtica es equivalente a S0S, S 1S, S

Question15
Puntos: 1
Dado el siguiente rbol de derivacin, identifique las apreciaciones vlidas cuando se analiza su comportamiento y diseo:

Seleccione al menos una respuesta.

a. El rbol representa las cadenas que inician en dos as seguida de una o ms as de un lenguaje regular b. La gramtica est representada como: G = { S -lambda | Sa} y el lenguaje generado puede representarse con la expresin regular a* c. El rbol representa una gramtica lineal por la izquierda, que genera el lenguaje L ={lambda, a,aa,aaa,} d. La gramtica est representada como G = { S --->lambda | aS}

You might also like