Вы находитесь на странице: 1из 128

AUTOMATAS Y LENGUAJES FORMALES CURSO COMPLETO

1
Puntos: 1

Luego de graduarse en matemticas puras a sus 16 aos en 1928, Turing descubri los trabajos
de Albert Einstein. Luego en 1933 inicia sus estudios e los principios lgicos matemticos
apoyado de:
Seleccione una respuesta.
a. Godfrey y Church

Incorrecto: Recibi las enseanzas de


Godfrey Harold Hardy, un respetado
matemtico que lo encamin al estudio de las
ciencias exactas.

b. Godel
c. Bertrand Russell
d. Neumann
Biografa de Alan Turing
Incorrecto

Puntos para este envo: 0/1.


Question2
Puntos: 1

En Octubre de 1950, Alan Turing hizo estudios ms abstractos y trat el tema de la Inteligencia
artificial. Para ello propuso un experimento que hoy se conoce como el test de Turig. Que
consiste bsicamente en: (seleccione la verdadera).

Seleccione una respuesta.


a. Procedimientos para evaluar decisiones lgicas de una
mquina.

b. Prueba de error que determina cuando un problema tiene solucin o


no.

Correcto: El Test de Turing nace como


un mtodo para determinar si una
mquina puede pensar.

c. Mtodo para determinar si una mquina puede pensar.

d. Mtodo para evaluar el rendimiento y capacidad de una maquia.


Poder de procesamiento
Biografa de Alan Turing
Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

Grandes fueron sus aportes a la ciencia y la matemtica y en muchas reas de cocimiento


ahond. Pero el principal interrogante por el que se conoce Alan Turing fue:
Seleccione una respuesta.
a. El hecho de que: debe existir al menos en principio algn
mtodo definido, o proceso mediante el cual toda cuestin
matemtica pueda ser demostrada?
b. La demostracin de toda cuestin matemtica no debe
obedecer a la lgica fundamental y no necesariamente debe
comprobarse para que un problema tenga solucin.
c. El hecho de que: debe existir al menos y en principio una
solucin nica para cualquier problema matemtico.

Incorrecto: era el hecho de que: debe existir al


menos en principio algn mtodo definido, o
proceso mediante el cual toda cuestin
matemtica pueda ser demostrada?

d. Un problema matemtico tiene finitas soluciones. Si son


infinitas es porque el problema puede ser insoluble.
Biografa de Alan Turing
Incorrecto

Puntos para este envo: 0/1.


Question4
Puntos: 1

Turing era ateo. Reafirm sus conceptos superficiales y concretos en los que todos los fenmenos incluyendo
el funcionamiento del cerebro humano, deben ser materialistas. Pese a ello sigui creyendo en la
supervivencia del espritu despus de la muerte. Estas posiciones fueron dadas a raz de:
Seleccione una respuesta.
a. A empezar estudios del cerebro humano y descubrir
que podra asociarse al funcionamiento de una
mquina mecnica y que no podra haber sido
creacin de Dios.
b. Al ver el horror de la segunda erra mundial en la que
particip como agente encubierto descifrando cdigos
e interceptando comunicaciones del ejrcito

Alemn.
c. Dada la muerte de Christopher Morcom, quin fue el Correcto: Morcom muri muy joven de tuberculosis
primer amor. Morcom muri repentinamente el 13 de
bovina al beber leche contaminada. l fue quien a
motivacin para seguir con sus estudios, y entra en un
febrero de 1930 .

vital periodo de riqueza intelectual.


d. En 1928, con diecisis aos, al descubrir e
interpretar los trabajos de Albert Einstein
Biografa de Alan Turing
Correcto

Puntos para este envo: 1/1.


Question5
Puntos: 1

En 1936, Alonzo Churh fue director de tesis del trabajo de grado doctoral de Alan Turing quin le
sigui sus pasos estudios en lgica y computabilidad. El nombre del trabajo doctoral fue
Sistemas de lgica basada en ordinales sobre nmeros computables. Este tema ya lo haba
tratado Davd Gilbert en 1928. Este trabajo es el que hoy en da ha llevado a:
Seleccione una respuesta.
a. Definir los conceptos modernos de lgica
b. Determinar las teoras de nmeros ordinales y de algoritmos.

Incorrecto

c. Establecer las nociones de lo que hoy se conoce como la


Mquina de Turing
d. Establecer los principios de la criptografa.
Biografa de Alan Turing
Incorrecto

Puntos para este envo: 0/1.


Question6
Puntos: 1

Para comprender y empezar a dar respuesta al Entscheidungsproblem (en castellano: problema


de decisin), Alan Turing analiz aspectos como:
Seleccione al menos una respuesta.
a. Abordando la definicin del concepto "mtodo", y para ello
analiz que era lo que haca una persona para transformar un
proceso metdico, y buscar una forma de hacer esto
mecnicamente
b. Asoci el proceso de forma mecnica en la que se podan
transformar operaciones elementales previamente definidas en
smbolos y estos posteriormente escribirlos en una cinta
c. Asoci el problema llevndolo a definir un conjunto de
instrucciones de forma metdica para ser ejecutadas de manera
mecnica. Es decir abord el concepto de Mquina de Turing

Parcialmente correcto: En Agosto de 1936


presenta el concepto final de la Maquina de
Turing, y se convierte en el fundamento de

en la que hay un conjunto de posibilidades infinitas en la que


cada una se corresponde a un mtodo claro y definido o a un
algoritmo.

las teoras modernas para la programacin


de mquinas electrnicas. Su trabajo aporta
un concepto prctico de gran significancia: la
idea de la Maquina de Turing Universal. El
concepto de "LA MAQUINA DE TURING" se
conoce tambin como "LA FORMULA" o "LA
ECUACIN"

d. Alan Turing lo que realmente analiz y logr definir fue un


algoritmo.
Biografa de Ala Turing
Parcialmente correcto

Puntos para este envo: 0.3/1.


1
Puntos: 1

La Teora de Lenguajes, define bloques constructores de lenguaje. El


bloque ms sencillo es el alfabeto. De las siguientes afirmaciones cuales
definen o son verdaderas con respecto a un alfabeto:
Seleccione al menos una respuesta.
a. { 1 , 2 ,..... n } Es un ejemplo de alfabeto
b. Los smbolos pueden ser nombres. Los alfabetos Correcto: Lenguaje Formal: Un alfabeto es un
son finitos.

conjunto finito de smbolos. De esta definicin se


debe resaltar lo siguiente. (1) Los alfabetos son
finitos. (2) Por smbolo no se est haciendo
referencia a un slo carcter. Los smbolos pueden
ser nombres

c. Por smbolo, se est haciendo referencia a un

Incorrecto: Por smbolo no se est haciendo


referencia a un slo carcter. Los smbolos pueden
ser nombres

solo carcter.
d. Los alfabetos estn compuestos por cadenas. Ya
sean aceptadas o no. Ejemplo el alfabeto del
espaol latino: Una cadena vlida es {sistemas}.
Una cadena no aceptada es {temas}.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question2
Puntos: 1

La minimizacin de Autmatas, es un ejercicio comn en Automatizacin.


Identifique su concepto bsico y aplicabilidad:
Seleccione una respuesta.
a. La minimizacin se aplica a los AFD y consiste en Correcto: La minimizacin se basa en el tratamiento
obtener un AFD equivalente a uno dado que tenga el de estados "obtener el menor nmero de ellos" de
menor nmero de estados posibles.

forma equivalente.

b. Un autmata se puede minimizar siempre y


cuando el autmata dado no acepte cadenas
vacas.
c. La minimizacin se aplica a los AFND y consiste
en obtener un autmata equivalente que tenga el
menor nmero de transiciones posibles
d. En la minimizacin de autmatas, el nmero de
estados o de relaciones debe ser equivalente en
cantidad inferior al dado.
Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

Acerca de los autmatas finitos no deterministas (AFND), cules apreciaciones


son verdaderas cuando se analiza su comportamiento para aceptar lenguajes:
Seleccione al menos una respuesta.
a. Un autmata finito no determinista (AFND) se puede
convertir a un AFD y solo ser vlido si aceptan el

Correcto: Corresponde a la condicin de


determinismo.

mismo lenguaje.
b. Un autmata finito no determinista (AFND) acepta una
cadena cuando es posible que su anlisis deje a la
mquina en un estado de aceptacin.
c. Un autmata finito no determinista (AFND) solo puede
utilizarse para aceptar lenguajes finitos.
d. Nunca se puede afirmar con seguridad que un
autmata finito no determinista (AFND) acepta una
cadena.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question4
Puntos: 1

Sea el vocabulario {a,b} y la expresin regular aa*bb* Indique cuales


cadenas que se relacionan a continuacin son vlidas para esa ER
Seleccione una respuesta.
a. {ab, aab, aab, a, aa,bb}
b. {a, b, ab, ba, aab, bba, aaab}
c. {ab, aab, aaab, abbb, abb, aa,bb}

Correcto: El Lenguaje que se describe es L={cadenas


que comienzan por una a y continuan con varias o
ninguna a, y siguen con b y continuan con varias o
ninguna b}

d. {ba, ab, b, a}
Correcto

Puntos para este envo: 1/1.


Question5
Puntos: 1

Del tratado y temtica de Autmatas, los principales objetivos de las ciencias de la computacin es:
Seleccione al menos una respuesta.
a. La solucin de problemas por medio de un
computador.
b. Proporcionar mecanismos para analizar
algoritmos, construir y expresar programas
c. Reducir problemas en otros ms pequeos.
d. Traducir lenguajes de mquina a programas
escritos en lenguajes de alto nivel.

Incorrecto: estas son tareas de mquina que surgen del


anlisis formulacin de tratados como los de los algoritmos

Incorrecto

Puntos para este envo: 0/1.


Question6
Puntos: 1

Los Autmatas finitos no determinsticos (AFND) es una quntupla donde todos los componentes son como
en los AFDs, estos autmatas aceptan exactamente los mismos lenguajes que los autmatas determinsticos,
pero cuentan con una diferencia con relacin a los AFD como es.
Seleccione una respuesta.
a. El conjunto finito de estados.
b. El estado inicial.
c. El alfabeto de entrada
d. La funcin de transicin.

Correcto: Solo la funcin de transicin puede


diferenciar los AFD de los AFND. Las dems
opciones pueden ser comunes a ambos tipos
de autmatas y vlidas.

Correcto

Puntos para este envo: 1/1.


1
Puntos: 1

Analice el siguiente Autmata y determine cules apreciaciones son vlidas en


su anlisis:

Seleccione al menos una respuesta.


a. La funcin de transicin define para cada posible

Incorrecto

combinacin (0,1) un estado nuevo.


b. La funcin de transicin puede no estar definida para
alguna combinacin (0,1) y, por el contrario, puede definir
para otras combinaciones (0,1) ms de un estado.
c. Es un autmata no determinstico (AFND), con un conjunto
finito de estados y smbolos de entrada, un estado inicial, un
conjunto de estados finales, y una funcin de transicin de
estados.
d. Es un autmata determinstico (AFD), con un conjunto finito Incorrecto. Es un AFND
de estados y smbolos de entrada, un estado inicial, un
conjunto de estados finales, y una funcin de transicin de
estados.
Incorrecto

Puntos para este envo: 0/1.


Question2
Puntos: 1

Cules afirmaciones son vlidas cuando se trata de analizar el funcionamiento de los Autmatas Finitos (AF):
Seleccione al menos una respuesta.
a. En una mquina de estados finitos, la funcin de transicin
almacena los datos de entrada del Autmata.
b. Los AF son mquinas de memoria limitada.

c. Los estados son el nico medio de que disponen los AF


para recordar los eventos que ocurren (por ejemplo que
caracteres se han ledo hasta el momento).

d. Los AF son mquinas de memoria amplia por ser


mquinas abstractas (no reales).

Correcto: Los estados son el nico medio de


que disponen los AF para recordar los
eventos que ocurren (por ejemplo, qu
caracteres se han ledo hasta el momento);
esto quiere decir que son mquinas de
memoria limitada.
Correcto: Los estados son el nico medio de
que disponen los AF para recordar los
eventos que ocurren (por ejemplo, qu
caracteres se han ledo hasta el momento);
esto quiere decir que son mquinas de
memoria limitada.

Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

Dado el siguiente Autmata Finito cuyo diagrama de transicin corresponde al de la siguiente figura,
determine cual afirmacin es vlida cuando se analiza la ejecucin del autmata.

Seleccione una respuesta.


a. El conjunto de cadenas que es capaz de
reconocer este autmata es. {, b, bb, bbb,
bbbb, }
b. El conjunto de cadenas que es capaz de
reconocer este autmata es. {b, bb, bbb, bbbb,
}
c. El conjunto de cadenas que es capaz de
reconocer este autmata es {b, bb, bbb}
d. El conjunto de cadenas que es capaz de
reconocer este autmata es. {b}
Incorrecto

Puntos para este envo: 0/1.


Question4
Puntos: 1

Una cadena vlida para el Autmata siguiente es:

Incorrecto: bbbb no es aceptada, ni tampoco el


smbolo vaco.

Seleccione una respuesta.


a. xxxxzxzxzxzx
b. xzzxzxzx

Incorrecto: Al recorrer la cadena no


llega al estado final o halt

c. xxxzxx
d. xzxxxxzxzzx
Incorrecto

Puntos para este envo: 0/1.


Question5
Puntos: 1

Dado el siguiente autmata, las apreciaciones verdaderas en expresiones


regulares (ER) y cadenas aceptadas son:

Seleccione al menos una respuesta.


a. (x + y)*(x+y) acepta la cadena {xy}.

b. (x + y)*(x+y) rechaza la cadena vaca

Correcto: Se parte que la ER de la


izquierda para todas las opciones es vlida
y expresa el lenguaje que representa el
autmata. Acepta la cadena xy y rechaza
la cadena vaca.
Correcto: Rechaza la cadena vaca.

c. (x + y)*(x+y) acepta la cadena vaca y el autmata es


determinista
d. (x + y)*(x+y) es igual a (x* x U y y*)

Incorrecto: Esta asociacin no es vlida


para la ER que representa el autmata.

Correcto

Puntos para este envo: 1/1.


Question6
Puntos: 1

Dado el Autmata con la siguiente tabla de transicin, identifique las cadenas


que son vlidas para el lenguaje que acepta

Seleccione una respuesta.


a. Es un AFND y acepta cualquier cadena que inicie
con cero (0)
b. Solo acepta cadenas vacas (lambda).

c. {101, 210, 20,110, 200}


d. {22, 0,1,001122, 12, 012, 022}
Incorrecto

Puntos para este envo: 0/1.


Question7
Puntos: 1

La expresin regular que se asocia la siguiente autmata es:

Incorrecto: Es un AND de landa transiciones.


Aceptar las cadenas que inicien con un orden
jerrquico de nmeros (es decir de menor a mayor,
siendo vlida la repeticin de los mismos), Ej 012,
12 pero nunca 210, 20 entre otros.

Seleccione una respuesta.


a. r = (1)* + (0) + lambda
b. r = (10 + 0) *

Correcto: Las cadenas que tengan varios unos


consecutivos son rechazadas

c. r = (10) * + 1*
d. r = (1 + 0) + 1*
Correcto

Puntos para este envo: 1/1.


Question8
Puntos: 1

Si se considera un autmata finito M con transiciones lambda que


reconoce el lenguaje L: De la relacin entre determinista y no
determinista de los autmatas, y el comportamiento de las cadenas
vacas (lambda), es vlido afirmar
Seleccione al menos una respuesta.
a. Un autmata finito con transiciones lambda es un autmata
no determinista.
b. Las transiciones lambda solo son aceptadas en la
descripcin de las gramticas.
c. Siempre existe un autmata finito determinista que reconoce
un lenguaje reconocido por un autmata finito no
determinista.
d. No existe un autmata finito sin transiciones (lambda) que
reconozca L.
Parcialmente correcto

Puntos para este envo: 0.5/1.

Correcto: Las cadenas vacas lambda son


aceptadas y suelen presentarse en AFND.

Question9
Puntos: 1

Teniendo en cuenta las clases de lenguajes propuestos por la jerarqua de Chomsky, es comn o aplica
afirmar:
Seleccione una respuesta.
a. Los Lenguajes Regulares es la jerarqua ms alta y
compleja. Un ejemplo de lenguaje regular es el conjunto
de todos los nmeros binarios.
b. La mayora de los lenguajes de programacin son
Lenguajes Libres de Contexto.

Correcto: Los lenguajes libres de contexto incluyen a


los lenguajes regulares. Los lenguajes regulares son
la clase ms pequea dentro de la jerarqua de
Chomsky. Los lenguajes recursivamente
enumerables incluyen a los lenguajes libres de
contexto.

c. Los Lenguajes Libres de Contexto no incluyen a los


Lenguajes regulares.
d. Los Lenguajes Recursivamente Enumerables solo
incluye a los Lenguajes Regulares.
Correcto

Puntos para este envo: 1/1.


Question10
Puntos: 1

