Act 8: Leccin Evaluativa Unidad No.

2
Revisin del intento 1
Comenzado el martes, 22 de abril de 2014, 10:37
Completado el martes, 22 de abril de 2014, 11:09
Tiempo empleado 32 minutos 32 segundos
Puntos 8.2/10
Calificacin 24.7 de un mximo de 30 (82%)
Comentario - Correcto
Question 1
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.
Correcto

b. 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.
Correcto

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.
Correcto

d. 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.

Parcialmente correcto
Puntos para este envo: 0.8/1.
Question 2
Puntos: 1
Los AP tienen ciertos comportamientos y asociaciones con los AF.
Seleccione las afirmaciones vlidas:
Seleccione al menos una respuesta.

a. Los AP son una extensin de los AF Correcto

b. Si se quiere meter cadenas a una pila, puede
hacerse con una operacin tipo pop

c. Los AP son una extensin de los AF Correcto

d. Los autmatas de pila aceptan exactamente los
LLC. Por lo que: Si M es un AP, entonces L(M) es
un LLC
Correcto: Si L es un LLC,
entonces hay un AP M tal que
L(M) = L
Correcto
Puntos para este envo: 1/1.
Question 3
Puntos: 1
Las Gramticas regulares pueden ser de dos formas: Lineales por la derecha y Lineales
por la izquierda. Tambin pueden ser ambiguas si existen dos rboles de derivacin
distintos para una misma palabra. Dada la Gramtica G = {S, A}, T= {0,1} representada
en los dos rboles de derivacin siguiente, identifique el tipo de producciones y el
lenguaje que generan:



Seleccione al menos una respuesta.

a. El rbol de Derivacin A representa una
gramtica lineal por la izquierda y genera el
lenguaje 0(10)*


b. El rbol de Derivacin A representa una
gramtica lineal por la derecha.

c. El rbol de Derivacin A no es lineal, es
ambigua (puede tener producciones por la
izquierda y la derecha) y genera el lenguaje (10)*

Incorrecto: El rbol de
Derivacin A representa una
gramtica lineal por la derecha

d. El rbol de Derivacin B representa una
gramtica lineal por la izquierda y genera el
lenguaje 0(10)*
Correcto: Es el lenguaje
generado por la gramtica.
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question 4
Puntos: 1
Acerca del funcionamiento de un Autmata de Pila, cul de las siguientes operaciones o
comportamientos NO las hace este autmata.
Seleccione una respuesta.

a. Al igual que los AF, los AP tienen
estados finales, que permiten
distinguir cuando una palabra de

entrada es aceptada

b. En la Pila una transicin de un
estado a otro Arroja la informacin
de lo que sale de la pila (tope), no de
lo que entra ya que el avance es
progresivo hacia adelante y no hacia
atrs.
Correcto: Esta afirmacin es falsa ya que en
los AP las transiciones de un estado a otro
indican, adems de los caracteres que se
consumen de la entrada, tambin lo que se
saca del tope de la pila, as como tambin lo
que se mete a la pila.

c. Una de las condiciones para que
una palabra de entrada sea aceptada
en un AP la pila debe estar vaca.


d. La pila no tiene lmite en sus
extremos. A diferencia de las MT
que son cerradas por la izquierda.

Para verificar el funcionamiento del autmata, podemos simular su ejecucin, listando
las situaciones sucesivas en que se encuentra, mediante una tabla que llamaremos traza
de ejecucin. Las columnas de una traza de ejecucin para un AP son: el estado en que
se encuentra el autmata, lo que falta por leer de la palabra de entrada, y el contenido de
la pila
Correcto
Puntos para este envo: 1/1.
Question 5
Puntos: 1
Respecto a la relacin entre un AF y un AP cul afirmacin es cierta:
Seleccione una respuesta.

a. Un AP es infinito por su capacidad de
memoria. Un AF es finito por su nmero
de estados.


b. Los AF y los AP tienen la misma
capacidad de memoria

c. Todo lenguaje aceptado por un AF es
tambin aceptado por un AP
Correcto: Este resultado debe quedar
intuitivamente claro, puesto que los AP
son una extensin de los AF.

d. Las gramticas que generan los
lenguajes que pueden representar estos
autmatas o mquinas, son las GLC

En los AP tambin es posible aplicar mtodos de combinacin modular de autmatas,
como se hizo con los autmatas finitos. En particular, es posible obtener AP que
acepten la unin y concatenacin de los lenguajes aceptados por dos AP dados.
Correcto
Puntos para este envo: 1/1.
Question 6
Puntos: 1
Los errores ms comunes al disear gramticas (GLC) son:
Seleccione al menos una respuesta.

a. Reutilizar gramticas y
modificarlas para ajustarlas al
lenguaje generado


b. Que falten palabras,
Correcto esto es, que haya palabras en el lenguaje
considerado para lasque no hay ninguna
derivacin. En este caso, la gramtica seria
incompleta.

c. Que sobren palabras
Correcto: esto es, que la gramtica genere algunas
palabras que no debera
generar. En este caso, la gramtica seria incorrecta.

d. Combinar gramticas

El problema del diseo de GLC consiste en proponer, dado un lenguaje L, una GLC G
tal que su lenguaje generado es exactamente L.
Correcto
Puntos para este envo: 1/1.
Question 7
Puntos: 1
Indique cul de las siguientes afirmaciones es verdadera:
Seleccione al menos una respuesta.

a. Con un autmata de pila no puede reconocerse un lenguaje regular



b. Para reconocer un lenguaje regular mediante un autmata de pila
no es necesario que el alfabeto de la pila contenga ningn smbolo

c. Cuando se dice que un AFPD (autmata de pila determinista) es
ms sencillo , se refiere a que es menos potente y no se refiere ala
sencillez de su diseo.
Correcto:

d. Para reconocer un lenguaje regular mediante un autmata de pila
el alfabeto de la pila debe contener al menos un smbolo
Esta opcin
es falsa
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question 8
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 ---> ScS ---> SbScS ---> abScS --->
abacS ---> abaca
Incorrecto; si reconoce la cadena pero
genera un rbol de derivacin diferente
por la izquierda.

b. La derivacin de la cadena {abaca} es:
S --> SbS --> SbScS ---> SbSca --->
Sbaca ---> abaca


c. La gramtica que lo genera es: S -->
SbS | ScS | a
Correcto

d. La gramtica que lo genera es: S --
>SaS | SbS | Sc | a
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question 9
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) Correcto

b. S lambda ( Palndromos con smbolos pares ) Correcto

c. S a (Palndromos con smbolos pares)


d. S b (Palndromos con smbolos pares)

Al realizar el rbol de derivacin y el desarrollo de la gramtica, las reglas que llevan a
crear palndromos impares son: S a produce la cadena = baaab (impar) y S b
produce la cadena = babab (impar) y S alanda produce la cadena = baab (par).
Correcto
Puntos para este envo: 1/1.
Question 10
Puntos: 1
Del diseo y naturaleza de los autmatas de pila (PDA), es vlido afirmar:
Seleccione una respuesta.

a. Para poder simular un autmata de
Pila se debe tener en cuenta: Las
columnas de una traza de ejecucin para
un AP son: el estado en que se encuentra
el autmata, lo que ha leido hasta el
momento o estado actual al inicio de la
simulacin, y el contenido de la
memoria al final del recorrido.


b. Un Autmata de Pila al igual que una
Mquina de Turing o un Autmata
Finito, su definicin bsica es de
naturaleza no determinista


c. Un autmata de pila no puede hacer
las funciones de "contador" ya que sus
recorridos varan en la cinta y lo que le
importa a esta automatizacin es el
estado final y la salida del dato.


d. A la hora de disear un AP tenemos
que repartir lo que requiere ser
recordado entre los estados y la pila.
Distintos diseos para un mismo
problema pueden tomar decisiones
diferentes en cuanto a que recuerda cada
cual
Respuesta Correcta: Aunque en el caso de
los AP no hay metodologas tan
generalmente aplicables como era el caso
de los autmatas finitos, siguen siendo
vlidas las ideas bsicas del diseo
sistemtico, en particular establecer
claramente qu es lo que recuerda cada
estado del AP antes de ponerse a trazar
transiciones a diestra y siniestra.
A la hora de disear un AP tenemos que repartir lo que requiere ser recordado entre
los estados y la pila. Distintos diseos para un mismo problema pueden tomar
decisiones diferentes en cuanto a que recuerda cada cual.
Correcto
Puntos para este envo: 1/1.