Si es un alfabeto, se le llama (potencia 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. (potencia +) = Conjunto de
todas las cadenas positivas
excepto la vaca

Incorrecto: Conjunto

de todas las cadenas excepto la

vaca

b. (potencia 0) = {lambda}
Correcto: La longitud de una cadena que se denota como || es el
Conjunto cuyo nico elemento es nmero de letras que aparecen en . A la cadena que no tiene smbolos o
que es lo mismo decir que tiene longitud cero, se le llama palabra vaca. Si
la palabra vaca.

es un alfabeto, se le llama n al conjunto de todas las palabras de


longitud n sobre . la estrella * genera el conjunto de todas las cadena de
cualquier longitud sobre . Si se analiza + esta representa al conjunto
de todas las cadenas sobre el alfabeto excepto la vaca.

c. (potencia 0) = Conjunto de
todas las cadenas sobre el
alfabeto excepto la vaca.
d. *= Conjunto de todas las
cadenas de cualquier longitud
sobre

Correcto: La longitud de una cadena que se denota como || es el


nmero de letras que aparecen en . A la cadena que no tiene smbolos o
que es lo mismo decir que tiene longitud cero, se le llama palabra vaca. Si
es un alfabeto, se le llama n al conjunto de todas las palabras de
longitud n sobre . la estrella * genera el conjunto de todas las cadena de
cualquier longitud sobre . Si se analiza + esta representa al conjunto
de todas las cadenas sobre el alfabeto excepto la vaca.

Correcto

Puntos para este envo: 1/1.


1
Puntos: 1

Dentro de la jerarqua y clasificacin de los lenguajes (Chomsky) identifique que asociaciones


estn erradas.
Seleccione al menos una respuesta.
a. Una gramtica regular o de tipo 3, puede generar
Autmatas finitos (AF)
b. Los lenguajes que no poseen restricciones o de tipo
0, son reconocidos mediante Autmatas Finitos No
Deterministas (AFND)

Correcto: esta afirmacin est errada. Los


lenguajes que no poseen restricciones o de tipo 0,
son reconocidos mediante Mquinas de Turing
(MT)

c. Los lenguajes libres de contexto o de tipo 2, pueden


ser generados por los autmatas de pila (AP)
d. Los lenguajes regulares pueden ser pueden ser
descritos mediante expresiones regulares (ER)

Esta afirmacin es verdadera. Un lenguaje puede


ser descrito mediante una expresin regular
(expresar de forma compacta cmo son todas las
cadenas de smbolos que le pertenecen).

Parcialmente correcto

Puntos para este envo: 0.3/1.


Question2
Puntos: 1

Las condiciones mnimas para poder describir un Autmata Finito Determinstico (DFA) son:
Seleccione al menos una respuesta.
a. Identificando el estado inicial y los estados finales.

b. Identificando el alfabeto.

c. Identificando la funcin de transicin.

d. Dando la lista de sus estados.

Correcto: Un autmata puede describirse


dando la lista de sus estados, el alfabeto, el
estado inicial, los estados finales, y la funcin
transicin.
Correcto: Un autmata puede describirse
dando el alfabeto.
Correcto: Un autmata puede describirse
dando la lista de sus estados, el alfabeto, el
estado inicial, los estados finales, y la funcin
transicin.
Correcto: Un autmata puede describirse
dando la lista de sus estados, el alfabeto, el
estado inicial, los estados finales, y la funcin
transicin. Esta funcin se puede describir
usando notacin usual para definir funciones o
usando una matriz, con una fila por cada
estado y una columna por cada smbolo del
alfabeto. Todas las condiciones son necesarias
para describir el autmata.

Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

Las siguientes cadenas:


{Lambda,aaa, bb, bbb, aabb, aba, abaaa, abbaa}
son generadas expresadas por la ER
Seleccione una respuesta.
a. (a + b ) *
b. (a.b)*
c. (a,b)*

Incorrecto

d. ( a | b)*
Incorrecto

Puntos para este envo: 0/1.


Question4
Puntos: 1

Para el siguiente autmata, identifique cul es la Expresin Regular (ER) que


mejor lo representa:

Seleccione una respuesta.

a. (ab+ba) + a
b. (ab + aba)*

Correcto: Aceptar cadenas que empiecen por una


a seguida de una b incluyendo la cadena vaca.

c. a +(ab)*
d. ab +(ab)*
Correcto

Puntos para este envo: 1/1.


Question5
Puntos: 1

Dado el siguiente autmata, analice sus caractersticas verdaderas en comportamiento, diseo y lenguajes
de aceptacin:

Seleccione al menos una respuesta.


a. Es Regular y cualquier cadena contiene al menos Incorrecto: Es regular pero las cadenas no poseen
un cero.
b. Es un autmata finito determinista (AFD).
c. Es Regular e independiente del contexto por lo
que contiene ms de un estado Halt.
d. Es Regular.
Incorrecto

Puntos para este envo: 0/1.


Question6
Puntos: 1

Este lenguaje:

esas caractersticas.

L (G) = {a (potencia n) b (potencia n) / n>=1}


Es generado por la gramtica:
Seleccione una respuesta.
a. S ---> ab| Sab

Incorrecto

b. S ---> aSb | ab
c. S ---> Sab | aSb
d. S ---> Sa| Sb
Incorrecto

Puntos para este envo: 0/1.


Question7
Puntos: 1

Dado los siguientes dos autmatas: determine cules afirmaciones son vlida

Seleccione al menos una respuesta.


a. El autmata A es un AFD pero no reconoce el mismo Correcto: Ambos autmatas son AFD y o
lenguaje que el autmata B

reconocen el mismo lenguaje

b. Ambos son AFD y reconocen el mismo lenguaje


c. El autmata B es un AFD pero no reconoce el mismo Correcto: Ambos autmatas son AFD y o
lenguaje que el autmata A

reconocen el mismo lenguaje.

d. El autmata B es un AFND (adems posee dos


estados de aceptacin) y su ER es la misma que la del

Incorrecto: Ambos autmatas son AFD y o


reconocen el mismo lenguaje.

autmata A.
Correcto

Puntos para este envo: 1/1.


Question8
Puntos: 1

Dada la siguiente gramtica con las siguientes producciones,


S --> ab
SaSb
que derivaciones son vlidas al usar sus reglas:
Seleccione al menos una respuesta.
a. Bbaa
b. aabb

Correcto

c. ab
d. Ba
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question9
Puntos: 1

Analice e identifique cules afirmaciones son vlidas con referencia al diseo del siguiente
autmata:

Seleccione una respuesta.


a. Es un autmata AFND que acepta el lenguaje (ab)* U (aba)* U
a*b*

b. Es un autmata finito no determinista que acepta la cadena


{ababaab}
c. Es un AFND que acepta el lenguaje (ab U aba)*

Correcto

d. Es una autmata AFND cuya ER es: (ababa)*


Correcto

Puntos para este envo: 1/1.


Question10
Puntos: 1

Dado el siguiente autmata: Cambie los smbolos del alfabeto asociando a = 0 y b =1 . Para las
siguientes opciones,(que estn en base 10 o decimal), convirtalas a base 2 (binario) y recorra
el autmata e identifique cul nmero acepta el autmata.

Seleccione una respuesta.


a. 205
b. 182

c. 253
d. 73
Correcto

Puntos para este envo: 1/1.


Question11
Puntos: 1

Correcto: equivale a recorrer la cadena 10110110 (cadenas que terminen en


cero 0 o en la asociacin del autmata que terminen en a)

Para el siguiente Autmata, asocie la expresin regular que lo identifica:

Seleccione una respuesta.


a. (0+1+0*)
b. (10 + 0)
c. (10 + 0)* 10
d. (10 + 0)*

Correcto: La ER tiene en cuenta las


transiciones vacas. Se tiene en cuenta la
precedencia y jerarqua de smbolos.

Correcto

Puntos para este envo: 1/1.


Question12
Puntos: 1

Sea el autmata A = (, Q, f, q1, F) donde:


={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la funcin f vienen dada por la siguiente tabla:

Determine qu aspectos son vlidos para el autmata


Seleccione al menos una respuesta.
a. El lenguaje reconocido por el autmata es: a (b*b |
a*b) a*

Correcto: Es un AFND. El lenguaje que reconoce


es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para
efectos de mejor comprensin, hay que recrear o
realizar el autmata mediante un diagrama de
Moore

b. Es un Autmata Finito Determinstico (AFD)


c. El lenguaje reconocido por el autmata es: a (b* | a* )
ba*

Correcto: Es un AFND. El lenguaje que reconoce


es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para
efectos de mejor comprensin, hay que recrear o
realizar el autmata mediante un diagrama de
Moore

d. Es un Autmata Finito Determinstico con lambda


transiciones
Correcto

Puntos para este envo: 1/1.


Question13
Puntos: 1

Se pueden generar palndromos (cadenas ) sobre el alfabeto = {0,1}. Evidentemente este lenguaje tiene
infinitas cadenas
Selecciones las afirmaciones vlidas con referencia al anterior postulado.
Seleccione al menos una respuesta.
a. Los smbolos de un alfabeto, definen el tipo de lenguaje
a que pertenece.
b. Los palndromos son una excepcin de los lenguajes
regulares y no hacen parte de la jerarqua de
Chomsky

Incorrecto: Los palndromos tienen regularidades.


Son lenguajes de tipo 3

c. Existe un lenguaje denominado el lenguaje vaco que


es un conjunto vaco y se denota por {}. El lenguaje
vaco no debe confundirse con un lenguaje que contenga

Correcto

una sola cadena.


d. = lambda cadena vaca y = 0 ; Son
palndromos
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question14
Puntos: 1

Dado el siguiente autmata Finito, es vlido afirmar:

Seleccione al menos una respuesta.


a. La Er que lo representa es: (ab*a)*
b. La ER que lo representa: (b+ab*a)*ab*

Correcto

c. La ER que lo representa es: (b+ab*a)*


d. La ER que lo representa es: (b*ab*a)*b*ab*
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question15
Puntos: 1

Sean dos lenguajes L1 y L2 definidos sbre el mismo alfabeto , la operacin que se representa a
continuacin es:
L = L1L2 = {xy / x pertenece L1 y pertenece L2}
Seleccione una respuesta.
a. Operacin cerrada de dos lenguajes
b. Concatenacin de lenguajes

Correcto: La concatenacin de ambos lenguajes


estar formada por todas las palabras obtenidas
al concatenar una palabra cualquiera de L1 con

otra de L2.
c. Unin de lenguajes
d. Asociacin de lenguajes
Correcto

Puntos para este envo: 1/1.


1
Puntos: 1

Dado el alfabeto = {a,b}, identifique cul afirmacin es falsa.


Seleccione una respuesta.
a. La expresin regular b*a*b* representa al lenguaje
de las cadenas que pueden o no tener a
b. La expresin regular b*(ab*ab*)* representa al
lenguaje de las cadenas con un nmero par de letras
a
c. La expresin regular b*ab* (ab*ab*)* representa al
lenguaje de las cadenas con un nmero impar de
letras a
d. La expresin regular (b*ab*ab*a) * representa al
lenguaje de las cadenas con un nmero mltiplo de 3

Esta afirmacin (ER) es errada para las cadenas


que dice generar.

de letras a
Correcto

Puntos para este envo: 1/1.


Question2
Puntos: 1

Dada la Gramtica SaS; SaSbS; S.


Indique cules de las siguientes afirmaciones no corresponden al desarrollo de
la misma o al tipo de cadenas o palabras que pueda generar.
Seleccione al menos una respuesta.
a. Para cualquier prefijo de una cadena
generada por la gramtica se verifica
que el nmero de letras a es mayor o
igual al nmero de letras b. Prefijo de
una cadena es toda cadena no vaca x
para la que existe una cadena u tal que
=xu
b. Cualquier cadena generada por la
Correcto: Correcto: Las cadenas van a empezar por a.
gramtica contiene una subcadena no
vaca donde algunas veces el nmero de El lenguaje generado por la gramtica es estructurado
letras a es igual al nmero de letras
por frases. Solo algunas cadenas generadas contiene
b.

igual nmero de as que de bs.

c. Las cadenas que acepta la gramtica


siempre van a empezar por b. Adems el
lenguaje generado por la gramtica es
no es estructurado por frases.
d. Las cadenas que acepta la
Correcto: Correcto: Las cadenas van a empezar por a.
gramtica siempre van a empezar por a.
El lenguaje generado por la gramtica es estructurado
Adems el lenguaje generado por la
gramtica es estructurado por frases

por frases. Solo algunas cadenas generadas contiene


igual nmero de as que de bs.

Las gramticas cuyas reglas son de la forma A ---> aB o bien A ---> a, donde A y B son variables, y a es un
caracter terminal. A estas gramticas se les llama regulares.
Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

Con referencia las gramticas de Tipo 2, que aspectos vlidos hacen referencia a la forma de
generar lenguajes de tipo 2 y su comportamiento y descripcin:
Seleccione al menos una respuesta.
a. Los autmatas de pila aceptan exactamente los LLC (Lenguajes Correcto
Libres de Contexto).
b. Si M es un AP, entonces L(M) es un LLC
c. Si L es un LLC, entonces hay un AP M tal que L(M) = L

Correcto
Correcto

d. Las producciones son de la forma: A - aa Dado que hay un


carcter de lectura y uno de escritura
Correcto

Puntos para este envo: 1/1.


Question4
Puntos: 1

En una Gramtica Regular, un componente de la Cuadrupla que la compone, es


el Alfabeto. Este esta caracterizado como:
Seleccione una respuesta.
a. Un alfabeto infinito y no vaco de smbolos terminales
b. Un alfabeto inicializado con lambda como cadena vlida
c. Un alfabeto no vaco de smbolos terminales
d. Un alfabeto regular (o sea de tipo 3 segn Chomsky)

Correcto

Una gramtica regular G es una cudrupla G = (E, N, S, P), donde:


E : alfabeto (no vaco) de smbolos terminales
Correcto

Puntos para este envo: 1/1.


Question5
Puntos: 1

Que aspectos son vlidos cuando se analiza el funcionamiento de los autmatas de pila (AP).
Seleccione al menos una respuesta.
a. Los APND y los APD no aceptan los mismos lenguajes.
b. Los autmatas de pilas no tienen metodologa tan generalmente
aplicable, solo se debe tener una estrategia clara para el manejo de
la pila.
c. Para verificar el funcionamiento del autmata, podemos simular su Correcto
ejecucin listando las situaciones sucesivas en que se encuentran
mediante una tabla que llamaremos traza de ejecucin.
d. Cuando desarrollamos un autmata de pilas tenemos que repetir

Correcto

lo que quiere ser recordado entre los estados y las pilas.


Parcialmente correcto

Puntos para este envo: 0.5/1.


Question6
Puntos: 1

Para u AP, la funcin de transicin tambin se puede representar mediante un diagrama donde
los nodos representan los estados y los arcos transiciones, Dada la siguiente transicin como se
muestra en la figura, identifique las acciones correctas que hara el movimiento de la pila.

Seleccione una respuesta.


a. El estado actual es q0. La cabeza lectora apunta al
smbolo lambda. El recorrido de la pila es de izquierda a
derecha. El tope de la pila es X que no se modifica al
cambiar al nuevo estado q1 y avanzar la cabeza
lectora.
b. El estado actual es q0. La cabeza lectora apunta al
smbolo a. El tope de la pila es a como primer smbolo a
leer que se va a sustituir por lambda al cambiar al nuevo

estado q1 y avanzar la cabeza lectora.


c. El estado actual es q0. La cabeza lectora apunta al
Correcto
smbolo a. El tope de la pila es X que se va a sustituir por
lambda al cambiar al nuevo estado q1 y avanzar la cabeza
lectora.
d. El estado actual es q0. La cabeza lectora apunta al tope
X que es donde inicia la lectura del smbolo a que entra al
pasar al estado q1 y sustituir lambda por X.
Correcto

Puntos para este envo: 1/1.


1
Puntos: 1

Del diseo y naturaleza de los autmatas de pila (PDA), es vlido afirmar:


Seleccione una respuesta.
a. 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.

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

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.


Question2
Puntos: 1

Para que una palabra de entrada sea aceptada en un AP se deben cumplir las
condiciones siguientes:
Seleccione al menos una respuesta.
a. La palabra de entrada se debe haber agotado
(consumido totalmente).

Correcto; para que una palabra de entrada


sea aceptada en un AP se deben cumplir
todas las condiciones siguientes: 1. La
palabra de entrada se debe haber agotado
(consumido totalmente). 2. El AP se debe
encontrar en un estado final. 3. La pila
debe estar vaca.

b. El AP se debe encontrar en un estado final.

Correcto: para que una palabra de entrada


sea aceptada en un AP se deben cumplir
todas las condiciones siguientes: 1. La
palabra de entrada se debe haber agotado
(consumido totalmente). 2. El AP se debe
encontrar en un estado final. 3. La pila
debe estar vaca.

c. La pila debe estar vaca.

Correcto: la pila debe estar vaca.

d. La pila debe tener lambda como elemento final.


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 qu recuerda
cada cual.
Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

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


Seleccione al menos una respuesta.
a. Que sobren palabras

Correcto: esto es, que la gramtica genere


algunas palabras que no debera
generar. En este caso, la gramtica seria
incorrecta.

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. Reutilizar gramticas y modificarlas para ajustarlas al

Incorrecto: Es posible hacerlo pero no son


errores comunes

lenguaje generado
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.


Question4
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. El determinismo se da cuando no hay alternativas de movimiento para
el mismo estado, usando la misma entrada y el mismo smbolo de
pila.
b. Las transiciones lambda en un AFPD permiten que el autmata
Correcto
cambie el contenido de la pila, sin procesar (o consumir) smbolos sobre
la cinta de entrada.
c. 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

Correcto

vaca.
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.5/1.


Question5
Puntos: 1

Los AP tienen ciertos comportamientos y asociaciones con los AF.


Seleccione las afirmaciones vlidas:
Seleccione al menos una respuesta.
a. Si se quiere meter cadenas a una pila, puede hacerse
con una operacin tipo pop
b. Los autmatas de pila aceptan exactamente los LLC. Por Correcto: Si L es un LLC, entonces hay un
lo que: Si M es un AP, entonces L(M) es un LLC
c. Los AP son una extensin de los AF
d. Los AP son una extensin de los AF

AP M tal que L(M) = L


Correcto
Correcto

Correcto

Puntos para este envo: 1/1.


Question6
Puntos: 1

Cuando las gramticas son demasiado extensas y generan rboles de


derivacin grandes, se suele usar:
Seleccione una respuesta.
a. Formas de Greibach
b. Formas de LIC
c. Producciones de tipo GIC con un solo nodo terminal
d. Formas cannicas que restrinjan los tipos de producciones que

Correcto

pueden utilizarse.

La definicin de una gramtica independiente del contexto es demasiado


amplia, y por lo tanto, es deseable establecer una forma cannica que restrinja
los tipos de producciones que pueden utilizarse.
Correcto

Puntos para este envo: 1/1.


Question7
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. S, siempre.
b. Si, si M es un autmata finito.
c. No todas las veces, dado que puede tratarse de un autmata no
determinista.
d. Nunca, Queda en un bucle ya que solo recorre un smbolo.
Correcto

Puntos para este envo: 1/1.


Question8
Puntos: 1

Indique cul de las siguientes afirmaciones es verdadera:


Seleccione al menos una respuesta.

Correcto

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

Correcto:

sencillez de su diseo.
b. Para reconocer un lenguaje regular mediante
un autmata de pila el alfabeto de la pila debe
contener al menos un smbolo
c. Para reconocer un lenguaje regular mediante
un autmata de pila no es necesario que el
alfabeto de la pila contenga ningn smbolo

Correcto: Cualquier lenguaje independiente del contexto


puede ser aceptado por un autmata de pila, y todos
lenguajes regulares son independientes del contexto.

d. Con un autmata de pila no puede


reconocerse un lenguaje regular
Correcto

Puntos para este envo: 1/1.


Question9
Puntos: 1

En un autmata de pila (AP), la funcin de transicin aplica o interviene a:


Seleccione al menos una respuesta.
Correcto

a. A cada smbolo topo de la pila

Correcto

b. A cada estado
c. A cada movimiento de la pila
d. A cada smbolo de entrada (Incluyendo la cadena

Correcto

vaca)

La funcin de transicin aplica cada estado, cada smbolo de entrada


(incluyendo la cadena vaca) y cada smbolo tope de la pila en un conjunto de
posibles movimientos. Cada movimiento parte de un estado, un smbolo de la
cinta de entrada y un smbolo tope de la pila. El movimiento en s consiste en
un cambio de estado, en la lectura del smbolo de entrada y en la substitucin
del smbolo tope de la pila por una cadena de smbolos.
Parcialmente correcto

Puntos para este envo: 0.8/1.


Question10
Puntos: 1

Acerca del funcionamiento de un Autmata de Pila, cul de las siguientes


operaciones o comportamientosNO las hace este autmata.
Seleccione una respuesta.
a. 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.
b. La pila no tiene lmite en sus extremos. A
diferencia de las MT que son cerradas por la
izquierda.
c. Al igual que los AF, los AP tienen estados finales,
que permiten distinguir cuando una palabra de
entrada es aceptada
d. Una de las condiciones para que una palabra de
entrada sea aceptada en un AP la pila debe estar
vaca.

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.


1
Puntos: 1

Considere la gramtica G1 = {S aS/ aA/ a, A aB/ bS, B aB/ bB, C aA/ bC}
y G2 = {S aS/ aA/ a, A bS}. Sean L1 y L2 los lenguajes generados respectivamente por G1
y G2; entonces: (Nota: el smbolo denota la relacin de inclusin estricta):
Seleccione una respuesta.
a. L1 L2
b. L2 L1
c. L1 = L2

Correcto: Las reglas que implican a los no terminales B y C no generan


ninguna cadena.

d. L1 L2
Correcto

Puntos para este envo: 1/1.


Question2
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 autmata ms sencillo que Acepta L(G) es un
autmata de pila (AP). Una cadena vlida sera
{abab}
b. La cadena ms sencilla que genera el L(G) es:
{aba}
c. El autmata ms sencillo que Acepta L(G) es un

Correcto

autmata finito
d. El lenguaje que genera la gramtica es L(G) =

Correcto

a(ba)*
Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

Dada la siguiente gramtica G= (VN= {S, A}, VT= {0,1}, S, P) donde P son
las producciones:

Seleccione al menos una respuesta.


a. S > 0A > 0A > 00A > 000
b. S > 0A > 00A > 001S > 0010 A >
00100
c. S > 0A > 01S > 010 A > 0100
d. S > 0A > 00A > 001 A > 0010
Correcto

Puntos para este envo: 1/1.


Question4
Puntos: 1

Correcto: Ambas producciones aplican a la gramtica con


cadenas vlidas como 0100 y 00100
Correcto: Ambas producciones aplican a la gramtica con
cadenas vlidas como 0100 y 00100

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

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

Puntos para este envo: 1/1.


Question5
Puntos: 1

Cual de las siguientes afirmaciones se asocia correctamente al diseo y


funcionamiento de los rboles de derivacin.
Seleccione una respuesta.
a. En un rbol de derivacin cada nodo solamente
puede tener otro hijo nodo
b. En un rbol de derivacin, una gramtica es ambigua
cuando hay dos o ms rboles de derivacin distintos
para una misma cadena.

Respuesta Correcta: Una gramtica es


ambiga cuando hay dos o ms rboles
de derivacin distintos para una misma
cadena

c. Los lenguajes generados por una Gramtica


Independiente del Contexto son llamados Lenguajes
Regulares
d. En los rboles de derivacin, no es necesario usar
nodo raz

Al derivar una cadena a travs de una GIC, el smbolo inicial se sustituye por
alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras
cadenas hasta que ya no quedan smbolos no terminales, queda una cadena
con slo smbolos terminales. A veces es til realizar un grfico de la
derivacin. Tales grficos tienen forma de rbol y se llaman rbol de
derivacin o rbol de anlisis. Para una derivacin dada, el smbolo inicial
S etiqueta la raz del rbol. El nodo raz tiene unos nodos hijos para cada
smbolo que aparezca en el lado derecho de la produccin, usados para
reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tiene
unos nodos hijos etiquetados con smbolos del lado derecho de la produccin
usada para sustituir ese no terminal.
Correcto

Puntos para este envo: 1/1.

Question6
Puntos: 1

Cual de las siguientes afirmaciones es VERDADERA


Seleccione una respuesta.
a. Los lenguajes generados por una Gramtica
Independiente del Contexto son llamados Lenguajes
Regulares
b. En un rbol de derivacin cada nodo solamente
puede tener otro hijo nodo. De lo contrario se formara
otro nodo.
c. En un rbol de derivacin, una gramtica es
ambigua, cuando hay dos o ms rboles de derivacin
distintos para una misma cadena.

Correcto. En este caso es ambigua por


cuanto puede tener varias soluciones

d. En los arboles de derivacin, los nodos races


siempre derivan en dos ramas.

Es posible probar que cualquier palabra que sea aceptada por el AFD M, puede
ser generada por la gramtica regular G. Esto significa que L(G) = L(M).
Correcto

Puntos para este envo: 1/1.


Question7
Puntos: 1

La combinacin de autmatas se demostr en los Autmatas Finitos de la


Unidad 1 en as que era viable combinar dos Autmatas que generaban el miso
lenguaje y obtener otro que genera las mismas cadenas que los autmatas
combinados.
Con referencia a los Autmatas de Pila (AP), este tema de combinacin tiene
aspectos a analizar. identifique cul es vlido para estas operaciones:
Seleccione una respuesta.
a. Se pueden obtener AP que acepten operaciones de Unin y
Concatenacin de los lenguajes aceptados por los Autnomas de

Correcto

Pila dados.
b. Solo la operacin de Unin de los lenguajes de dos AP es
permitida.
c. Las operaciones de combinar AP solo es viable cuando los dos
Autnomas leen el mismo alfabeto.
d. Un AP se puede combinar con una MT siempre y cuando lean y
acepten el mismo lenguaje.

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.


Question8
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 b (Palndromos con smbolos
pares)
b. S a (Palndromos con smbolos
pares)
c. S a | S b (Palndromos con smbolos
impares)

d. S lambda ( Palndromos con smbolos


pares )

Correcto: 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
lambda produce la cadena = baab (par).
Correcto: 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 lambda
produce la cadena = baab (par).

Correcto

Puntos para este envo: 1/1.


Question9
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. La gramtica est representada como G = { S --->lambda |
aS}
b. El rbol representa una gramtica lineal por la izquierda, que
genera el lenguaje L ={lambda, a,aa,aaa,}

Correcto: Es una Gramtica lineal por la


izquierda. La ER es la que representa el
lenguaje descrito

c. El rbol representa las cadenas que inician en dos as


seguida de una o ms as de un lenguaje regular
d. La gramtica est representada como: G = { S -lambda | Sa} Correcto: Es una Gramtica lineal por la
y el lenguaje generado puede representarse con la expresin
izquierda. La ER es la que representa el

lenguaje descrito.

regular a*
Correcto

Puntos para este envo: 1/1.


Question10
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 misma 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,
Rc.
b. S aSa, SbSb, SaRb, Correcto: Como w y v no pueden ser cadenas inversas, al menos debe existir
SbRa, RaRa, RbRb,
RaRb, RbRa, Rc.

un par de caracteres de w y v que ocupen posiciones simtricas con respecto


al centro de la cadena y sean diferentes . Por tanto, toda cadena de L puede

ser generada por la gramtica, y toda cadena generada por la gramtica


pertenece a L
c. S aSa, SbSb, SaRb,
SbRa, RaRb, RbRa,
Rc.
d. S aSa, SbSb, SaRb,
SbRa, RbRb, RaRa,
RbRa, Rc.
Correcto

Puntos para este envo: 1/1.


Question11
Puntos: 1

Considere la gramtica S Rc, R aRbR, R . Siendo w una cadena cualquiera generada por
dicha gramtica, indique cul de las siguientes afirmaciones es falsa:
Seleccione una respuesta.
a. El nmero de letras a es mayor o igual al de letras b en
todo prefijo de w. Prefijo de una cadena w es toda cadena no
vaca x para la que existe una cadena u tal que w = xu.
b. El nmero de letras a es igual al de letras b en w

Esto es verdadero

c. Las cadenas {abc, c} son aceptadas


d. w = xc | x (a b)*
Incorrecto

Puntos para este envo: 0/1.


Question12
Puntos: 1

Dada la siguiente gramtica.


Genera le lenguaje {aibjci+j | i+j>0}.
S aAc |ac | bBc | bc ; A aAc | ac |bBc | bc; B ---> bBc | bc
Identifique que producciones fueron necesarias para generar la cadena vlida {aabbbccccc}
Seleccione una respuesta.
a. S --->aAc ; A--->bBc ; B ---> bc
b. S --->aAc ; A--->aAc | bBc ; B --->
bc
c. S --->aAc ; A--->aAc | aAc | bBc ; B --->
bBc | bc

d. S --->aAc ; A--->aAc | bBc ; B ---> bBc | Correcto


bc
Correcto

Puntos para este envo: 1/1.


Question13
Puntos: 1

En la descripcin de las gramticas, las producciones unitarias tienen la forma:


Seleccione una respuesta.
a. A --> B

Correcto

b. S-->a
c. S-->ABs
d. A -->sB

Las producciones unitarias son las que tienen la forma A B


Correcto

Puntos para este envo: 1/1.


Question14
Puntos: 1

Indique cul de las siguientes afirmaciones es verdadera


Seleccione una respuesta.
a. Los autmatas finitos tienen un nmero finito de

Correcto

estados
b. Los autmatas finitos slo pueden aceptar lenguajes
finitos
c. Los autmatas de pila reconocen lenguajes generados por
gramticas de tipo 3
d. Las mquinas de Turing y los autmatas de pila son
autmatas finitos
Correcto

Puntos para este envo: 1/1.


Question15
Puntos: 1

Dada la gramtica S aS; S aSbS; S . Indique cul de las siguientes afirmaciones es falsa:
Seleccione una respuesta.
a. La cadena {b} es rechazada

b. Cualquier cadena generada por la gramtica contiene una Esta es la opcin falsa. La cadena a que en
subcadena no vaca donde el nmero de letras a es igual al efecto es aceptada , generada por la

gramtica, no cumple esta condicin

nmero de letras b
c. Para cualquier prefijo de una cadena generada por la
gramtica se verifica que el nmero de letras a es mayor o
igual al nmero de letras b. Prefijo de una cadena w es toda
cadena no vaca x para la que existe una cadena u tal que w
= xu
d. El lenguaje generado por la gramtica es estructurado por
frases
Correcto

Puntos para este envo: 1/1.


1
Puntos: 1

A las computadoras reales y las MT se les asocian muchas similitudes y diferencias: Cules diferencias entre
una computadora Real y una mquina de Turing (MT) son verdaderas:
Seleccione al menos una respuesta.
a. En una MT el Nmero de estados depende de la
cadena, palabra o dato que lea.

Incorrecto: la palabra o cadena de lectura no


determina la cantidad de estados que deba tener
una MT. Puede determinar pro que estados
recorre la mquina.

b. En una MT el orden de ejecucin de las instrucciones no


necesariamente debe estar definido.
c. En una computadora, el nmero de estados viene
representado por el contenido de la memoria.
d. En cuanto al orden de ejecucin de las instrucciones, En Correcto: Diferencias entre las computadoras y
la estructura Von Neumann el secuenciamiento lo marca el las mquinas de Turing. En Una mquina de
orden de colocacin de las instrucciones en la memoria
Turing, el orden de ejecucin de las instrucciones
si est definido, lo marca en todo instante el
interna y viene asegurado por el contador de programa.

estado de la mquina y el carcter de la cinta


apuntado, que son los dos datos que determinan
la quntupla que ha de ser ejecutada.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question2
Puntos: 1

Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que

requiere una respuesta de tipo si/no. Para la Teora de Lenguajes, un problema de decisin
es insoluble cuando:
Seleccione al menos una respuesta.
a. Si no se logra representar con un diagrama de Moore el
problema.

b. Si no existe un procedimiento efectivo para determinar si la

Correcto

propiedad es verdadera (no existe una Mquina de Turing MT).


c. Si no existe un algoritmo total para determinar si la propiedad y

Correcto

objetivo del problema es verdadera.


d. Existe un procedimiento definido que determina la ambigedad
del problema
Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

Analice la codificacin de la siguiente Mquina: Si lee 0101 (de izquierda a derecha), la salida
correspondiente es:

Seleccione una respuesta.


a. 0101
b. 0111

Correcto: La salida correspondiente es 0111 si se tiene en cuenta


que en las transiciones, el primer carcter es el que lee y el segundo
es el que escribe.

c. 0011
d. 0110
Correcto

Puntos para este envo: 1/1.


Question4
Puntos: 1

Dentro de las tesis que plasmaron Church y Turing, est una de las ms aplicadas y
demostradas hoy en da, enfocada al funcionamiento de las mquinas reales (coputadoras). Esta
es:

Seleccione una respuesta.


a. Las mquinas reales tienen mayor poder de cmputo que las Incorrecto
Mquinas de Turing, aunque resuelvan los mismos
problemas.
b. Toda funcin computable tiene un algoritmo decidible pro
una MT
c. La mquina de Turing, tiene mayor poder de cmputo que
las reales, aunque resuelvan los mismos problemas.
d. Una MUT es funcional y eficiente tanto como una mquina
real.
Incorrecto

Puntos para este envo: 0/1.


Question5
Puntos: 1

La codificacin redundante tiene como objetivo introducir smbolos para asegurar la veracidad en
la trasmisin. Esto se logra por medio de algoritmos que aseguran la veracidad de la informacin
transmitida procurando no perder velocidad en la trasmisin. Los algoritmos para la veracidad
son:
Seleccione una respuesta.
a. Los de codificacin AWGN
b. Los de codificacin de fuente:
c. Los de codificacin de canal

Correcto: Esto se logra por medio de algoritmos que


adapten la informacin teniendo en cuenta las
caractersticas estadsticas del ruido que presenta el
canal.

d. Los de codificacin de ruido


Correcto

Puntos para este envo: 1/1.


Question6
Puntos: 1

Cules diferencias entre una computadora Real y una mquina de Turing (MT) son verdaderas:
Seleccione al menos una respuesta.
a. En una MT el orden de ejecucin de las instrucciones no
est definido.
b. En cuanto al orden de ejecucin de las instrucciones, En la Correcto: En Una mquina de Turing, el orden
estructura Von Neumann el secuenciamiento lo marca el
de ejecucin de las instrucciones si est
orden de colocacin de las instrucciones en la memoria
definido, lo marca en todo instante el estado de
interna y viene asegurado por el contador de programa.

la mquina y el carcter de la cinta apuntado,


que son los dos datos que determinan la

quntupla que ha de ser ejecutada.


c. En una computadora, el nmero de estados viene

Correcto

representado por el contenido de la memoria.


d. En una MT el n de estados depende del algoritmo.

Correcto

Correcto

Puntos para este envo: 1/1.


1
Puntos: 1

Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione las opciones


verdaderas).
Seleccione al menos una respuesta.
a. El problema de tipo "insoluble" define que hay un algoritmo
que lo soluciona pero que no se puede llevar a una MT o una

Incorrecto

mquina abstracta.
b. El problema de Halting es el primer problema indecidible

Correcto

mediante maquinas de Turing


c. Equivale a construir un programa que te diga si un problema Correcto
de ordenador finaliza alguna vez o no (entrando a un bucle
infinito, por ejemplo)
d. El problema de la parada o problema de la detencin es de
hecho soluble y la Teora de la Computacin lo defini como

Incorrecto

tal

El problema de Halting es el primer problema indecidible mediante mquinas


de Turing. Equivale a construir un programa que te diga si un problema de
ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo)
Correcto

Puntos para este envo: 1/1.


Question2
Puntos: 1

La Mquina de Turing, y un autmata finito, tienen similitudes como:


Seleccione al menos una respuesta.
a. Una cabeza lectora

Correcto

b. Un control finito

Correcto

c. Un alfabeto para la cinta y un alfabeto de entrada

Incorrecto

d. Un cabezal de lectura y otro para escritura

Incorrecto

Mquina de Turing (abreviado MT) tiene, como los autmatas que hemos visto
antes, un control finito, una cabeza lectora y una cinta donde puede haber
caracteres, y donde eventualmente viene la palabra de entrada
Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

Dado los siguientes tres codificadores convolucionales, diseados para trabajar de forma lineal
secuencial redundante:
Se da como entrada el bit 1 en el codificador 1. Haga el recorrido completo hasta llegar a la
salida del codificador 3. Los bits de salida codificados finales son:
Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (segn el caso) se
deben sobrescribir o reemplazar.

Seleccione una respuesta.


a. 01

Correcto

b. 10
c. 00
d. 11
Correcto

Puntos para este envo: 1/1.


Question4
Puntos: 1

Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los
Problemas de decisin (PD).

Que aspectos en anlisis son vlidos para apoyar esta teora


Seleccione al menos una respuesta.
a. Se puede decir que un lenguaje es decidible por que existe una

Correcto

MT que los puede reconocer.


b. Si se presenta un lenguaje decidible, es por que hay un algoritmo

Correcto

que la MT reconoce.
c. Un PD podra ser aqul formulado por una pregunta (referida a
alguna propiedad) que requiere una respuesta de tipo si/no. Hay
problemas de decisin de tipo soluble, parcialmente soluble e

Correcto

insoluble
d. Mientras que los lenguajes computables son una infinidad
numerable, los lenguajes no computables son una infinidad no

Correcto

numerable.
Correcto

Puntos para este envo: 1/1.


Question5
Puntos: 1

De los modelos creados para realizar cmputos y desarrollar problemas, es


vlido afirmar:
Seleccione una respuesta.
a. Los modelos propuestos por Hilbert, solucionan cualquier problema
"No soluble"
b. Las funciones computables hacen referencia o son iguales a afirmar
que son modelos computables.
c. La MT no es un modelo Computable ya que solo se basa en
simulacin.
d. Las llamadas mquinas de Turing no constituyen ni el primero ni el
nico formalismo para expresar cmputos, pero s el que ms ha

Correcto

perdurado

Las llamadas mquinas de Turing no constituyen ni el primero ni el nico


formalismo para expresar cmputos, pero s el que ms ha perdurado.
Su creador, el matemtico ingls Alan Turing (1912-1954) estaba convencido
de que no exista un algoritmo para el problema de decisin planteado por
Hilbert y su intencin era demostrar dicha no existencia.
El modelo en el que se inspir fue el de una persona real llevando a cabo un
clculo mecnico, por ejemplo una multiplicacin de dos grandes nmeros en
el sistema decimal.
Correcto

Puntos para este envo: 1/1.


Question6
Puntos: 1

Dado los siguientes tres codificadores convolucionales, diseados para trabajar de forma lineal
secuencial redundante:
Se da como entrada el bit 1 en el codificador 1. Haga el recorrido completo hasta llegar a la
salida del codificador 3 y determine el valor de m los bits que quedan en la memoria del cdigo
de longitud restringida:
Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (segn el caso) se
deben sobrescribir o reemplazar.

Seleccione una respuesta.


a. 010
b. 100
c. 001

Incorrecto

d. 110
Incorrecto

Puntos para este envo: 0/1.


Question7
Puntos: 1

Una Mquina de Turing (MT) se puede comportar como un aceptador de lenguaje, de la misma forma que lo
hace un Autmata finito (AF) o un Autmata de Pila (AP) as: Colocando una cadena en la cinta, situando
la cabeza de lectura/escritura sobre el smbolo del extremo izquierdo de la cadena y al poner en marcha la
mquina a partir de su estado inicial. Entonces es aceptada si, despus de una secuencia de movimientos,
la MT llega a un estado final y para.

Que aspectos son vlidos para el comportamiento de una MT..?

Seleccione al menos una respuesta.


a. Se pueden combinar dos Mquinas de Turing
(MT) permitiendo que compartan la misma cinta y,
que cuando una termine su ejecucin, la otra

Correcto

empiece.
b. Es vlido empezar el diseo de una MT por el
diseo de un AF. Ambos son aceptadores de
lenguajes.

Correcto: Al

disear una MT que acepte un


cierto lenguaje, en realidad diseamos el
autmata finito que controla la cabeza y la
cinta, el cual es un autmata con salida
(acepta cadenas vlidas).

c. La MT es un mecanismo abstracto avanzado que Incorrecto:


tiene el mismo poder computacional que las
mquinas reales.

d. Para rechazar una cadena que no es aceptable,


lo nico que hay que hacer es evitar que se llegue

La Mquina de Turing es un
mecanismo de computacin notoriamente
primitivo, y sin embargo permite llevar a cabo
cualquier cmputo que podamos hacer en
nuestro PC
Correcto

a un estado final.
Correcto

Puntos para este envo: 1/1.


Question8
Puntos: 1

Con referencia a una Mquina de Turing (MT) de dos direcciones: Una Mquina de Turing con una cinta
infinita en un sentido puede simular una Mquina de Turing con la cinta infinita en los dos
sentidos. Sea M una Mquina de Turing con una cinta infinita en los dos sentidos, entonces:

Para que se logre o se d esta mquina se debe cumplir:


Seleccione al menos una respuesta.
a. La pista inferior y superior leen los datos simultneamente
en ambos sentidos. Luego y dependiendo de los estado
repetitivos, se detiene una pista y contina la que menos

Incorrecto

celdas tenga ocupada.


b. La cinta superior contiene informacin correspondiente a la
parte derecha de la cinta M a partir de un punto de referencia

Correcto: La cinta superior por orden contiene


la informacin de la parte derecha.

dado.
c. La pista inferior contiene tanto la parte izquierda como la
derecha de la cinta M (en orden inverso).
d. La Mquina de Turing M que tiene una Cinta Infinita en un
sentido, puede simular a M si tiene una cinta con dos
pistas.
Correcto

Puntos para este envo: 1/1.


Question9
Puntos: 1

Incorrecto: La cinta superior por orden


contiene la informacin de la parte derecha.
Correcto: La pista superior maneja un sentido
y la inferior maneja otro sentido (direccin).

Acerca del tipo de cadenas que puede aceptar una Mquina de Turing,
determine cul afirmacin es vlida.
Seleccione una respuesta.
a. Por ser una mquina tan simple pero a la
vez tan potente, resulta fcil que cualquier
lenguaje puede ser reconocido por una
mquina de Turing
b. Es posible que un lenguaje sea
estructurado por frases pero no exista ninguna
mquina de Turing que se detenga
exclusivamente cuando las cadenas escritas
en su cinta pertenezcan al lenguaje
c. Una mquina de Turing cuyo estado inicial
coincida con el estado de parada acepta toda
cadena

Correcto: Decimos que en la MT se llega al final de


un clculo cuando se alcanza un estado especial
llamado halt en el control finito, como resultado de
una transicin. Representaremos al halt por h

d. Cuando se desea que una MT no acepte


una palabra, simplemente se debe configurar
para que llegue a un estado halt de parada o
stop.

Al disear una MT que acepte un cierto lenguaje, en realidad diseamos el


autmata finito que controla la cabeza y la cinta, el cual es un autmata con
salida.
Correcto

Puntos para este envo: 1/1.


Question10
Puntos: 1

Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las
computadoras reales.
Seleccione al menos una respuesta.
a. En las mquinas reales estn definidos procesos de
manera jerrquica. En las MT estos procesos estn
definidos por el nmero de estados.

b. Las MUT son de un solo propsito. Las mquinas


reales interpretan muchos programas escritos en
diferentes lenguajes (multipropsito).

Incorrecto: En

una MT el n de estados depende


del algoritmo. En una computadora, un estado
viene representado por el contenido de la
memoria, y una situacin por un estado y un
puntero a una direccin (la que contiene a la
instruccin que va a ejecutarse).
Incorrecto: Esta mquina Universal no debe ser diseada para
realizar un clculo especfico, sino para procesar cualquier
informacin (realizar cualquier clculo especfico -MT particularsobre cualquier configuracin inicial de entrada correcta para
esa MT particular).

c. Los computadores electrnicos, basados en la


Correcto
arquitectura Von Neumann as como las mquinas
cunticas tendran exactamente el mismo poder de
expresin que el de una Mquina de Turing (MT) si
dispusieran de recursos ilimitados de tiempo y espacio.

d. Los lenguajes de programacin, tienen a lo sumo el


mismo poder de expresin que el de los programas
para una Mquina de Turing (MT) y en la prctica no

Correcto

todos lo alcanzan.
Correcto

Puntos para este envo: 1/1.

1
Puntos: 1

En 1936, Alonzo Churh fue director de tesis del trabajo de grado doctoral de Alan Turing quin le
sigui sus pasos estudios en lgica y computabilidad. El nombre del trabajo doctoral fue
Sistemas de lgica basada en ordinales sobre nmeros computables. Este tema ya lo haba
tratado Davd Gilbert en 1928. Este trabajo es el que hoy en da ha llevado a:
Seleccione una respuesta.
a. Establecer las nociones de lo que hoy se conoce como la Mquina Correcto
de Turing
b. Determinar las teoras de nmeros ordinales y de algoritmos.
c. Establecer los principios de la criptografa.
d. Definir los conceptos modernos de lgica
Biografa de Alan Turing
Correcto

Puntos para este envo: 1/1.


Question2
Puntos: 1

En 1952 Ala Turing escribi lo que hoy se conoce como el primer programa de ajedrez escrito
para una mquina (ya sea computadora mecnica o como un set de instrucciones o algoritmo).
(En estas URLS puede ver el funcionamiento del programa):
http://www.chessgames.com/perl/chessgame?gid=1670503
http://en.chessbase.com/post/alan-turing-plays-garry-kasparov-at-che-58-years-after-his-death
http://www.chess.com/blog/tradechess/turing---chess-engine---alan-turing
La historia cuenta algunas pruebas que Turing hizo con este programa como: (seleccione las
verdaderas).

Seleccione al menos una respuesta.


a. El programa analizaba hasta dos jugadas previas o posibles
combinaciones para determinar la ms ptima
b. A falta de un computador o mquina real lo suficiente
potente para ejecutar el programa, el mismo Turing simulaba
el funcionamiento del PC.

c. En la figura se muestra una partida de ajedrez usando el


programa de Turing. Si la mquina (algoritmo) fue derrotado,
entonces la mquina jugaba de blanco y el humano con las

Correcto

negras.
d. El programa nunca perdi. No se pudo comprobar si era
derrotado por la mente humana, Solo hasta los tiempos

Incorrecto: Turing lo prob con varios de


sus amigos y el programa fue derrotado.

modernos, grandes jugadores de ajedrez lo derrotaron.


iografa Alan Turing
Parcialmente correcto

Puntos para este envo: 0.3/1.


Question3
Puntos: 1

En Octubre de 1950, Alan Turing hizo estudios ms abstractos y trat el tema de la Inteligencia
artificial. Para ello propuso un experimento que hoy se conoce como el test de Turig. Que
consiste bsicamente en: (seleccione la verdadera).

Seleccione una respuesta.


a. Procedimientos para evaluar decisiones lgicas de una
mquina.
b. Mtodo para evaluar el rendimiento y capacidad de una maquia.
Poder de procesamiento
c. Prueba de error que determina cuando un problema tiene solucin o
no.
d. Mtodo para determinar si una mquina puede pensar.
Biografa de Alan Turing
Incorrecto

Puntos para este envo: 0/1.


Question4
Puntos: 1

Incorrecto: El Test de Turing nace


como un mtodo para determinar si
una mquina puede pensar.

Ala Turing en 1948 trabaj en la construccin del software (lenguaje de programacin) para una
de las primeras mquinas reales. Esta mquina era llamada:
Seleccione una respuesta.
a. Univac
b. Edvac

Incorrecto: Segunda computadora programable.


Tambin fue un prototipo de laboratorio, pero ya
inclua en su diseo las ideas centrales que conforman
las computadoras actuales. Incorporaba las ideas del
doctor Alex Quimis.

c.Manchester Mark I
d. Eniac
Biografa de Alan Turing
Incorrecto

Puntos para este envo: 0/1.


Question5
Puntos: 1

Turing era ateo. Reafirm sus conceptos superficiales y concretos en los que todos los fenmenos incluyendo
el funcionamiento del cerebro humano, deben ser materialistas. Pese a ello sigui creyendo en la
supervivencia del espritu despus de la muerte. Estas posiciones fueron dadas a raz de:
Seleccione una respuesta.
a. En 1928, con diecisis aos, al descubrir e interpretar los
trabajos de Albert Einstein
b. Al ver el horror de la segunda erra mundial en la que
particip como agente encubierto descifrando cdigos e
interceptando comunicaciones del ejrcito Alemn.

Incorrecto: Fue por la temprana muere de su


amigo y tambin cientfico joven Christopher
Morcom,

c. A empezar estudios del cerebro humano y descubrir que


podra asociarse al funcionamiento de una mquina mecnica
y que no podra haber sido creacin de Dios.
d. Dada la muerte de Christopher Morcom, quin fue el primer
amor. Morcom muri repentinamente el 13 de febrero de 1930
.
Biografa de Alan Turing
Incorrecto

Puntos para este envo: 0/1.


Question6
Puntos: 1

En estos aos, Turing trabaj en solitario descifrando el funcionamiento de todos los patrones
alemanes que determinaba donde y cuando Iban a bombardear Inglaterra. Acortando as los
tiempos de guerra.
Seleccione una respuesta.

Correcto

a. 1939 -1942
b. 1942 - 1945
c. 1938 - 1939
d. 1945 - 1947
Biografa de Alan Turing
Correcto

Puntos para este envo: 1/1.


1
Puntos: 1

La minimizacin de Autmatas, es un ejercicio comn en Automatizacin.


Identifique su concepto bsico y aplicabilidad:
Seleccione una respuesta.
a. La minimizacin se aplica a los AFD y consiste en Correcto: La minimizacin se basa en el tratamiento
obtener un AFD equivalente a uno dado que tenga el de estados "obtener el menor nmero de ellos" de
menor nmero de estados posibles.

forma equivalente.

b. Un autmata se puede minimizar siempre y


cuando el autmata dado no acepte cadenas
vacas.
c. La minimizacin se aplica a los AFND y consiste
en obtener un autmata equivalente que tenga el
menor nmero de transiciones posibles
d. En la minimizacin de autmatas, el nmero de
estados o de relaciones debe ser equivalente en
cantidad inferior al dado.
Correcto

Puntos para este envo: 1/1.


Question2
Puntos: 1

Un alfabeto es un conjunto finito de smbolos. De esta definicin


podemos afirmar correctamente:
Seleccione al menos una respuesta.
a. Por ser un alfabeto un conjunto finito de elementos, las
posibles cadenas que se formen no pueden ser
vacas
b. Las cadenas que se forman a partir de un alfabeto
finito, resultan ser infinitas.

Incorrecto: Las palabras aceptadas pueden


ser infinitas.

c. Dado un alfabeto, podemos formar palabras o cadenas Correcto: Es el principio bsico para empezar
con los smbolos del alfabeto

a tratar con lenguajes.

d. Por smbolo no se est haciendo referencia a un slo


carcter. Los smbolos pueden ser nombres.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question3
Puntos: 1

La Teora de Lenguajes, define bloques constructores de lenguaje. El


bloque ms sencillo es el alfabeto. De las siguientes afirmaciones cuales
definen o son verdaderas con respecto a un alfabeto:
Seleccione al menos una respuesta.
a. { 1 , 2 ,..... n } Es un ejemplo de alfabeto

Correcto: Lenguaje Formal: Un alfabeto es un


conjunto finito de smbolos. De esta definicin se
debe resaltar lo siguiente. (1) Los alfabetos son
finitos. (2) Por smbolo no se est haciendo
referencia a un slo carcter. Los smbolos pueden
ser nombres

b. Los alfabetos estn compuestos por cadenas. Ya Incorrecto: la segunda cadena tambin es aceptada
sean aceptadas o no. Ejemplo el alfabeto del
espaol latino: Una cadena vlida es {sistemas}.
Una cadena no aceptada es {temas}.
c. Los smbolos pueden ser nombres. Los alfabetos
son finitos.
d. Por smbolo, se est haciendo referencia a un
solo carcter.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question4
Puntos: 1

La definicin formal de un Lenguaje Regular (ele) L, se da solo si cumple ciertas condiciones. Siendo un
alfabeto, el conjunto de los lenguajes regulares sobre = {a,b} puede estar formado por:
Seleccione al menos una respuesta.
a. {ab} no es regular.
b. {a} y {b} son lenguajes regulares. {a,b} es
regular pues resulta de la unin de {a} y {b}.

Correcto: Definicin formal de Lenguaje Regular. Por la


definicin anterior, el conjunto de los lenguajes regulares
formado por el lenguaje vaco, los lenguajes unitarios
incluido lambda y todos los lenguajes obtenidos a partir de
la unin, concatenacin y cerradura o estrella de Kleene..
{ab} es regular pues resulta de la concatenacin de {a} y {b}.

c. La cadena vaca y el conjunto vaco no son


lenguajes regulares.

d. La cadena vaca (lambda) es un lenguaje

Correcto: Lambda es regular.

regular.
Correcto

Puntos para este envo: 1/1.


Question5
Puntos: 1

Cuando se trata de simplificar Autmatas, se deben tener en cuenta aspectos como: (Identifique cul
paso o concepto es vlido en este proceso de Minimizacin).
Seleccione una respuesta.
a. Para saber si dos estados q1 y q2 son equivalentes, se les pone a Incorrecto
ambos como estado final de los autmatas M1 y M2, y se procede a
comparar dichos autmatas. Si estos ltimos son equivalentes,
quiere decir que los estados q1 y q2 son equivalentes
b. Se entiende por minimizacin de autmatas finitos al proceso de
obtencin de un autmata con el menor nmero de transiciones
posibles
c. Dos estados son equivalentes si al intercambiar uno por otro en
cualquier configuracin no altera la aceptacin o rechazo de toda la
palabra.
d. Dos estados son distinguibles si son compatibles (es decir, si
ambos son finales o ambos son inciales).
Incorrecto

Puntos para este envo: 0/1.


Question6
Puntos: 1

Los Autmatas finitos no determinsticos (AFND) es una quntupla donde todos los componentes son como
en los AFDs, estos autmatas aceptan exactamente los mismos lenguajes que los autmatas determinsticos,
pero cuentan con una diferencia con relacin a los AFD como es.
Seleccione una respuesta.
a. El alfabeto de entrada
b. El conjunto finito de estados.
c. La funcin de transicin.
d. El estado inicial.
Incorrecto

Puntos para este envo: 0/1.


1
Puntos: 1

Incorrecto: El estado inicial no determina qu


tipo de autmata es.

Algunas operaciones y propiedades sobre lenguajes y ER que se pueden realizar son:


Seleccione al menos una respuesta.

Correcto: Se est identificando o definiendo que la


concatenacin de lenguajes es distributiva con
respecto a la unin.

a. (B U C) A = (B A) U (C A)

b. La concatenacin de lenguajes sobre un alfabeto es Correcto. Es parte de las propiedades de los


una operacin cerrada, y tiene un elemento neutro que lenguajes
es el lenguaje {lambda}.
c. A (B U C) = (A B) U (A C)
d. El orden de prioridad de los operadores es, de mayor
a menor: *, , + Este orden puede alterarse mediante
parntesis, de forma anloga a como se hace con las
expresiones aritmticas.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question2
Puntos: 1

Que representa la siguiente figura:

Seleccione una respuesta.


a. Que representa la siguiente figura:
b. No representa un autmata vlido por que el
mismo estado inicial es el mismo estado
final.
c. Un Autmata que acepta palabras o cadenas
que contienen nicamente bs o as
d. Un Autmata de tipo AFND vlido.

Correcto

Puntos para este envo: 1/1.

Correcto: Es un Autmata Finito No Determinstico


(AFND) vlido. Es una extensin vlida de un AFD.
Permite que de cada nodo del diagrama de estados salga
un nmero de flechas mayor o menor que ||

Question3
Puntos: 1

Dado un alfabeto , los smbolos , lambda y los operadores + (unin), (punto) (concatenacin) y *
(clausura), se define una EXPRESION REGULAR (ER) sobre el alfabeto en la que son vlidas las siguientes
relaciones:
Nota. es una cadena sobre un lenguaje L
Seleccione al menos una respuesta.
a. Si = entonces L () =

Correcto: Esta es una ER

b. Si = a y a pertenece entonces L () no pertenece

c. Si * es una ER entonces L (*) no es una ER


d. Si = lambda entonces L (lambda) = { lambda}

Correcto: Esta es una ER

Correcto

Puntos para este envo: 1/1.


Question4
Puntos: 1

Cules afirmaciones son vlidas cuando se trata de analizar el funcionamiento de los Autmatas Finitos (AF):
Seleccione al menos una respuesta.
a. En una mquina de estados finitos, la funcin de transicin
almacena los datos de entrada del Autmata.
b. Los estados son el nico medio de que disponen los AF
para recordar los eventos que ocurren (por ejemplo que
caracteres se han ledo hasta el momento).

Correcto: Los estados son el nico medio de


que disponen los AF para recordar los
eventos que ocurren (por ejemplo, qu
caracteres se han ledo hasta el momento);
esto quiere decir que son mquinas de
memoria limitada.

c. Los AF son mquinas de memoria limitada.


d. Los AF son mquinas de memoria amplia por ser
mquinas abstractas (no reales).

Incorrecto: Se asemejan a una Maquina Real


y estas tienen memoria limitada, finita.

Parcialmente correcto

Puntos para este envo: 0.5/1.


Question5
Puntos: 1

Sea el Autmata Finito (AF) A= (, Q, f. q1, F) donde = {0,1} , Q = {q1, q2, q3, q4}, F= { q2} y
definimos la funcin de transicin fpor la tabla siguiente:

Indique cul es lenguaje generado por el autmata:


Seleccione una respuesta.
a. 1(01) *

Correcto: La expresin regular genera las


cadenas que inician con 1 y que luego
pueden o no tener un 0 o un 1

b. 1*(1)
c. 1( 1) (0)*
d. 0(010)*
Correcto

Puntos para este envo: 1/1.


Question6
Puntos: 1

Teniendo en cuenta las clases de lenguajes propuestos por la jerarqua de Chomsky, es comn o aplica
afirmar:
Seleccione una respuesta.
a. La mayora de los lenguajes de programacin son
Lenguajes Libres de Contexto.

b. Los Lenguajes Regulares es la jerarqua ms alta y


compleja. Un ejemplo de lenguaje regular es el conjunto
de todos los nmeros binarios.

Correcto: Los lenguajes libres de contexto incluyen a


los lenguajes regulares. Los lenguajes regulares son
la clase ms pequea dentro de la jerarqua de
Chomsky. Los lenguajes recursivamente
enumerables incluyen a los lenguajes libres de
contexto.

c. Los Lenguajes Recursivamente Enumerables solo


incluye a los Lenguajes Regulares.
d. Los Lenguajes Libres de Contexto no incluyen a los
Lenguajes regulares.
Correcto

Puntos para este envo: 1/1.


Question7
Puntos: 1

Dado los autmatas M1 y M2 siguientes, cules relaciones entre estas dos mquinas son vlidas.

Seleccione al menos una respuesta.


a. Los Autmatas M 1 y M2 son equivalentes: M1 M2 , Correcto: La equivalencia se da por la aceptacin
por que aceptan exactamente el mismo lenguaje

de lenguajes. Ambos aceptan el lenguaje a * y


aceptan exactamente el mismo lenguaje

b. Los Autmatas M1 y M2 aceptan ambos el lenguaje a


*
c. Los Autmatas M1 y M2 no son equivalentes porque
ambos rechazan el lenguaje b*. La equivalencia se da

Incorrecto: Ambos rechazan el lenguaje b.


Ambos aceptan exactamente el mismo lenguaje.

en la aceptacin de lenguajes.
d. Los Autmatas M1 y M2 son iguales pero no
equivalentes
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question8
Puntos: 1

Una caracterstica que presenta el Autmata Finito siguiente es:

Incorrecto: No son iguales

Seleccione una respuesta.


a. Es un Autmata Finito Determinista (AFD).
b. Es un Autmata Regular

Incorrecto: Es un AFD

c. Es un Autmata Finito que acepta la palabra vaca


d. Es un Autmata Finito No Determinstico (AFND)
Incorrecto

Puntos para este envo: 0/1.


Question9
Puntos: 1

Para el siguiente Autmata Finito denotado como: A2= (E. Q, f, q1, F) donde E = {0,1}, F = {q2} y Q =
{q1, q2, q3, q4}, identifique correctamente el Lenguaje que genera y la expresin regular:

Seleccione una respuesta.

a. L = (A2 ) = {0, 001, 01111, } = { 1(10)n |n


0} La expresin regular es: 0(01) *
b. L = (A2 ) = {0, 001, 00100, } = { 1(01)n |n
0} La expresin regular es: 0(01) *
c. L = (A2 ) = {0, 111, 11100, } = { 1(10)n |n =
0} La expresin regular es: 1(01)+
d. L = (A 2) = {1, 101, 10101, } = { 1(01)n |n
0} La expresin regular es: 1(01) *

Correcto: El lenguaje generado se obtiene partiendo


del estado inicial y recorriendo todos los caminos
posibles para alcanzar el estado final

Correcto

Puntos para este envo: 1/1.


Question10
Puntos: 1

Una cadena vlida para el Autmata siguiente es:

Seleccione una respuesta.


a. xxxxzxzxzxzx
b. xzzxzxzx
c. xxxzxx

Incorrecto: Al recorrer la cadena no


llega al estado final o halt

d. xzxxxxzxzzx
Incorrecto

Puntos para este envo: 0/1.


1
Puntos: 1

Sea el autmata A = (, Q, f, q1, F) donde:


={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la funcin f vienen dada por la siguiente tabla:

Determine qu aspectos son vlidos para el autmata


Seleccione al menos una respuesta.
a. Es un Autmata Finito Determinstico (AFD)
b. El lenguaje reconocido por el autmata es: a (b*b |
a*b) a*

Correcto: Es un AFND. El lenguaje que reconoce


es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para
efectos de mejor comprensin, hay que recrear o
realizar el autmata mediante un diagrama de
Moore

c. Es un Autmata Finito Determinstico con lambda


transiciones
d. El lenguaje reconocido por el autmata es: a (b* | a* )
ba*

Correcto: Es un AFND. El lenguaje que reconoce


es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para
efectos de mejor comprensin, hay que recrear o
realizar el autmata mediante un diagrama de
Moore

Correcto

Puntos para este envo: 1/1.


Question2
Puntos: 1

Para el siguiente autmata determine cuales afirmaciones son vlidas cando se trata de evaluar
que cadenas acepta el autmata.

Seleccione al menos una respuesta.


a. Si una cadena tiene menos de 5 unos, entonces tiene
un nmero par de unos.
b. Si una cadena tiene 5 unos o ms, entonces contiene Correcto: Al recorrer el autmata, se confirma la
un nmero impar de unos.

relacin de unos descrita

c. Si una cadena tiene 5 unos o ms, entonces contiene


un nmero par de unos.
d. Todas las cadenas que tengan igual nmero de unos Incorrecto: No corresponden el nmero de unos
y de ceros son aceptadas.

descritos en la cadena

Parcialmente correcto

Puntos para este envo: 0.5/1.


Question3
Puntos: 1

Dado el siguiente autmata Finito, es vlido afirmar:

Seleccione al menos una respuesta.


a. La Er que lo representa es: (ab*a)*
b. La ER que lo representa es: (b+ab*a)*
c. La ER que lo representa: (b+ab*a)*ab*

Incorrecto

d. La ER que lo representa es: (b*ab*a)*b*ab*


Incorrecto

Puntos para este envo: 0/1.


Question4
Puntos: 1

Cual expresin regular (ER) representa el lenguaje que contiene una subcadena 11
Seleccione una respuesta.
a. (((01)*+(01)*0)+((10)*+(10)*1))
b. 10*0+1(0,1)*
c. ((0+1))*,1,1 . ((0+1))*

Correcto: esta ER acepta la


subcadena 11

d. (1,0)*+(0,1)*01
Correcto

Puntos para este envo: 1/1.


Question5
Puntos: 1

En la teora de lenguajes se presentan operaciones que aplican tambin al tratado de conjuntos.


Estas operaciones se pueden realizar con palabras que hacen pare de un determinado lenguaje.
Si x es una palabra y y otra palabra; la siguiente operacin:
(xy)z =x(yz)
corresponde a la propiedad:
Seleccione una respuesta.
a. Operacin cerrada
b. Distributiva
c. Asociativa

Correcto

d. Conmutativa
Correcto

Puntos para este envo: 1/1.


Question6
Puntos: 1

Sean dos lenguajes L1 y L2 definidos sbre el mismo alfabeto , la operacin que se representa a
continuacin es:

L = L1L2 = {xy / x pertenece L1 y pertenece L2}


Seleccione una respuesta.
a. Concatenacin de lenguajes
b. Operacin cerrada de dos lenguajes

Incorrecto: La operacin de cierre dice: El


lenguaje resultante est definido sobre el
mismo alfabeto que L1 y L2.

c. Unin de lenguajes
d. Asociacin de lenguajes
Incorrecto

Puntos para este envo: 0/1.


Question7
Puntos: 1

Dados los siguientes dos autmatas finitos, identifique los aspectos vlidos en cuanto a su
comportamiento.

Seleccione una respuesta.


a. La cadena {bb} solo es reconocida por un autmata.
b. Los dos autmatas son producto de una gramtica libre de

contexto GLC
c. Corresponde a un proceso de conversin o transformacin
de un AFND a un AFD. Ambos autmatas reconocen el
mismo lenguaje

Correcto: El primer autmata es un AFND y


el segundo es el resultado de un proceso de
conversin a AFD

d. Los autmatas reconocen cadenas o palabras


diferentes.
Correcto

Puntos para este envo: 1/1.


Question8
Puntos: 1

Las condiciones mnimas para poder describir un Autmata Finito Determinstico (DFA) son:
Seleccione al menos una respuesta.
a. Identificando el estado inicial y los estados finales.

b. Identificando el alfabeto.

c. Identificando la funcin de transicin.

d. Dando la lista de sus estados.

Correcto

Puntos para este envo: 1/1.


Question9
Puntos: 1

Correcto: Un autmata puede describirse


dando la lista de sus estados, el alfabeto, el
estado inicial, los estados finales, y la funcin
transicin.
Correcto: Un autmata puede describirse
dando el alfabeto.
Correcto: Un autmata puede describirse
dando la lista de sus estados, el alfabeto, el
estado inicial, los estados finales, y la funcin
transicin.
Correcto: Un autmata puede describirse
dando la lista de sus estados, el alfabeto, el
estado inicial, los estados finales, y la funcin
transicin. Esta funcin se puede describir
usando notacin usual para definir funciones o
usando una matriz, con una fila por cada
estado y una columna por cada smbolo del
alfabeto. Todas las condiciones son necesarias
para describir el autmata.

Para el siguiente Autmata, asocie la expresin regular que lo identifica:

Seleccione una respuesta.


a. (10 + 0)* 10
b. (10 + 0)*

Correcto: La ER tiene en cuenta las transiciones


vacas. Se tiene en cuenta la precedencia y
jerarqua de smbolos.

c. (0+1+0*)
d. (10 + 0)
Correcto

Puntos para este envo: 1/1.


Question10
Puntos: 1

Acerca del comportamiento de los estados en un autmata, indique que apreciaciones son
vlidas con respecto a su funcin y comportamiento:
Seleccione al menos una respuesta.
a. Conocer el estado de un autmata, es lo mismo
que conocer toda la historia de smbolos de entrada,
as como el estado inicial. Estado en que se
encontraba el autmata al recibir el primero de los
smbolos de entrada.
b. Un estado de aceptacin tambin puede ser

Incorrecto

inicial. Solo para autmatas finitos no


c. Se define como el estado de un autmata es toda Correcto
la informacin necesaria en un momento dado, para
poder deducir, dado un smbolo de entrada en ese

momento, cul ser el smbolo de salida.


d. Un estado de un autmata funciona de tal forma
que cuando reciba a su entrada una determinada
cadena de smbolos, indica si dicha cadena
pertenece o no al lenguaje

Incorrecto: Un autmata es reconocedor de


lenguajes si tiene esa funcin. Pero un solo estado
no puede determinar si reconoce o no una cadena.
Depende de otros estados y ms an si no es de
aceptacin

Parcialmente correcto

Puntos para este envo: 0.5/1.


Question11
Puntos: 1

Con los smbolos del alfabeto se forman cadenas, frases o palabras que se denotan por la letra . Algunas
operaciones entre palabras son la concatenacin y la inversa.

Que afirmaciones son vlidas para estas propiedades y en algunas


particularidades para el comportamiento de las cadenas o palabras (que se
forman con los smbolos de un alfabeto) y que haran parte de un lenguaje.
Seleccione al menos una respuesta.
a. En general (1 2 ) potencia R 1 potencia R 1 potencia R

Correcto

pero (1 2) potencia R = 2 potencia R 1 potencia R


b. La Inversin ( potencia R) consiste en una operacin sobre
palabras o cadenas que escribe al revs una palabra. La palabra

Correcto

resultante se denomina inversa.


c. La concatenacin por ejemplo no tiene la propiedad conmutativa,
es decir: 1 2 2 1 .
d. El Palndromo se puede definir como: ( = potencia R ).
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question12
Puntos: 1

Delos autmatas finitos (AF) es vlido afirmar:


Seleccione al menos una respuesta.
a. Los AF (Autmatas Finitos) pueden considerarse como

Correcto

mecanismos aceptadores o reconocedores de palabras


b. Un AF es una mquina sin memoria externa; son los estados los

Correcto

que resumen de alguna forma la informacin procesada


c. La memoria de un Autmata Finito (AF), est dada por sus
estados
d. De manera informal se puede decir que un Autmata Finito
Correcto
aceptar una palabra de entrada si, comenzando por un estado
especial llamado estado inicial y estando la cabeza de lectura
apuntando al primer smbolo de la cadena, la mquina alcanza un
estado final o de aceptacin despus de leer el ltimo smbolo de la

cadena
Parcialmente correcto

Puntos para este envo: 0.8/1.


Question13
Puntos: 1

Dadas las siguientes gramticas, ascielas a los enunciados que se presentan de forma correcta. Tenga en
cuenta que como Smbolo inicial se toma a S que son los estados iniciales y como smbolos no terminales
los estados en el orden de su nombramiento. El conjunto finito de smbolos terminales son los smbolos del
alfabeto del autmata.

Seleccione al menos una respuesta.


a. La Gramtica B corresponde a una representacin
vlida del lenguaje que acepta el Autmata D.

Incorrecto. La gramtica no le corresponde a los


autmatas dados

b. La Gramtica C corresponde a una representacin


vlida del lenguaje que acepta el Autmata con lambda

Correcto: La gramtica C es la de un AFND con


landa transiciones.

transiciones del Autmata E


c. La Gramtica D corresponde a una representacin
vlida del lenguaje que acepta el Autmata C.
d. La Gramtica A corresponde a una representacin
vlida del lenguaje que acepta los Autmatas A y

B.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question14
Puntos: 1

Dado los siguientes dos autmatas: determine cules afirmaciones son vlida

Seleccione al menos una respuesta.


a. Ambos son AFD y reconocen el mismo lenguaje

Incorrecto: Ambos autmatas son AFD y o


reconocen el mismo lenguaje.

b. El autmata B es un AFD pero no reconoce el mismo Correcto: Ambos autmatas son AFD y o
lenguaje que el autmata A

reconocen el mismo lenguaje.

c. El autmata A es un AFD pero no reconoce el mismo Correcto: Ambos autmatas son AFD y o
lenguaje que el autmata B

reconocen el mismo lenguaje

d. El autmata B es un AFND (adems posee dos


estados de aceptacin) y su ER es la misma que la del

Incorrecto: Ambos autmatas son AFD y o


reconocen el mismo lenguaje.

autmata A.
Correcto

Puntos para este envo: 1/1.


Question15
Puntos: 1

Se pueden generar palndromos (cadenas ) sobre el alfabeto = {0,1}. Evidentemente este lenguaje tiene
infinitas cadenas
Selecciones las afirmaciones vlidas con referencia al anterior postulado.

Seleccione al menos una respuesta.


a. Existe un lenguaje denominado el lenguaje vaco que
es un conjunto vaco y se denota por {}. El lenguaje
vaco no debe confundirse con un lenguaje que contenga

Correcto

una sola cadena.


b. Los palndromos son una excepcin de los lenguajes
regulares y no hacen parte de la jerarqua de

Incorrecto: Los palndromos tienen regularidades.


Son lenguajes de tipo 3

Chomsky
c. = lambda cadena vaca y = 0 ; Son
palndromos
d. Los smbolos de un alfabeto, definen el tipo de lenguaje
a que pertenece.
Parcialmente correcto

Puntos para este envo: 0.5/1.


1
Puntos: 1

Dada la siguiente gramtica:


S xS / S yA / S zB / A yA / A yB / B zB / B Lambda
Compuesta por los estados S, A, B y en la que los tres son estados finales o de aceptacin, analice cual
afirmacin es verdadera:
Seleccione una respuesta.
a. La gramtica genera la cadena vaca
b. La gramtica no genera la cadena vaca

Correcto: La gramtica es vlida y representa el


autmata, pero no genera la cadena vaca. Tendra que
en cada nodo terminal tener un bucle y ser representado
en la gramtica

c. La gramtica solo genera cadenas de un


smbolo y la cadena vaca
d. La gramtica no genera ningn lenguaje
porque presenta ms de un estado de
aceptacin o final.
Correcto

Puntos para este envo: 1/1.


Question2
Puntos: 1

Una palabra nos puede ayudar a determinar si una cadena pertenece a un


determinado lenguaje, pero tambin a algo ms: a determinar la estructura
sintctica de la misma. Esta viene dada por los rbol de derivacin.
Cuando hay recursividad por la Izquierda, los rboles de derivacin se
expanden por la Derecha.

Este principio se debe entre otras cosa a que:


Seleccione una respuesta.
a. En un rbol de derivacin, pueden haber nodos en la izquierda
vacos (sin smbolos), por eso se pasa a la derecha en busca de
otros nodos vlidos.
b. Los smbolos se aaden hacia abajo pero no pueden ser
repetitivos. Por eso su derivacin

Respuesta Incorrecta: Se adicionan


de izquierda a derecha en un ciclo
repetitivo.

c. Los smbolos de entrada se aaden a los nodos en orden de


izquierda a derecha
d. Si no hay ms smbolos que agregar, en un determinado
nodo, no se evalan ms ramificaciones.
Al derivar una cadena a travs de una GIC, el smbolo inicial se sustituye por alguna cadena. Los no
terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan smbolos no
terminales, queda una cadena con slo smbolos terminales. A veces es til realizar un grfico de la
derivacin. Tales grficos tienen forma de rbol y se llaman arbol de derivacin o rbol de anlisis. Para
una derivacin dada, el smbolo inical S etiqueta la raz del rbol. El nodo raz tienen unos nodos hijos para
cada smbolo que aparezca en el lado dereho de la produccin, usada para reemplazar el smbolo inicial. De
igual forma, cada smbolo no terminal tienen unos nodos hijos etiquetados con smbolos del lado derecho de
la produccin usada para sustituir ese no terminal.
Incorrecto

Puntos para este envo: 0/1.


Question3
Puntos: 1

Dada la Gramtica SaS; SaSbS; S.


Indique cules de las siguientes afirmaciones no corresponden al desarrollo de
la misma o al tipo de cadenas o palabras que pueda generar.
Seleccione al menos una respuesta.
a. Las cadenas que acepta la
gramtica siempre van a empezar por a.
Adems el lenguaje generado por la
gramtica es estructurado por frases
b. Cualquier cadena generada por la
Correcto: Correcto: Las cadenas van a empezar por a.
gramtica contiene una subcadena no
vaca donde algunas veces el nmero de El lenguaje generado por la gramtica es estructurado
letras a es igual al nmero de letras
por frases. Solo algunas cadenas generadas contiene
b.

igual nmero de as que de bs.

c. Las cadenas que acepta la gramtica Incorrecto


siempre van a empezar por b. Adems el
lenguaje generado por la gramtica es
no es estructurado por frases.

d. Para cualquier prefijo de una cadena Incorrecto


generada por la gramtica se verifica
que el nmero de letras a es mayor o
igual al nmero de letras b. Prefijo de
una cadena es toda cadena no vaca x
para la que existe una cadena u tal que
=xu
Las gramticas cuyas reglas son de la forma A ---> aB o bien A ---> a, donde A y B son variables, y a es un
caracter terminal. A estas gramticas se les llama regulares.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question4
Puntos: 1

Los Autmatas de Pila (AP) funcionan de manera que el ultimo carcter que se
almacena en ella es el primero en salir (LIFO por las siglas en ingls), como
si se apilaran platos uno encima de otro, y naturalmente el primero que
quitaremos es el ltimo que hemos Colocado. Otros aspectos vlidos de su
funcionamiento son:
Seleccione al menos una respuesta.
a. Sin importar si la pila est vaca o no,
este siempre har un movimiento.

recuerda que un AP no puede realizar


ningn movimiento si la pila est vaca.

b. Una cadena en un AP ser aceptada

Incorrecto: La

cuando llegue al estado final.

c. Los caracteres a la mitad de la pila no


son accesibles sin quitar antes los que

Incorrecto: Se

cadena ser aceptada por vaciado de pila si


despus de leerse toda la cadena se llega a un estado
con la pila vaca, independientemente del tipo de estado
en el que se encuentre el AP
Correcto

estn encima de ellos.


d. En un AP podemos modificar su
tope, que es el extremo por donde
entran o salen los caracteres
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question5
Puntos: 1

Indique cul de las siguientes afirmaciones es falsa teniendo en cuenta el determinismo de los
autmatas finitos. (AF).
Seleccione una respuesta.
a. Un autmata finito no determinista puede tener un nmero
ilimitado de transiciones distintas
b. Un autmata finito no determinista de q estados y n smbolos
puede tener a lo sumo n q2 transiciones

c. Un autmata finito determinista de q estados y n smbolos


tiene n q transiciones
d. El nmero mximo de transiciones de un autmata finito
determinista depende del nmero de estados y del nmero de

Esta afirmacin es vlida

smbolos del alfabeto del autmata


Incorrecto

Puntos para este envo: 0/1.


Question6
Puntos: 1

Con referencia las gramticas de Tipo 2, que aspectos vlidos hacen referencia a la forma de
generar lenguajes de tipo 2 y su comportamiento y descripcin:
Seleccione al menos una respuesta.
a. Si L es un LLC, entonces hay un AP M tal que L(M) = L
b. Si M es un AP, entonces L(M) es un LLC
c. Las producciones son de la forma: A - aa Dado que hay un

Correcto
Incorrecto

carcter de lectura y uno de escritura


d. Los autmatas de pila aceptan exactamente los LLC

Correcto

(Lenguajes Libres de Contexto).


Parcialmente correcto

Puntos para este envo: 0.7/1.


1
Puntos: 1

Cuando las gramticas son demasiado extensas y generan rboles de


derivacin grandes, se suele usar:
Seleccione una respuesta.
a. Formas de Greibach
b. Formas cannicas que restrinjan los tipos de producciones que

Correcto

pueden utilizarse.
c. Producciones de tipo GIC con un solo nodo terminal
d. Formas de LIC

La definicin de una gramtica independiente del contexto es demasiado


amplia, y por lo tanto, es deseable establecer una forma cannica que restrinja
los tipos de producciones que pueden utilizarse.
Correcto

Puntos para este envo: 1/1.


Question2

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. Si, si M es un autmata finito.

Incorrecto

b. No todas las veces, dado que puede tratarse de un autmata no


determinista.
c. S, siempre.
d. Nunca, Queda en un bucle ya que solo recorre un smbolo.
Incorrecto

Puntos para este envo: 0/1.


Question3
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. 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.
b. Las transiciones lambda en un AFPD permiten que el autmata
Correcto
cambie el contenido de la pila, sin procesar (o consumir) smbolos sobre
la cinta de entrada.
c. 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.
d. El determinismo se da cuando no hay alternativas de movimiento para
el mismo estado, usando la misma entrada y el mismo smbolo de
pila.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question4
Puntos: 1

Correcto

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

Seleccione una respuesta.


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

Incorrecto

Incorrecto

Puntos para este envo: 0/1.


Question5
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
Incorrecto:
gramtica lineal por la izquierda y genera el lenguaje

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

0(10)*
b. 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

c. El rbol de Derivacin B representa una gramtica


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

Puntos para este envo: 0/1.


Question6
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 = Conjunto de todas las cadenas sobre el
alfabeto excepto la vaca.
c. + = Conjunto de todas las cadenas positivas

Incorrecto

excepto la vaca
d. 0 = {lambda} Conjunto cuyo nico elemento es

Correcto

la palabra vaca.

La longitud de una cadena que se denota como || es el nmero de letras


que aparecen en . A la cadena que no tiene smbolos o que es lo mismo decir
que tiene longitud cero, se le llama palabra vaca. Si es un alfabeto, se le
llama n al conjunto de todas las palabras de longitud n sobre . La estrella *
genera el conjunto de todas las cadena de cualquier longitud sobre . Si se
analiza + esta representa al conjunto de todas las cadenas sobre el alfabeto
excepto la vaca.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question7
Puntos: 1

Dada la siguiente gramtica regular G , identifique el conjunto de cadenas o palabras vlidas que puede
generar el Autmata Finito que lo representa: (Para el desarrollo del ejercicio se sugiere graficar o recrear el
autmata)
S aA | bA
A aB | bB | a
B aA | bA
Seleccione una respuesta.
a. El conjunto de cadenas que pueda generar la ER
= a*b*a
b. {a,b}

Incorrecto: Las cadenas no son aceptadas


cuando se recorre la gramtica.

c. {aa, aaaa, bbba, ba, bba, baaa, baba}


d. {baaaa, aaaaa, bba}
Incorrecto

Puntos para este envo: 0/1.


Question8
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)

Incorrecto

c. S lambda ( Palndromos con smbolos pares )


d. S a (Palndromos con smbolos pares)

Incorrecto

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).
Incorrecto

Puntos para este envo: 0/1.

Question9
Puntos: 1

Acerca del funcionamiento de un Autmata de Pila, cul de las siguientes


operaciones o comportamientosNO las hace este autmata.
Seleccione una respuesta.
a. Una de las condiciones para que una palabra de
entrada sea aceptada en un AP la pila debe estar
vaca.
b. La pila no tiene lmite en sus extremos. A
diferencia de las MT que son cerradas por la
izquierda.
c. 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.

d. Al igual que los AF, los AP tienen estados finales,


que permiten distinguir cuando una palabra de
entrada es aceptada

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.


Question10
Puntos: 1

En un autmata de pila (AP), la funcin de transicin aplica o interviene a:


Seleccione al menos una respuesta.
a. A cada movimiento de la pila
b. A cada smbolo topo de la pila

Correcto
Correcto

c. A cada estado
d. A cada smbolo de entrada (Incluyendo la cadena

Correcto

vaca)

La funcin de transicin aplica cada estado, cada smbolo de entrada


(incluyendo la cadena vaca) y cada smbolo tope de la pila en un conjunto de
posibles movimientos. Cada movimiento parte de un estado, un smbolo de la
cinta de entrada y un smbolo tope de la pila. El movimiento en s consiste en

un cambio de estado, en la lectura del smbolo de entrada y en la substitucin


del smbolo tope de la pila por una cadena de smbolos.
Parcialmente correcto

Puntos para este envo: 0.8/1.


1
Puntos: 1

Cual de las siguientes afirmaciones se asocia correctamente al diseo y


funcionamiento de los rboles de derivacin.
Seleccione una respuesta.
a. Los lenguajes generados por una Gramtica
Independiente del Contexto son llamados
Lenguajes Regulares

Respuesta Incorrecta: Los lenguajes generados


por una GIC son llamados Lenguajes
Independientes del Contexto (LIC).

b. En los rboles de derivacin, no es


necesario usar nodo raz
c. En un rbol de derivacin cada nodo
solamente puede tener otro hijo nodo
d. En un rbol de derivacin, una gramtica es
ambigua cuando hay dos o ms rboles de
derivacin distintos para una misma
cadena.

Al derivar una cadena a travs de una GIC, el smbolo inicial se sustituye por
alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras
cadenas hasta que ya no quedan smbolos no terminales, queda una cadena
con slo smbolos terminales. A veces es til realizar un grfico de la
derivacin. Tales grficos tienen forma de rbol y se llaman rbol de
derivacin o rbol de anlisis. Para una derivacin dada, el smbolo inicial
S etiqueta la raz del rbol. El nodo raz tiene unos nodos hijos para cada
smbolo que aparezca en el lado derecho de la produccin, usados para
reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tiene
unos nodos hijos etiquetados con smbolos del lado derecho de la produccin
usada para sustituir ese no terminal.
Incorrecto

Puntos para este envo: 0/1.


Question2
Puntos: 1

Indique cul de las siguientes afirmaciones es verdadera


Seleccione una respuesta.
a. Los autmatas de pila reconocen lenguajes generados
por gramticas de tipo 3
b. Los autmatas finitos slo pueden aceptar lenguajes
finitos

c. Los autmatas finitos tienen un nmero finito de


estados
d. Las mquinas de Turing y los autmatas de pila son

Incorrecto

autmatas finitos
Incorrecto

Puntos para este envo: 0/1.


Question3
Puntos: 1

Que apreciaciones son ciertas con referencia a lo que describe el siguiente rbol de derivacin:
Seleccione al menos una respuesta.
a. La ER que representa el lenguaje que acepta ese

Correcto

rbol de derivacin es ab*c


b. Acepta el lenguaje de las palabras que empiezan
por a, terinan por c y adems en medio de estas
dos letras pueden haber una b o muchas bs
c. Acepta el lenguaje de las palabras que empiezan
por S y terminan en una o muchas As. La ER que lo

Incorrecto

representa es SA*
d. Este rbol de derivacin es producto de la gramtica Correcto
lineal por la derecha: S >aA | A ---> bA | c
Parcialmente correcto

Puntos para este envo: 0.7/1.


Question4
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. Independiente del contexto no regular
b. Regular
c. Decidible
d. Estructurado por frases y no independiente del contexto
Correcto

Puntos para este envo: 1/1.


Question5
Puntos: 1

Correcto

Una gramtica independiente del contexto (GIC) genera un lenguaje


independiente del contexto (LIC), lo que indica que hay LIC que no son
lenguajes regulares y por lo tanto:
Seleccione una respuesta.
a. El conjunto de los lenguajes regulares y el
conjunto de los LIC son conjuntos independientes.

b. El conjunto de los lenguajes regulares contiene


al conjunto de los LIC.

Incorrecto: Los lenguajes generados por una


GIC son llamados Lenguajes Independientes del
Contexto (LIC).

c. El conjunto de los LIC contiene al conjunto de


los lenguajes regulares.
d. El conjunto de los lenguajes regulares contiene
al conjunto de las GIC.

Una gramtica independiente del contexto (GIC) es una cudrupla G=(N, , S,


P), donde: N: es una coleccin finita (no vaca) de smbolos no terminales. :
es un alfabeto. S: es un no terminal llamado smbolo inicial. P: un conjunto de
producciones tal que P N (N )*. Los lenguajes generados por una GIC son
llamados Lenguajes Independientes del Contexto (LIC)
Incorrecto

Puntos para este envo: 0/1.


Question6
Puntos: 1

Cual de las siguientes afirmaciones es VERDADERA


Seleccione una respuesta.
a. En los arboles de derivacin, los nodos races
siempre derivan en dos ramas.
b. En un rbol de derivacin, una gramtica es
ambigua, cuando hay dos o ms rboles de derivacin
distintos para una misma cadena.

Correcto. En este caso es ambigua por


cuanto puede tener varias soluciones

c. Los lenguajes generados por una Gramtica


Independiente del Contexto son llamados Lenguajes
Regulares
d. En un rbol de derivacin cada nodo solamente
puede tener otro hijo nodo. De lo contrario se formara
otro nodo.

Es posible probar que cualquier palabra que sea aceptada por el AFD M, puede
ser generada por la gramtica regular G. Esto significa que L(G) = L(M).
Correcto

Puntos para este envo: 1/1.


Question7
Puntos: 1

Sea M un autmata de pila. Indique cul de las siguientes afirmaciones es falsa:


Seleccione una respuesta.
a. Si M es un autmata de pila determinista que
siempre llega a los estados de aceptacin con pila
vaca, entonces L(M) no puede ser aceptado por un
autmata de pila no determinista
b. Sea L={a, ba}. L puede ser aceptado por un autmata
de pila determinista que siempre llegue a los estados de
aceptacin con pila vaca
c. Un autmata de Pila reconoce lenguajes que sean
generados por gramticas de tipo2.
d. Sea L={a, ab}. L puede ser aceptado por un autmata Esta afirmacin es verdadera ya que L es un
de pila determinista que siempre llegue a los estados de lenguaje regular
aceptacin con pila vaca
Incorrecto

Puntos para este envo: 0/1.


Question8
Puntos: 1

La concatenacin de dos lenguajes del alfabeto es un subconjunto de:


Seleccione una respuesta.
a.

Incorrecto

b. (*)*
c.
d.

La concatenacin de dos lenguajes es el lenguaje que resulta al concatenar las respectivas


cadenas (la concatenacin de dos cadenas es una nueva cadena) y por tanto pertenece a *.
= ; es el conjunto de pares ordenados formados por dos smbolos de , y ** es el
conjunto de pares ordenados formados por dos cadenas de *.
Incorrecto

Puntos para este envo: 0/1.


Question9
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)
Incorrecto

d. Una Turing Machine (TM)

Aadir al AF un almacenamiento auxiliar, que llamaremos pila, donde se


podran ir depositando caracter por caracter cadenas arbitrariamente grandes,
es el primer paso a la construccin de un AP a partir de un simple AF.
Incorrecto

Puntos para este envo: 0/1.


Question10
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. 6
b. 7

Correcto: L* {w L* | |w| < 3}= { , a,b,aa,ab,ba,bb}

c. 4
d. 5
Correcto

Puntos para este envo: 1/1.


Question11
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. La regla S S0 es innecesaria

Correcto

c. La gramtica es equivalente a S0S, S 1S, S

Correcto

d. Las cadenas {0101, 1001] no son parte del lenguaje que


genera
Correcto

Puntos para este envo: 1/1.


Question12

Correcto

Puntos: 1

El lenguaje x (potencia m) y (potencia n) z (potencia p), donde m, n y p son enteros no


negativos tales que m+n=p, es:
Seleccione una respuesta.
Incorrecto

a. Estructurado por frases (en sentido estricto).


b. Regular
c. Independiente del contexto no determinista (en sentido
estricto)
d. Independiente del contexto determinista (en sentido estricto)
Incorrecto

Puntos para este envo: 0/1.


Question13
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 misma 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,
RaRb, RbRa, Rc.
b. S aSa, SbSb, SaRb, SbRa,
RaRa, RbRb, Rc.
c. S aSa, SbSb, SaRb, SbRa,

Incorrecto: No genera cadenas wcv

RbRb, RaRa, RbRa, Rc.


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

Puntos para este envo: 0/1.


Question14
Puntos: 1

Para simular el funcionamiento de un Autmata de Pila lo ms recomendable


es hacer primero:
Seleccione una respuesta.
a. Simular su ejecucin, listando las situaciones sucesivas en
que se encuentra, mediante una tabla llamada traza de
ejecucin
b. Simular su ejecucin en una MT que se comporta de igual

Correcto

forma
c. Simularlo en JFLAP con la cadena vaca Lambda para
determinar si la pila inicia o no.
d. 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.

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.


Question15
Puntos: 1

Dada la siguiente gramtica G= (VN= {S, A}, VT= {0,1}, S, P) donde P son
las producciones:

Seleccione al menos una respuesta.


a. S > 0A > 0A > 00A > 000
b. S > 0A > 01S > 010 A > 0100

Correcto: Ambas producciones aplican a la gramtica con


cadenas vlidas como 0100 y 00100

c. S > 0A > 00A > 001 A > 0010

Incorrecto: las producciones no aplican a la gramtica.

d. S > 0A > 00A > 001S > 0010 A >

Correcto: Ambas producciones aplican a la gramtica con


cadenas vlidas como 0100 y 00100

00100
Correcto

Puntos para este envo: 1/1.


1
Puntos: 1

Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que

requiere una respuesta de tipo si/no. Para la Teora de Lenguajes, un problema de decisin
es insoluble cuando:
Seleccione al menos una respuesta.
a. Si no se representa con un diagrama de Moore el
problema
b. Si no existe un algoritmo total para determinar si
la propiedad y objetivo del problema es
verdadera.
c. Si no existe un procedimiento efectivo para
determinar si la propiedad es verdadera (no existe
una Mquina de Turing MT).

Correcto: Los diagramas de Moore y de Transicin o la


forma como se representen los problemas, no tienen
nada que ver con la determinacin si es insoluble o no
Correcto: Los diagramas de Moore y de Transicin o la
forma como se representen los problemas, no tienen
nada que ver con la determinacin si es insoluble o no

d. Si no se representa con una Tabla de transiciones Incorrecto: Los problemas pueden formularse
el problema.

y representarse de muchas formas. Que tengan o no


solucin no tienen nada que ver con la forma como se
representen. Va es en el sentido del anlisis y la
formulacin del algoritmo

Correcto

Puntos para este envo: 1/1.


Question2
Puntos: 1

La Mquina de Turing puede tener varios movimientos dependiendo de diferentes factores (posicin inicial,
estado, smbolos de entrada). Un movimiento en la Mquina de Turing depende del smbolo explorado con la
cabeza y del estado actual con el que se encuentre la mquina, el resultado puede ser:
Seleccione al menos una respuesta.
a. Se mueve la cabeza de la cinta a la izquierda, a la
derecha o se para.

b. Estado no cambia.

Correcto: En una MT de Turing no es cierto que


el movimiento del cabezal, implique vaciar la
cinta o inicializar los smbolos iniciales.
Incorrecto

c. Todo movimiento del cabezal vaca la cinta y la inicializa Correcto


en cero.
d. Imprime un smbolo en la cinta reemplazando el
smbolo ledo.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question3
Puntos: 1

Dentro de las tesis que plasmaron Church y Turing, est una de las ms aplicadas y
demostradas hoy en da, enfocada al funcionamiento de las mquinas reales (coputadoras). Esta
es:
Seleccione una respuesta.

a. Las mquinas reales tienen mayor poder de cmputo que las Incorrecto
Mquinas de Turing, aunque resuelvan los mismos
problemas.
b. Toda funcin computable tiene un algoritmo decidible pro
una MT
c. Una MUT es funcional y eficiente tanto como una mquina
real.
d. La mquina de Turing, tiene mayor poder de cmputo que
las reales, aunque resuelvan los mismos problemas.
Incorrecto

Puntos para este envo: 0/1.


Question4
Puntos: 1

Las transiciones de una Mquina de Turing de varias cintas (MT), tienen las
siguientes caractersticas:
Seleccione al menos una respuesta.
a. La transicin solo afecta a una cinta (escribir o
desplazar).
b. La transicin depende de los smbolos actuales de
todas las cintas.

Correcto: Hace referencia al funcionamiento de una


MT.

c. Las transiciones se pueden hacer en varias cintas

Incorrecto

simultneamente
d. La transicin le asigna el carcter de entrada a las

Incorrecto

dems cintas
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question5
Puntos: 1

La codificacin redundante tiene como objetivo introducir smbolos para asegurar la veracidad en
la trasmisin. Esto se logra por medio de algoritmos que aseguran la veracidad de la informacin
transmitida procurando no perder velocidad en la trasmisin. Los algoritmos para la veracidad
son:
Seleccione una respuesta.
a. Los de codificacin de ruido
b. Los de codificacin de fuente:
c. Los de codificacin de canal

Correcto: Esto se logra por medio de algoritmos que


adapten la informacin teniendo en cuenta las
caractersticas estadsticas del ruido que presenta el
canal.

d. Los de codificacin AWGN


Correcto

Puntos para este envo: 1/1.


Question6
Puntos: 1

A las computadoras reales y las MT se les asocian muchas similitudes y diferencias: Cules diferencias entre
una computadora Real y una mquina de Turing (MT) son verdaderas:
Seleccione al menos una respuesta.
a. En una computadora, el nmero de estados viene
representado por el contenido de la memoria.
b. En una MT el orden de ejecucin de las instrucciones no
necesariamente debe estar definido.

Correcto: es la asociacin entre una MR y una


MT.
Incorrecto: Si debe definirse el orden de
ejecucin de instrucciones.

c. En una MT el Nmero de estados depende de la cadena, Incorrecto: la palabra o cadena de lectura no


palabra o dato que lea.

determina la cantidad de estados que deba tener


una MT. Puede determinar pro que estados
recorre la mquina.

d. En cuanto al orden de ejecucin de las instrucciones, En


la estructura Von Neumann el secuenciamiento lo marca el
orden de colocacin de las instrucciones en la memoria
interna y viene asegurado por el contador de programa.
Parcialmente correcto

Puntos para este envo: 0.5/1.


1
Puntos: 1

Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los
Problemas de decisin (PD).

Que aspectos en anlisis son vlidos para apoyar esta teora


Seleccione al menos una respuesta.
a. Mientras que los lenguajes computables son una infinidad
numerable, los lenguajes no computables son una infinidad no
numerable.
b. Un PD podra ser aqul formulado por una pregunta (referida a
alguna propiedad) que requiere una respuesta de tipo si/no. Hay
problemas de decisin de tipo soluble, parcialmente soluble e

Correcto

insoluble
c. Si se presenta un lenguaje decidible, es por que hay un algoritmo

Correcto

que la MT reconoce.
d. Se puede decir que un lenguaje es decidible por que existe una
MT que los puede reconocer.
Parcialmente correcto

Puntos para este envo: 0.8/1.

Correcto

Question2
Puntos: 1

Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las
computadoras reales.
Seleccione al menos una respuesta.
a. Los computadores electrnicos, basados en la
Correcto
arquitectura Von Neumann as como las mquinas
cunticas tendran exactamente el mismo poder de
expresin que el de una Mquina de Turing (MT) si
dispusieran de recursos ilimitados de tiempo y espacio.

b. En las mquinas reales estn definidos procesos de


manera jerrquica. En las MT estos procesos estn
definidos por el nmero de estados.

c. Las MUT son de un solo propsito. Las mquinas


reales interpretan muchos programas escritos en
diferentes lenguajes (multipropsito).

d. Los lenguajes de programacin, tienen a lo sumo el


mismo poder de expresin que el de los programas
para una Mquina de Turing (MT) y en la prctica no

Incorrecto: En

una MT el n de estados depende


del algoritmo. En una computadora, un estado
viene representado por el contenido de la
memoria, y una situacin por un estado y un
puntero a una direccin (la que contiene a la
instruccin que va a ejecutarse).
Incorrecto: Esta mquina Universal no debe ser diseada para
realizar un clculo especfico, sino para procesar cualquier
informacin (realizar cualquier clculo especfico -MT particularsobre cualquier configuracin inicial de entrada correcta para
esa MT particular).
Correcto

todos lo alcanzan.
Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

Con referencia a una Mquina de Turing (MT) de dos direcciones: Una Mquina de Turing con una cinta
infinita en un sentido puede simular una Mquina de Turing con la cinta infinita en los dos
sentidos. Sea M una Mquina de Turing con una cinta infinita en los dos sentidos, entonces:

Para que se logre o se d esta mquina se debe cumplir:


Seleccione al menos una respuesta.
a. La pista inferior contiene tanto la parte izquierda como la
derecha de la cinta M (en orden inverso).
b. La Mquina de Turing M que tiene una Cinta Infinita en un
sentido, puede simular a M si tiene una cinta con dos

Incorrecto: La cinta superior por orden


contiene la informacin de la parte derecha.
Correcto: La pista superior maneja un sentido
y la inferior maneja otro sentido (direccin).

pistas.
c. La pista inferior y superior leen los datos simultneamente
en ambos sentidos. Luego y dependiendo de los estado
repetitivos, se detiene una pista y contina la que menos
celdas tenga ocupada.

Incorrecto

d. La cinta superior contiene informacin correspondiente a la


parte derecha de la cinta M a partir de un punto de referencia
dado.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question4
Puntos: 1

Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione las opciones


verdaderas).
Seleccione al menos una respuesta.
a. El problema de Halting es el primer problema indecidible

Correcto

mediante maquinas de Turing


b. Equivale a construir un programa que te diga si un problema Correcto
de ordenador finaliza alguna vez o no (entrando a un bucle
infinito, por ejemplo)
c. El problema de tipo "insoluble" define que hay un algoritmo
que lo soluciona pero que no se puede llevar a una MT o una
mquina abstracta.
d. El problema de la parada o problema de la detencin es de
hecho soluble y la Teora de la Computacin lo defini como

Incorrecto

tal

El problema de Halting es el primer problema indecidible mediante mquinas


de Turing. Equivale a construir un programa que te diga si un problema de
ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo)
Correcto

Puntos para este envo: 1/1.


Question5
Puntos: 1

Una Mquina de Turing (MT) se puede comportar como un aceptador de lenguaje, de la misma forma que lo
hace un Autmata finito (AF) o un Autmata de Pila (AP) as: Colocando una cadena en la cinta, situando
la cabeza de lectura/escritura sobre el smbolo del extremo izquierdo de la cadena y al poner en marcha la
mquina a partir de su estado inicial. Entonces es aceptada si, despus de una secuencia de movimientos,
la MT llega a un estado final y para.

Que aspectos son vlidos para el comportamiento de una MT..?


Seleccione al menos una respuesta.
a. Se pueden combinar dos Mquinas de Turing
(MT) permitiendo que compartan la misma cinta y,
que cuando una termine su ejecucin, la otra
empiece.
b. Para rechazar una cadena que no es aceptable,
lo nico que hay que hacer es evitar que se llegue
a un estado final.

Correcto

c. Es vlido empezar el diseo de una MT por el


diseo de un AF. Ambos son aceptadores de
lenguajes.

Correcto: Al

disear una MT que acepte un


cierto lenguaje, en realidad diseamos el
autmata finito que controla la cabeza y la
cinta, el cual es un autmata con salida
(acepta cadenas vlidas).

d. La MT es un mecanismo abstracto avanzado que Incorrecto:


tiene el mismo poder computacional que las
mquinas reales.

La Mquina de Turing es un
mecanismo de computacin notoriamente
primitivo, y sin embargo permite llevar a cabo
cualquier cmputo que podamos hacer en
nuestro PC

Parcialmente correcto

Puntos para este envo: 0.7/1.


Question6
Puntos: 1

Los problemas indecidibles, son tambin parte del estudio de Autmatas y


lenguajes Formales. La indecibilidad de estos problemas lleva a ratificar
afirmaciones que han sido demostradas mediante algoritmos complejos
computables que concluyen en afirmaciones como:
Seleccione una respuesta.
a. Las MT por ser la mquina abstracta ms poderosa, soluciona
cualquier problema que en teora sea indecidible.
b. Hay infinitos problemas para los que no se va a tener una MT que

Correcto

los resuelva (ni siquiera los reconozca).


c. Con un computador real, se puede determinar con certeza
cualquier problema en el sentido si es decidible o no.
d. Decidir si un lenguaje que se genera es vaco o no, es un problema
que s tiene solucin por una MT.

Una MT que los resuelva (ni siquiera los reconozca). Tambin se ha formulado
la tesis de Church-Turing, que determina el lmite de los computadores
actuales
Correcto

Puntos para este envo: 1/1.


Question7
Puntos: 1

Acerca del tipo de cadenas que puede aceptar una Mquina de Turing,
determine cul afirmacin es vlida.
Seleccione una respuesta.
a. Una mquina de Turing cuyo estado inicial coincida con el
estado de parada acepta toda cadena
b. Por ser una mquina tan simple pero a la vez tan potente,
resulta fcil que cualquier lenguaje puede ser reconocido por una

mquina de Turing
c. Es posible que un lenguaje sea estructurado por frases pero no Incorrecto
exista ninguna mquina de Turing que se detenga exclusivamente
cuando las cadenas escritas en su cinta pertenezcan al
lenguaje
d. Cuando se desea que una MT no acepte una palabra,
simplemente se debe configurar para que llegue a un estado halt
de parada o stop.

Al disear una MT que acepte un cierto lenguaje, en realidad diseamos el


autmata finito que controla la cabeza y la cinta, el cual es un autmata con
salida.
Incorrecto

Puntos para este envo: 0/1.


Question8
Puntos: 1

Indique cul de las siguientes afirmaciones es cierta con referencia a las Mquinas de Turing:
Seleccione al menos una respuesta.
a. El diseo de una MT es procedimentalmente sencillo Incorrecto: Por ser tan de demasiado de Bajo
para programar lenguajes de mquinas reales.
Nivel no resultan prcticas para programar
b. Cualquier lenguaje puede ser reconocido por una

Incorrecto

mquina de Turing
c. Una mquina de Turing cuyo estado inicial coincida
con el estado de parada acepta toda cadena
d. El diseo de las MT bsicamente es el de un
autmata finito pero un Autmata con mayor poder de
reconocimiento y proceso de lenguajes, que tomas y

Correcto: Bsicamente se trata del diseo de un Autmata con


mayor poder de reconocimiento y proceso de lenguajes, que
tomas y fusiona aspectos de un AF y de un PDA.

fusiona aspectos de un PDA.


Parcialmente correcto

Puntos para este envo: 0.5/1.


Question9
Puntos: 1

Seale los aspectos de diseo vlidos de una Mquina de Turing (MT).


Seleccione al menos una respuesta.
a. No est permitido realizar ningn movimiento hacia la izquierda a

Correcto

partir de la celda del extremo izquierdo.


b. En una Mquina de Turing (MT) que usa una cinta que se extiende Correcto
infinitamente en una nica direccin, generalmente est extendida
hacia la derecha.
c. La Mquina Universal de Turing no debe ser diseada para realizar Correcto
un clculo especfico, sino para procesar cualquier informacin

d. Una palabra de entrada a reconocer en una MT se escribe smbolo


por smbolo en la cinta
Correcto

Puntos para este envo: 1/1.


Question10
Puntos: 1

Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx

Seleccione una respuesta.


a. La mquina acepta la cadena
b. Hay una terminacin anormal.
c. La mquina solo acepta cadenas con nmeros de

Incorrecto

smbolos pares
d. La mquina entra en un bucle y no termina nunca.

Decimos que en la MT se llega al final de un clculo cuando se alcanza un


estado especial llamado halt en el control finito, como resultado de una
transicin. Representaremos al halt por h. Al llegar al halt, se detiene la
operacin de la MT, y se acepta la palabra de entrada. As, en la MT no hay
estados finales. En cierto sentido el halt sera entonces el nico estado final,
slo que adems detiene la ejecucin.
Incorrecto

Puntos para este envo: 0/1.

Que significan las reglas de la forma A lambda


Seleccione al menos una respuesta.
a. Se le llaman producciones

Correcto: Producciones

Nulas: Son de la forma A lambda

nulas
b. Que estn en una gramtica,
deben permitir que el lenguaje no se
cambie o altere
c. No se pueden eliminar en una
gramtica ya que si se hiciere,
modifican el lenguaje
d. Generan lenguajes que contienen
la palabra vaca
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question2
Puntos: 1

Que opciones son verdaderas al analizar la siguiente gramtica.

Seleccione al menos una respuesta.


a. Genera el lenguaje que acepta cadenas como: {bacab, bbbc, aaac,
aabcbb}
b. Las cadenas que puede aceptar corresponden a cadenas de forma
wcv, donde w y v son cadenas de as bs y w y v tienen la misma
longitud sin importar si v o wsoon inversas simultneamente.

c. Genera un lenguaje que acepta cadenas como: {aacab, aacbb,


abcbb, bbbcaba}

Correcto: El lenguaje corresponde a


cadenas de forma wcv, donde w y v son
cadenas de as y bs y w y v tienen la
misma longitud pero v no es la cadena
inversa de w

d. Las cadenas que puede aceptar corresponden a cadenas de forma


wcv, donde w y v son cadenas de as y bs y w y v tienen la misma
longitud pero v no es la cadena inversa de w
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question3
Puntos: 1

Considere la gramtica G1 = {S aS/ aA/ a, A aB/ bS, B aB/ bB, C aA/ bC}
y G2 = {S aS/ aA/ a, A bS}. Sean L1 y L2 los lenguajes generados respectivamente por G1
y G2; entonces: (Nota: el smbolo denota la relacin de inclusin estricta):
Seleccione una respuesta.
a. L1 L2
b. L1 = L2
c. L2 L1

Incorrecto

d. L1 L2
Incorrecto

Puntos para este envo: 0/1.


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

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

Incorrecto. La ambigedad es una propiedad


indeseada en los lenguajes de programacin.
Cada instruccin debe tener solo una

interpretacin.
d. Una gramtica es ambigua si genera alguna
sentencia ambigua

La ambigedad es una propiedad indeseada en los lenguajes de programacin.


Cada instruccin debe tener solo una interpretacin.
Incorrecto

Puntos para este envo: 0/1.


Question5
Puntos: 1

Una gramtica independiente del contexto (GIC) genera un lenguaje


independiente del contexto (LIC), lo que indica que hay LIC que no son
lenguajes regulares y por lo tanto:
Seleccione una respuesta.
a. El conjunto de los LIC contiene al conjunto de
los lenguajes regulares.
b. El conjunto de los lenguajes regulares contiene
al conjunto de los LIC.
c. El conjunto de los lenguajes regulares y el
conjunto de los LIC son conjuntos independientes.

Incorrecto: Los lenguajes generados por una


GIC son llamados Lenguajes Independientes del
Contexto (LIC).

d. El conjunto de los lenguajes regulares contiene


al conjunto de las GIC.

Una gramtica independiente del contexto (GIC) es una cudrupla G=(N, , S,


P), donde: N: es una coleccin finita (no vaca) de smbolos no terminales. :
es un alfabeto. S: es un no terminal llamado smbolo inicial. P: un conjunto de
producciones tal que P N (N )*. Los lenguajes generados por una GIC son
llamados Lenguajes Independientes del Contexto (LIC)
Incorrecto

Puntos para este envo: 0/1.


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

una sola a

d. La gramtica est representada como G = { S --->lambda |


aS}
Incorrecto

Puntos para este envo: 0/1.


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

Incorrecto

por gramticas de tipo 3


Incorrecto

Puntos para este envo: 0/1.


Question8
Puntos: 1

La combinacin de autmatas se demostr en los Autmatas Finitos de la


Unidad 1 en as que era viable combinar dos Autmatas que generaban el miso
lenguaje y obtener otro que genera las mismas cadenas que los autmatas
combinados.
Con referencia a los Autmatas de Pila (AP), este tema de combinacin tiene
aspectos a analizar. identifique cul es vlido para estas operaciones:
Seleccione una respuesta.
a. Solo la operacin de Unin de los lenguajes de dos AP es
permitida.
b. Se pueden obtener AP que acepten operaciones de Unin y
Concatenacin de los lenguajes aceptados por los Autnomas de
Pila dados.
c. Las operaciones de combinar AP solo es viable cuando los dos Incorrecto
Autnomas leen el mismo alfabeto.
d. Un AP se puede combinar con una MT siempre y cuando lean
y acepten el mismo lenguaje.

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

Puntos para este envo: 0/1.


Question9
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 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.
b. Simular su ejecucin, listando las situaciones sucesivas en
que se encuentra, mediante una tabla llamada traza de
ejecucin
c. Simularlo en JFLAP con la cadena vaca Lambda para
determinar si la pila inicia o no.

Correcto

d. Simular su ejecucin en una MT que se comporta de igual


forma

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.


Question10
Puntos: 1

Si a un Autmata se le adiciona un almacenamiento auxiliar, se est


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

Aadir al AF un almacenamiento auxiliar, que llamaremos pila, donde se


podran ir depositando caracter por caracter cadenas arbitrariamente grandes,
es el primer paso a la construccin de un AP a partir de un simple AF.
Incorrecto

Puntos para este envo: 0/1.


Question11
Puntos: 1

Que apreciaciones son ciertas con referencia a lo que describe el siguiente rbol de derivacin:
Seleccione al menos una respuesta.
a. La ER que representa el lenguaje que acepta ese rbol
de derivacin es ab*c
b. Acepta el lenguaje de las palabras que empiezan por S
y terminan en una o muchas As. La ER que lo
representa es SA*
c. Acepta el lenguaje de las palabras que empiezan por
Correcto
a, terinan por c y adems en medio de estas dos letras
pueden haber una b o muchas bs
d. Este rbol de derivacin es producto de la gramtica
lineal por la derecha: S >aA | A ---> bA | c
Parcialmente correcto

Puntos para este envo: 0.3/1.


Question12
Puntos: 1

La relacin entre un AP y un LLC (Lenguaje Libre de contexto) permite que dada una Gramtica G, existe
entonces un AP que acepta exactamente el lenguaje generado por G.
Dado el siguiente autmata de pila (AP) cuyo funcionamiento se representa en la siguiente tabla, identifique
la gramtica correcta y sus reglas que aceptan el LLC dado por el AP.

Seleccione una respuesta.


a. S > 0A0 | 1S2 | 10
b. S > 0A0 | 1S0 | 2 | 0
c. S > 0A0 | 1S1 | 2
d. S > 0A0 | 1S2 | 1 | 0

Incorrecto

Puntos para este envo: 0/1.


Question13
Puntos: 1

Incorrecto: En la pila lo que falta por leer viene siendo la


cadena que se evala .Esta gramtica no es la que
recorre el rbol que permite esa salida.

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

Correcto

d. La gramtica es equivalente a S0S, S 1S, S


Parcialmente correcto

Puntos para este envo: 0.3/1.


Question14
Puntos: 1

Dada la gramtica S aS; S aSbS; S . Indique cul de las siguientes afirmaciones es falsa:
Seleccione una respuesta.
a. El lenguaje generado por la gramtica es estructurado por
frases
b. La cadena {b} es rechazada
c. Para cualquier prefijo de una cadena generada por la
Esta afirmacin es correcta: ejemplo la
gramtica se verifica que el nmero de letras a es mayor o
cadena {aabbb} no es aceptada
igual al nmero de letras b. Prefijo de una cadena w es toda
cadena no vaca x para la que existe una cadena u tal que w
= xu
d. Cualquier cadena generada por la gramtica contiene una
subcadena no vaca donde el nmero de letras a es igual al
nmero de letras b
Incorrecto

Puntos para este envo: 0/1.

Question15
Puntos: 1

Sea M un autmata de pila. Indique cul de las siguientes afirmaciones es falsa:


Seleccione una respuesta.
a. Sea L={a, ba}. L puede ser aceptado por un autmata Esta afirmacin es verdadera ya que L es un
de pila determinista que siempre llegue a los estados de lenguaje regular
aceptacin con pila vaca

b. Un autmata de Pila reconoce lenguajes que sean


generados por gramticas de tipo2.
c. Si M es un autmata de pila determinista que siempre
llega a los estados de aceptacin con pila vaca,
entonces L(M) no puede ser aceptado por un autmata
de pila no determinista
d. Sea L={a, ab}. L puede ser aceptado por un autmata
de pila determinista que siempre llegue a los estados de
aceptacin con pila vaca
Incorrecto

Puntos para este envo: 0/1.


1
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 = Conjunto de todas las cadenas sobre el

Incorrecto

alfabeto excepto la vaca.


c. 0 = {lambda} Conjunto cuyo nico elemento es la
palabra vaca.
d. + = Conjunto de todas las cadenas positivas
excepto la vaca

La longitud de una cadena que se denota como || es el nmero de letras


que aparecen en . A la cadena que no tiene smbolos o que es lo mismo decir
que tiene longitud cero, se le llama palabra vaca. Si es un alfabeto, se le
llama n al conjunto de todas las palabras de longitud n sobre . La estrella *
genera el conjunto de todas las cadena de cualquier longitud sobre . Si se
analiza + esta representa al conjunto de todas las cadenas sobre el alfabeto
excepto la vaca.
Incorrecto

Puntos para este envo: 0/1.


Question2
Puntos: 1

Dada la siguiente gramtica regular G , identifique el conjunto de cadenas o palabras vlidas que puede
generar el Autmata Finito que lo representa: (Para el desarrollo del ejercicio se sugiere graficar o recrear el
autmata)
S aA | bA

A aB | bB | a
B aA | bA
Seleccione una respuesta.
a. El conjunto de cadenas que pueda generar la ER Incorrecto: Las cadenas no son aceptadas
= a*b*a

cuando se recorre la gramtica.

b. {a,b}
c. {baaaa, aaaaa, bba}
d. {aa, aaaa, bbba, ba, bba, baaa, baba}
Incorrecto

Puntos para este envo: 0/1.


Question3
Puntos: 1

Los AP tienen ciertos comportamientos y asociaciones con los AF.


Seleccione las afirmaciones vlidas:
Seleccione al menos una respuesta.
a. Los autmatas de pila aceptan exactamente los LLC. Por lo
que: Si M es un AP, entonces L(M) es un LLC
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 AP son una extensin de los AF


Parcialmente correcto

Puntos para este envo: 0.3/1.


Question4
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

Incorrecto: los AP tienen mayor capacidad


de memoria

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

Puntos para este envo: 0/1.


Question5
Puntos: 1

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

Seleccione una respuesta.


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

Incorrecto

d. G = { S --->A |lambda , A ---> 0B | lambda,, B ---> lambda}


Incorrecto

Puntos para este envo: 0/1.


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

Incorrecto: Los autmatas de Pila se usan como


contadores de datos, es una aplicacin ms de
estas mquinas. De hecho este conteo es usado
para comparar otros elementos de entrada y
comportamientos.

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

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

Puntos para este envo: 0/1.


Question7
Puntos: 1

Dado un alfabeto , los smbolos , y los operadores + (unin),


(concatenacin) y * (clausura), se define una EXPRESION REGULAR
(ER) sobre el alfabeto en la que son vlidas las siguientes relaciones:
Nota. es una cadena sobre un lenguaje L
Seleccione al menos una respuesta.
a. Si = lambda entonces L (lambda) = { lambda}
b. Si = a y a pertenece entonces L () no pertenece
c. Si = entonces L () =
d. Si * es una ER entonces L (*) no es una ER

La notacin de conjuntos nos permite describir los lenguajes regulares, pero


nosotros quisiramos una notacin en que las representaciones de los
lenguajes fueran simplemente texto (cadenas de caracteres). As las
representaciones de los lenguajes regulares seran simplemente palabras de un
lenguaje (el de las representaciones correctamente formadas).

Incorrecto

Puntos para este envo: 0/1.


Question8
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. El determinismo se da cuando no hay alternativas de movimiento para Correcto
el mismo estado, usando la misma entrada y el mismo smbolo de
pila.
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.
c. 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.
d. 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.
Parcialmente correcto

Puntos para este envo: 0.3/1.


Question9
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. 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
b. Un rbol ordenado y etiquetado D es un rbol de derivacin
para una gramtica libre de contexto G(A)

c. La representacin de las derivaciones de la gramtica siempre Incorrecto


se hacen de forma vertical. Nunca de forma comprimida u
horizontal
d. 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

Una gramtica es un conjunto de reglas para formar correctamente las frases


de un lenguaje; as tenemos la gramtica del espaol, del francs, etc. La
formalizacin que presentaremos de la nocin de gramtica es debida a N.
Chomsky, y est basada en las llamadas reglas gramaticales.
Incorrecto

Puntos para este envo: 0/1.


Question10
Puntos: 1

Para que una palabra de entrada sea aceptada en un AP se deben cumplir las
condiciones siguientes:
Seleccione al menos una respuesta.
a. La pila debe tener lambda como elemento final.
b. La palabra de entrada se debe haber agotado
(consumido totalmente).
c. El AP se debe encontrar en un estado final.

Correcto: para que una palabra de entrada


sea aceptada en un AP se deben cumplir
todas las condiciones siguientes: 1. La
palabra de entrada se debe haber agotado
(consumido totalmente). 2. El AP se debe
encontrar en un estado final. 3. La pila
debe estar vaca.

d. La pila debe estar vaca.


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 qu recuerda
cada cual.
Parcialmente correcto

Puntos para este envo: 0.3/1.


1
Puntos: 1

Dada la siguiente gramtica:


S xS / S yA / S zB / A yA / A yB / B zB / B Lambda
Compuesta por los estados S, A, B y en la que los tres son estados finales o de aceptacin, analice cual
afirmacin es verdadera:
Seleccione una respuesta.

a. La gramtica no genera ningn lenguaje porque


presenta ms de un estado de aceptacin o

Incorrecto: la gramtica si genera un lenguaje y no


genera la cadena vaca.

final.
b. La gramtica no genera la cadena vaca
c. La gramtica solo genera cadenas de un smbolo
y la cadena vaca
d. La gramtica genera la cadena vaca
Incorrecto

Puntos para este envo: 0/1.


Question2
Puntos: 1

Dado el alfabeto = {a,b}, identifique cul afirmacin es falsa.


Seleccione una respuesta.
a. La expresin regular b*ab* (ab*ab*)* representa al
lenguaje de las cadenas con un nmero impar de letras
a
b. La expresin regular b*(ab*ab*)* representa al lenguaje Esto es afirmativo
de las cadenas con un nmero par de letras a
c. La expresin regular (b*ab*ab*a) * representa al
lenguaje de las cadenas con un nmero mltiplo de 3 de
letras a
d. La expresin regular b*a*b* representa al lenguaje de
las cadenas que pueden o no tener a
Incorrecto

Puntos para este envo: 0/1.


Question3
Puntos: 1

Dada la Gramtica SaS; SaSbS; S.


Indique cules de las siguientes afirmaciones no corresponden al desarrollo de
la misma o al tipo de cadenas o palabras que pueda generar.
Seleccione al menos una respuesta.
a. Las cadenas que acepta la gramtica siempre van a
empezar por a. Adems el lenguaje generado por la
gramtica es estructurado por frases
b. Las cadenas que acepta la gramtica siempre van a
empezar por b. Adems el lenguaje generado por la
gramtica es no es estructurado por frases.

Incorrecto

c. Cualquier cadena generada por la gramtica contiene


una subcadena no vaca donde algunas veces el nmero
de letras a es igual al nmero de letras b.
d. Para cualquier prefijo de una cadena generada por la
gramtica se verifica que el nmero de letras a es mayor o
igual al nmero de letras b. Prefijo de una cadena es
toda cadena no vaca x para la que existe una cadena u tal
que =xu
Las gramticas cuyas reglas son de la forma A ---> aB o bien A ---> a, donde A y B son variables, y a es un
caracter terminal. A estas gramticas se les llama regulares.
Incorrecto

Puntos para este envo: 0/1.


Question4
Puntos: 1

Cuando se disean AP o se formalizan, se utilizan notaciones grficas parecidas a la de los diagramas de los
AF. Con respecto a esto: qu aspectos de diseos son vlidos para formalizar un AP.?
Seleccione al menos una respuesta.
a. Si se da la transicin a/x/c indica que se
saca de la pila un carcter a, luego se avanza
una posicin x en la pila, y se mete c a la
pila.
b. Para que una palabra de entrada sea
Correcto: El funcionamiento de un AP indica una sintaxis
aceptada en un AP debe cumplir tres
en la que el caractr del centro o smbolo hace referencia
condiciones. Una de ellas es que el AP se debe a lo que se saca o no de la pila. Otra condicin para que
encontrar en un estado final.

la cadena sea aceptada en un AP es que la pila est


vaca,

c. Si se da la transicin a/x/c indica que se


consume de la entrada un carcter a, se
avanza una posicin x y se mete c a la
pila.
d. Si se da la transicin a/x/c indica que se
consume de la entrada un carcter a, no se
saca nada de la pila, y se mete c a la pila.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question5
Puntos: 1

Un rbol de derivacin, para una derivacin dada se construye: (seleccione que las operaciones
que son necesarias): Teniendo en cuenta el siguiente rbol.

Seleccione al menos una respuesta.


a. Todos los nodos hoja estn etiquetados con smbolos
terminales.
b. El nodo raz tiene unos hijos para cada smbolo que aparece en el
lado derecho de la produccin usada para reemplazar el smbolo
inicial.
c. Creando un nodo raz que se etiqueta con el smbolo inicial.

Correcto

d. Los nodos que no tienen hijos, deben ser etiquetados con


smbolos terminales.
Parcialmente correcto

Puntos para este envo: 0.3/1.


Question6
Puntos: 1

Para u AP, la funcin de transicin tambin se puede representar mediante un diagrama donde
los nodos representan los estados y los arcos transiciones, Dada la siguiente transicin como se
muestra en la figura, identifique las acciones correctas que hara el movimiento de la pila.

Seleccione una respuesta.


a. El estado actual es q0. La cabeza lectora apunta al
smbolo a. El tope de la pila es X que se va a sustituir

por lambda al cambiar al nuevo estado q1 y avanzar la


cabeza lectora.
b. El estado actual es q0. La cabeza lectora apunta al
Incorrecto
tope X que es donde inicia la lectura del smbolo a que
entra al pasar al estado q1 y sustituir lambda por X.
c. El estado actual es q0. La cabeza lectora apunta al
smbolo a. El tope de la pila es a como primer
smbolo a leer que se va a sustituir por lambda al
cambiar al nuevo estado q1 y avanzar la cabeza
lectora.
d. El estado actual es q0. La cabeza lectora apunta al
smbolo lambda. El recorrido de la pila es de izquierda
a derecha. El tope de la pila es X que no se modifica al
cambiar al nuevo estado q1 y avanzar la cabeza
lectora.
Incorrecto

Puntos para este envo: 0/1.


1
Puntos: 1

Acerca del comportamiento de los estados en un autmata, indique que apreciaciones son
vlidas con respecto a su funcin y comportamiento:
Seleccione al menos una respuesta.
a. Se define como el estado de un autmata es toda la
informacin necesaria en un momento dado, para poder
deducir, dado un smbolo de entrada en ese momento, cul

Correcto

ser el smbolo de salida.


b. Un estado de un autmata funciona de tal forma que
cuando reciba a su entrada una determinada cadena de
smbolos, indica si dicha cadena pertenece o no al
lenguaje
c. Un estado de aceptacin tambin puede ser inicial. Solo
para autmatas finitos no
d. Conocer el estado de un autmata, es lo mismo que
conocer toda la historia de smbolos de entrada, as como el
estado inicial. Estado en que se encontraba el autmata al

Correcto

recibir el primero de los smbolos de entrada.


Correcto

Puntos para este envo: 1/1.


Question2
Puntos: 1

Cules afirmaciones son vlidas y que surgen de un anlisis de las ER (Expresiones Regulares):
Analice los autmatas dados:

Seleccione al menos una respuesta.


a. La ER (0+1)*01 genera cadenas vlidas para el autmata A, pero no para las
del autmata B.
b. La ER (0+1)*11(01)* genera cadenas vlidas para el autmata B pero no para
las del autmata A.
c. La ER (1*00*1(00*1)*1)*1*00*1(00*1)* genera las mismas cadenas para el
Autmata A el autmata B.

d. La ER (0+1)*01 genera las mismas cadenas para el Autmata B y del


autmata A

Correcto: Ambas ER son


equivalentes y aplican para el
autmata. Se debe aplicar la
propiedad de la operacin
matemtica de la estrella de
Kleene.
Correcto: Ambas ER son
equivalentes y aplican para el
autmata. Se debe aplicar la
propiedad de la operacin
matemtica de la estrella de
Kleene.

Correcto

Puntos para este envo: 1/1.


Question3
Puntos: 1

Sean dos lenguajes L1 y L2 definidos sbre el mismo alfabeto , la operacin que se representa a
continuacin es:

L = L1L2 = {xy / x pertenece L1 y pertenece L2}


Seleccione una respuesta.
a. Unin de lenguajes
b. Asociacin de lenguajes
c. Operacin cerrada de dos lenguajes

Correcto: La concatenacin de ambos lenguajes


estar formada por todas las palabras obtenidas
al concatenar una palabra cualquiera de L1 con
otra de L2.

d. Concatenacin de lenguajes

Correcto

Puntos para este envo: 1/1.


Question4
Puntos: 1

Se pueden generar palndromos (cadenas ) sobre el alfabeto = {0,1}. Evidentemente este lenguaje tiene
infinitas cadenas
Selecciones las afirmaciones vlidas con referencia al anterior postulado.
Seleccione al menos una respuesta.
a. Los smbolos de un alfabeto, definen el tipo de lenguaje
a que pertenece.
b. Existe un lenguaje denominado el lenguaje vaco que
es un conjunto vaco y se denota por {}. El lenguaje
vaco no debe confundirse con un lenguaje que contenga

Correcto

una sola cadena.


c. = lambda cadena vaca y = 0 ; Son
palndromos
d. Los palndromos son una excepcin de los lenguajes
regulares y no hacen parte de la jerarqua de

Incorrecto: Los palndromos tienen regularidades.


Son lenguajes de tipo 3

Chomsky
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question5
Puntos: 1

Sea el autmata A = (, Q, f, q1, F) donde:


={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la funcin f vienen dada por la siguiente tabla:

Determine qu aspectos son vlidos para el autmata


Seleccione al menos una respuesta.
a. Es un Autmata Finito Determinstico (AFD)
b. Es un Autmata Finito Determinstico con lambda
transiciones
c. El lenguaje reconocido por el autmata es: a (b*b |
a*b) a*

d. El lenguaje reconocido por el autmata es: a (b* | a* )


ba*

Correcto: Es un AFND. El lenguaje que reconoce


es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para
efectos de mejor comprensin, hay que recrear o
realizar el autmata mediante un diagrama de
Moore
Correcto: Es un AFND. El lenguaje que reconoce
es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para
efectos de mejor comprensin, hay que recrear o
realizar el autmata mediante un diagrama de
Moore

Correcto

Puntos para este envo: 1/1.


Question6
Puntos: 1

Dadas las siguientes gramticas, ascielas a los enunciados que se presentan de forma correcta. Tenga en
cuenta que como Smbolo inicial se toma a S que son los estados iniciales y como smbolos no terminales
los estados en el orden de su nombramiento. El conjunto finito de smbolos terminales son los smbolos del
alfabeto del autmata.

Seleccione al menos una respuesta.


a. La Gramtica D corresponde a una representacin
vlida del lenguaje que acepta el Autmata C.
b. La Gramtica B corresponde a una representacin
vlida del lenguaje que acepta el Autmata D.

Incorrecto. La gramtica no le corresponde a los


autmatas dados

c. La Gramtica C corresponde a una representacin


vlida del lenguaje que acepta el Autmata con lambda

Correcto: La gramtica C es la de un AFND con


landa transiciones.

transiciones del Autmata E


d. La Gramtica A corresponde a una representacin
vlida del lenguaje que acepta los Autmatas A y
B.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question7
Puntos: 1

Dada la siguiente gramtica con las siguientes producciones,


S --> ab
SaSb

que derivaciones son vlidas al usar sus reglas:


Seleccione al menos una respuesta.
a. aabb

Correcto

b. ab
c. Ba
d. Bbaa
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question8
Puntos: 1

Dado el siguiente autmata: Cambie los smbolos del alfabeto asociando a = 0 y b =1 . Para las
siguientes opciones,(que estn en base 10 o decimal), convirtalas a base 2 (binario) y recorra
el autmata e identifique cul nmero acepta el autmata.

Seleccione una respuesta.


a. 182
b. 205
c. 73

d. 253

Incorrecto: equivale a la cadena 01001001 y esta no


es reconocida

Incorrecto

Puntos para este envo: 0/1.


Question9
Puntos: 1

Las siguientes cadenas:


{Lambda,aaa, bb, bbb, aabb, aba, abaaa, abbaa}
son generadas expresadas por la ER
Seleccione una respuesta.
a. ( a | b)*
b. (a + b ) *
c. (a.b)*
d. (a,b)*

Incorrecto

Incorrecto

Puntos para este envo: 0/1.


Question10
Puntos: 1

Expresiones regulares: Determine que igualdades son vlidas:


Seleccione al menos una respuesta.
a. aa+b*a = (aa+b*)a

Incorrecto

b. a+a=a
c. a(aa+b)* + a(aa+b)* = a(aa+b)*
d. a*=a*.a*=(a*)*

Correcto

Correcto: Por asociacin

Parcialmente correcto

Puntos para este envo: 0.7/1.


Question11
Puntos: 1

Dados los siguientes autmatas determine que caractersticas aplican en cuanto a su


comportamiento y diseo.

Seleccione al menos una respuesta.


a. La cadena bababbaabb la reconocen los dos
autmatas.

Correcto: esta cadena es aceptada por ambos


autmatas. Adems amas mquinas son
equivalentes

b. El autmata A es equivalente al autmata B

Correcto: aceptan el mismo lenguaje.

c. El autmata A es un AFND y reconoce el mismo

Correcto. Adems el autmata B resltate de un


proceso de equivalencia es un AFD.

lenguaje que el autmata B


d. El autmata A NO es equivalente al autmata B.
Correcto

Puntos para este envo: 1/1.


Question12
Puntos: 1

Dado el siguiente autmata, analice si es posible su minimizacin y seleccione las opciones


vlidas para su anlisis:

Seleccione al menos una respuesta.


a. Los estados q2 y q3 son equivalentes. Dado que transitan
igual para los dos smbolos del alfabeto. Por tanto se pueden
fusionar en no solo.
b. El autmata no se puede minimizar. No hay estados
equivalentes y los estados distinguibles no se pueden
modificar.

Incorrecto. El autmata se puede minimizar y


os estados equivalentes o candidatos a
comparar son q2 y q3.

c. Si es posible minimizarlos y el autmata resultante tendr

Correcto

tres estados
d. El estado final q1 es equivalente con el inicial. (teorema de
equivalencia de estados). Por tanto el autmata es candidato
a minimizarse.
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question13
Puntos: 1

Dentro de la jerarqua y clasificacin de los lenguajes (Chomsky) identifique que asociaciones


estn erradas.
Seleccione al menos una respuesta.
a. Los lenguajes que no poseen restricciones o de tipo
0, son reconocidos mediante Autmatas Finitos No
Deterministas (AFND)
b. Una gramtica regular o de tipo 3, puede generar
Autmatas finitos (AF)

Correcto: esta afirmacin es errada ya que las


gramticas generan lenguajes. Las mquinas o
autmatas reconocen es lenguajes.

c. Los lenguajes regulares pueden ser pueden ser


descritos mediante expresiones regulares (ER)

Esta afirmacin es verdadera. Un lenguaje puede


ser descrito mediante una expresin regular
(expresar de forma compacta cmo son todas las
cadenas de smbolos que le pertenecen).

d. Los lenguajes libres de contexto o de tipo 2, pueden Correcto: esta afirmacin es errada ya que un
ser generados por los autmatas de pila (AP)

lenguaje es descrito por una mquina y no


generado por la mquina.

Parcialmente correcto

Puntos para este envo: 0.7/1.


Question14
Puntos: 1

Dados los siguientes dos autmatas finitos, identifique los aspectos vlidos en cuanto a su
comportamiento.

Seleccione una respuesta.


a. Los autmatas reconocen cadenas o palabras
diferentes.
b. La cadena {bb} solo es reconocida por un autmata.
c. Corresponde a un proceso de conversin o transformacin
de un AFND a un AFD. Ambos autmatas reconocen el
mismo lenguaje
d. Los dos autmatas son producto de una gramtica libre de
contexto GLC

Correcto: El primer autmata es un AFND y


el segundo es el resultado de un proceso de
conversin a AFD

Correcto

Puntos para este envo: 1/1.


Question15
Puntos: 1

Acerca de la clasificacin de los lenguajes, identifique las afirmaciones vlidas con referencia a la
jerarqua y comportamiento de los mismos:
Seleccione al menos una respuesta.
a. Al clasificar lenguajes, no se estn clasificando mquinas que los
reconozcan, Se clasifican gramticas que los generan.
b. Segn la clasificacin de lenguajes definida por Chomsky y que la llam Correcto
jerarqua de lenguajes, los Lenguajes Regulares es la clase ms
pequea en la jerarqua, e incluye a los lenguajes ms simples. Estos se
llaman as porque sus palabras contienen regularidades o repeticiones
de los mismos componentes.
c. Los lenguajes son en s conjuntos de secuencias de smbolos y las
clases de lenguajes son conjuntos de conjuntos de secuencias de

Correcto

smbolos.
d. Se llama clase de lenguajes a conjuntos de lenguajes que comparten

Correcto

cierta propiedad dada.


Correcto

Puntos para este envo: 1/1.


1
Puntos: 1

Algunas operaciones y propiedades sobre lenguajes y ER que se pueden realizar son:


Seleccione al menos una respuesta.
a. El orden de prioridad de los operadores es, de mayor a
menor: *, , + Este orden puede alterarse mediante
parntesis, de forma anloga a como se hace con las

Correcto

expresiones aritmticas.
b. (B U C) A = (B A) U (C A)
c. La concatenacin de lenguajes sobre un alfabeto es una Correcto. Es parte de las propiedades de los
operacin cerrada, y tiene un elemento neutro que es el
lenguajes
lenguaje {lambda}.
d. A (B U C) = (A B) U (A C)
Parcialmente correcto

Puntos para este envo: 0.5/1.


Question2
Puntos: 1

Sea el Autmata Finito (AF) A= (, Q, f. q1, F) donde = {0,1} , Q = {q1, q2, q3, q4}, F= { q2} y
definimos la funcin de transicin fpor la tabla siguiente:

Indique cul es lenguaje generado por el autmata:


Seleccione una respuesta.
a. 1*(1)
b. 1(01) *
c. 0(010)*

d. 1( 1) (0)*
Incorrecto

Puntos para este envo: 0/1.


Question3
Puntos: 1

Dado el siguiente Autmata Finito (AF).

Incorrecto: Las cadenas inician con 1. Por


consiguiente la ER no es vlida.

La Expresin Regular (ER) que denota el Lenguaje que representa es.


Seleccione una respuesta.
a. xx*zx((zx+x*z)x)*
b. xz(xz)*((x*+xx*z)x)*

Incorrecto: La ER no expresa as
cadenas vlidas que acepta el
autmata.

c. xxzx((zx)*z)*
d. xx*zx((z+xx*z)x)*
Incorrecto

Puntos para este envo: 0/1.


Question4
Puntos: 1

Que representa la siguiente figura:

Seleccione una respuesta.


a. Que representa la siguiente figura:
b. Un Autmata que acepta palabras o cadenas
que contienen nicamente bs o as
c. Un Autmata de tipo AFND vlido.

d. No representa un autmata vlido por que el


mismo estado inicial es el mismo estado
final.
Correcto

Puntos para este envo: 1/1.


Question5
Puntos: 1

Correcto: Es un Autmata Finito No Determinstico


(AFND) vlido. Es una extensin vlida de un AFD.
Permite que de cada nodo del diagrama de estados salga
un nmero de flechas mayor o menor que ||

Dado los siguientes dos autmatas A y B, analice los enunciados dados e


identifique cuales son verdaderos.

Seleccione al menos una respuesta.


a. Solo el Autmata A reconoce la cadena vaca lambda
b. El Autmata A es un AFND y el Autmata B es un AFD
c. El Autmata B tiene un error de diseo. Un AF no puede

Incorrecto

tener dos estados de aceptacin


d. Los dos Autmatas reconocen el mismo Lenguaje.

Correcto: Ambos autmatas reconocen el


mismo lenguaje,

Parcialmente correcto

Puntos para este envo: 0.5/1.


Question6
Puntos: 1

Dado los autmatas M1 y M2 siguientes, cules relaciones entre estas dos mquinas son vlidas.

Seleccione al menos una respuesta.

a. Los Autmatas M1 y M2 aceptan ambos el lenguaje a Correcto: La equivalencia se da por la aceptacin

de lenguajes. Ambos aceptan el lenguaje a * y


aceptan exactamente el mismo lenguaje

*
b. Los Autmatas M1 y M2 no son equivalentes porque
ambos rechazan el lenguaje b*. La equivalencia se da
en la aceptacin de lenguajes.

c. Los Autmatas M 1 y M2 son equivalentes: M1 M2 , Correcto: La equivalencia se da por la aceptacin


por que aceptan exactamente el mismo lenguaje

de lenguajes. Ambos aceptan el lenguaje a * y


aceptan exactamente el mismo lenguaje

d. Los Autmatas M1 y M2 son iguales pero no


equivalentes
Correcto

Puntos para este envo: 1/1.


Question7
Puntos: 1

Para el siguiente Autmata Finito denotado como: A2= (E. Q, f, q1, F) donde E = {0,1}, F = {q2} y Q =
{q1, q2, q3, q4}, identifique correctamente el Lenguaje que genera y la expresin regular:

Seleccione una respuesta.


a. L = (A2 ) = {0, 001, 00100, } = { 1(01)n |n
0} La expresin regular es: 0(01) *
b. L = (A2 ) = {0, 001, 01111, } = { 1(10)n |n
0} La expresin regular es: 0(01) *
c. L = (A2 ) = {0, 111, 11100, } = { 1(10)n |n =
0} La expresin regular es: 1(01)+
d. L = (A 2) = {1, 101, 10101, } = { 1(01)n |n
0} La expresin regular es: 1(01) *
Correcto

Puntos para este envo: 1/1.

Correcto: El lenguaje generado se obtiene partiendo


del estado inicial y recorriendo todos los caminos
posibles para alcanzar el estado final

Question8
Puntos: 1

Si se considera un autmata finito M con transiciones lambda que


reconoce el lenguaje L: De la relacin entre determinista y no
determinista de los autmatas, y el comportamiento de las cadenas
vacas (lambda), es vlido afirmar
Seleccione al menos una respuesta.
a. Las transiciones lambda solo son aceptadas en la
descripcin de las gramticas.
b. Un autmata finito con transiciones lambda es un autmata
no determinista.

Correcto: Las cadenas vacas lambda son


aceptadas y suelen presentarse en AFND.

c. Siempre existe un autmata finito determinista que reconoce


un lenguaje reconocido por un autmata finito no
determinista.
d. No existe un autmata finito sin transiciones (lambda) que
reconozca L.

Incorrecto: Si es posible este tipo de


autmatas.

Parcialmente correcto

Puntos para este envo: 0.5/1.


Question9
Puntos: 1

Cules afirmaciones son vlidas cuando se trata de analizar el funcionamiento de los Autmatas Finitos (AF):
Seleccione al menos una respuesta.
a. Los AF son mquinas de memoria limitada.

Correcto: Los estados son el nico medio de


que disponen los AF para recordar los
eventos que ocurren (por ejemplo, qu
caracteres se han ledo hasta el momento);
esto quiere decir que son mquinas de
memoria limitada.

b. En una mquina de estados finitos, la funcin de transicin


almacena los datos de entrada del Autmata.
c. Los AF son mquinas de memoria amplia por ser
mquinas abstractas (no reales).
d. Los estados son el nico medio de que disponen los AF
para recordar los eventos que ocurren (por ejemplo que
caracteres se han ledo hasta el momento).

Correcto

Puntos para este envo: 1/1.


Question10
Puntos: 1

Correcto: Los estados son el nico medio de


que disponen los AF para recordar los
eventos que ocurren (por ejemplo, qu
caracteres se han ledo hasta el momento);
esto quiere decir que son mquinas de
memoria limitada.

Se disea el siguiente Autmata Finito Deterministico (AFD) para el


lenguaje
de
palabras
del
alfabeto
{a,b}
que
no
tiene
varias as seguidas. Esta solucin es defectuosa porque.

Seleccione al menos una respuesta.


a. Tiene dos finales o de aceptacin q1 y
q2
b. Hay palabras como ba, que no tienen as
seguidas y sin embargo no son aceptadas por
el AFD.

c. Hay palabras como baa, que tiene as


seguidas y sin embargo son aceptadas por el
AFD.
d. Hay palabras como baba que no tienen as
seguidas y sin embargo son aceptadas por el
AFD pero que no pertenecen al alfabeto
dado.
Parcialmente correcto

Puntos para este envo: 0.5/1.

Incorrecto: No influye la parte de diseo el hecho de los


dos estados de aceptacin. El error se fundamenta es
por la funcin de transicin.
Correcto: El "problema de diseo" de un AFD es
considerar demasiadas posibilidades. El hecho que
tenga dos estados finales o de aceptacin no es
problema y es vlido en el diseo. La palabra "baba" No
es aceptada por el autmata aunque sus elementos o
smbolos si hacen parte del alfabeto que las compone.