Ayuda Quiz Automata PDF

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

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
Correcto

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

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

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

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

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

Question2
Puntos: 1
La minimizacin de Autmatas, es un ejercicio comn en Automatizacin.

Identifique su concepto bsico y aplicabilidad:
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

Question3
Puntos: 1
Acerca de los autmatas finitos no deterministas (AFND), cules apreciaciones

son verdaderas cuando se analiza su comportamiento para aceptar lenguajes:
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.

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

Question5
Puntos: 1
Del tratado y temtica de Autmatas, los principales objetivos de las ciencias de la computacin es:
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

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

1
Puntos: 1
Analice el siguiente Autmata y determine cules apreciaciones son vlidas en

su anlisis:

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

Question2
Puntos: 1
Cules afirmaciones son vlidas cuando se trata de analizar el funcionamiento de los Autmatas Finitos (AF):
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.
memoria limitada.
Correcto

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.

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

Question4
Puntos: 1
Una cadena vlida para el Autmata siguiente es:
Incorrecto: bbbb no es aceptada, ni tampoco el

smbolo vaco.

a. xxxxzxzxzxzx
b. xzzxzxzx
Incorrecto: Al recorrer la cadena no

llega al estado final o halt
c. xxxzxx
d. xzxxxxzxzzx
Incorrecto

Question5
Puntos: 1
Dado el siguiente autmata, las apreciaciones verdaderas en expresiones

regulares (ER) y cadenas aceptadas son:

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

Question6
Puntos: 1
Dado el Autmata con la siguiente tabla de transicin, identifique las cadenas

que son vlidas para el lenguaje que acepta

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

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.

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

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

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

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

estn erradas.
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).

Question2
Puntos: 1
Las condiciones mnimas para poder describir un Autmata Finito Determinstico (DFA) son:
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.
dando el alfabeto.
transicin.
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

Question3
Puntos: 1
Las siguientes cadenas:

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

Question4
Puntos: 1
Para el siguiente autmata, identifique cul es la Expresin Regular (ER) que

mejor lo representa:
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

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

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

Question6
Puntos: 1
Este lenguaje:
esas caractersticas.
L (G) = {a (potencia n) b (potencia n) / n>=1}

Es generado por la gramtica:
a. S ---> ab| Sab
Incorrecto
b. S ---> aSb | ab
c. S ---> Sab | aSb
d. S ---> Sa| Sb
Incorrecto

Question7
Puntos: 1
Dado los siguientes dos autmatas: determine cules afirmaciones son vlida

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

autmata A.
Correcto

Question8
Puntos: 1
Dada la siguiente gramtica con las siguientes producciones,

S --> ab
SaSb
que derivaciones son vlidas al usar sus reglas:
a. Bbaa
b. aabb
Correcto
c. ab
d. Ba

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

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

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.

a. 205
b. 182
c. 253
d. 73
Correcto

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:

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

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

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*

Moore
d. Es un Autmata Finito Determinstico con lambda

transiciones
Correcto

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

Question14
Puntos: 1
Dado el siguiente autmata Finito, es vlido afirmar:

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*

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

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

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

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

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

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

Question4
Puntos: 1
En una Gramtica Regular, un componente de la Cuadrupla que la compone, es

el Alfabeto. Este esta caracterizado como:
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

Question5
Puntos: 1
Que aspectos son vlidos cuando se analiza el funcionamiento de los autmatas de pila (AP).
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.


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.

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

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

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

Question2
Puntos: 1
Para que una palabra de entrada sea aceptada en un AP se deben cumplir las
condiciones siguientes:
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

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

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

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

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

Question5
Puntos: 1
Los AP tienen ciertos comportamientos y asociaciones con los AF.

Seleccione las afirmaciones vlidas:
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

Question6
Puntos: 1
Cuando las gramticas son demasiado extensas y generan rboles de

derivacin grandes, se suele usar:
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

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

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

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

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

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.

Question10
Puntos: 1
Acerca del funcionamiento de un Autmata de Pila, cul de las siguientes

operaciones o comportamientosNO las hace este autmata.
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

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

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

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

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

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

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

Question5
Puntos: 1
Cual de las siguientes afirmaciones se asocia correctamente al diseo y

funcionamiento de los rboles de derivacin.
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
Question6
Puntos: 1
Cual de las siguientes afirmaciones es VERDADERA

a. Los lenguajes generados por una Gramtica
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

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

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

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

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

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

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

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

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

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

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

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

Question15
Puntos: 1
Dada la gramtica S aS; S aSbS; S . Indique cul de las siguientes afirmaciones es falsa:
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

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

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

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

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

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:

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

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

Question6
Puntos: 1
Cules diferencias entre una computadora Real y una mquina de Turing (MT) son verdaderas:
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
definido, lo marca en todo instante el 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.

c. En una computadora, el nmero de estados viene
Correcto

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

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

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

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

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

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.

a. 01
Correcto
b. 10
c. 00
d. 11
Correcto

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

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

Question5
Puntos: 1
De los modelos creados para realizar cmputos y desarrollar problemas, es

vlido afirmar:
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

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.

a. 010
b. 100
c. 001
Incorrecto
d. 110
Incorrecto

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

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

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:

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

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

Question10
Puntos: 1
Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las
computadoras reales.
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
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:
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
Correcto

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

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

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

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

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

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

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.
Correcto
a. 1939 -1942
b. 1942 - 1945
c. 1938 - 1939
d. 1945 - 1947
Correcto

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

Identifique su concepto bsico y aplicabilidad:
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

Question2
Puntos: 1
Un alfabeto es un conjunto finito de smbolos. De esta definicin

podemos afirmar correctamente:
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.

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

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

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

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.
a. El alfabeto de entrada
b. El conjunto finito de estados.
c. La funcin de transicin.
d. El estado inicial.
Incorrecto

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:

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.

Question2
Puntos: 1
Que representa la siguiente figura:

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

Question4
Puntos: 1
a. En una mquina de estados finitos, la funcin de transicin
b. Los estados son el nico medio de que disponen los AF

memoria limitada.
c. Los AF son mquinas de memoria limitada.

d. Los AF son mquinas de memoria amplia por ser
Incorrecto: Se asemejan a una Maquina Real

y estas tienen memoria limitada, finita.

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:

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

Question6
Puntos: 1
Teniendo en cuenta las clases de lenguajes propuestos por la jerarqua de Chomsky, es comn o aplica
afirmar:
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

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

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

Question8
Puntos: 1
Una caracterstica que presenta el Autmata Finito siguiente es:
Incorrecto: No son iguales

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

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:
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
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
Correcto: El lenguaje generado se obtiene partiendo

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

Question10
Puntos: 1
Una cadena vlida para el Autmata siguiente es:

a. xxxxzxzxzxzx
b. xzzxzxzx
c. xxxzxx
Incorrecto: Al recorrer la cadena no

llega al estado final o halt
d. xzxxxxzxzzx
Incorrecto

1
Puntos: 1


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

Moore
c. Es un Autmata Finito Determinstico con lambda

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

Moore
Correcto

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

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

Question3
Puntos: 1
Dado el siguiente autmata Finito, es vlido afirmar:

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

Question4
Puntos: 1
Cual expresin regular (ER) representa el lenguaje que contiene una subcadena 11
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

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:
a. Operacin cerrada
b. Distributiva
c. Asociativa
Correcto
d. Conmutativa
Correcto

Question6
Puntos: 1
continuacin es:

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

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

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

Question8
Puntos: 1
Las condiciones mnimas para poder describir un Autmata Finito Determinstico (DFA) son:
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

Question9
Puntos: 1

transicin.
dando el alfabeto.
transicin.
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:

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

Question10
Puntos: 1
Acerca del comportamiento de los estados en un autmata, indique que apreciaciones son
vlidas con respecto a su funcin y comportamiento:
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

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

Question12
Puntos: 1
Delos autmatas finitos (AF) es vlido afirmar:

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

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.

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.

Question14
Puntos: 1
Dado los siguientes dos autmatas: determine cules afirmaciones son vlida

a. Ambos son AFD y 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
c. El autmata A es un AFD pero no reconoce el mismo Correcto: Ambos autmatas son AFD y o
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

autmata A.
Correcto

Question15
Puntos: 1
infinitas cadenas

a. Existe un lenguaje denominado el lenguaje vaco que
Correcto
una sola cadena.

b. Los palndromos son una excepcin de los lenguajes

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

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

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:

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

Question3
Puntos: 1

a. Las cadenas que acepta la
gramtica siempre van a empezar por a.
Adems el lenguaje generado por la
b. Cualquier cadena generada por la
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
b.
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

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

Question5
Puntos: 1
Indique cul de las siguientes afirmaciones es falsa teniendo en cuenta el determinismo de los
autmatas finitos. (AF).
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

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


1
Puntos: 1
Cuando las gramticas son demasiado extensas y generan rboles de

derivacin grandes, se suele usar:
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

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

Question3
Puntos: 1
a. Las operaciones: f(q,a,s)y f(q,e,s) con a ,, q Q y s (pertenecen) al
declarados.
Correcto
c. La definicin de la funcin de transicin (f) requiere que haya por lo
vaca.
d. El determinismo se da cuando no hay alternativas de movimiento para
pila.

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

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

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:

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

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
a. * = Conjunto de todas las cadenas de cualquier
longitud sobre
b. 0 = Conjunto de todas las cadenas sobre el
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.

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

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.
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
Question9
Puntos: 1
Acerca del funcionamiento de un Autmata de Pila, cul de las siguientes

operaciones o comportamientosNO las hace este autmata.
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

la palabra de entrada, y el contenido de la pila
Correcto

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

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.

1
Puntos: 1
Cual de las siguientes afirmaciones se asocia correctamente al diseo y

funcionamiento de los rboles de derivacin.
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

Question2
Puntos: 1

a. Los autmatas de pila reconocen lenguajes generados
por gramticas de tipo 3
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

Question3
Puntos: 1
Que apreciaciones son ciertas con referencia a lo que describe el siguiente rbol de derivacin:
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

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

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

Question6
Puntos: 1
Cual de las siguientes afirmaciones es VERDADERA

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

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

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

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
Incorrecto

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

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

Question9
Puntos: 1
Si a un Autmata se le adiciona un almacenamiento auxiliar, se est

construyendo entonces:
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

Question10
Puntos: 1
Dado el lenguaje L = {a, abb, ba, bbba, b} indique cuntas cadenas de longitud estrictamente
menor que 3 hay en L*:
a. 6
b. 7
Correcto: L* {w L* | |w| < 3}= { , a,b,aa,ab,ba,bb}
c. 4
d. 5
Correcto

Question11
Puntos: 1
Considere la gramtica: S 0S, S 1S, S S0, S . Indique cules de las

siguientes afirmaciones son verdaderas
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

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

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

Question14
Puntos: 1
Para simular el funcionamiento de un Autmata de Pila lo ms recomendable

es hacer primero:
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.

la palabra de entrada, y el contenido de la pila.
Correcto

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

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

c. S > 0A > 00A > 001 A > 0010
Incorrecto: las producciones no aplican a la gramtica.
d. S > 0A > 00A > 001S > 0010 A >

00100
Correcto

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

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

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

Question4
Puntos: 1
Las transiciones de una Mquina de Turing de varias cintas (MT), tienen las
siguientes caractersticas:
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

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

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:
a. En una computadora, el nmero de estados viene
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

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

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.
Correcto
Question2
Puntos: 1
Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las
computadoras reales.
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

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:

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.

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

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

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

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

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

Question7
Puntos: 1
Acerca del tipo de cadenas que puede aceptar una Mquina de Turing,
determine cul afirmacin es vlida.
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

Question8
Puntos: 1
Indique cul de las siguientes afirmaciones es cierta con referencia a las Mquinas de Turing:
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.


Question9
Puntos: 1
Seale los aspectos de diseo vlidos de una Mquina de Turing (MT).

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

Question10
Puntos: 1
Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx

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
Que significan las reglas de la forma A lambda

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

Question2
Puntos: 1
Que opciones son verdaderas al analizar la siguiente gramtica.

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

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):
a. L1 L2
b. L1 = L2
c. L2 L1
Incorrecto
d. L1 L2
Incorrecto

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

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

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

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

Question7
Puntos: 1

a. Los autmatas finitos tienen un nmero finito de
estados
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

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

por dos AP dados.
Incorrecto

Question9
Puntos: 1
Para simular el funcionamiento de un Autmata de Pila lo ms recomendable

es hacer primero:
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

la palabra de entrada, y el contenido de la pila.
Correcto

Question10
Puntos: 1
Si a un Autmata se le adiciona un almacenamiento auxiliar, se est

construyendo entonces:
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

Question11
Puntos: 1
Que apreciaciones son ciertas con referencia a lo que describe el siguiente rbol de derivacin:
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

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.

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

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


Question14
Puntos: 1
Dada la gramtica S aS; S aSbS; S . Indique cul de las siguientes afirmaciones es falsa:
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
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
Question15
Puntos: 1
Sea M un autmata de pila. Indique cul de las siguientes afirmaciones es falsa:

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

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
a. * = Conjunto de todas las cadenas de cualquier
longitud sobre
b. 0 = Conjunto de todas las cadenas sobre el
Incorrecto

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

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

Question3
Puntos: 1
Los AP tienen ciertos comportamientos y asociaciones con los AF.

Seleccione las afirmaciones vlidas:
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


Question4
Puntos: 1
Respecto a la relacin entre un AF y un AP cul afirmacin es cierta:

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

por dos AP dados.
Incorrecto

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

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

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

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

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

Question8
Puntos: 1
a. El determinismo se da cuando no hay alternativas de movimiento para Correcto
pila.
c. Las operaciones: f(q,a,s)y f(q,e,s) con a ,, q Q y s (pertenecen) al
declarados.
d. La definicin de la funcin de transicin (f) requiere que haya por lo
vaca.

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

Question10
Puntos: 1
Para que una palabra de entrada sea aceptada en un AP se deben cumplir las
condiciones siguientes:
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

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.

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

Question2
Puntos: 1
Dado el alfabeto = {a,b}, identifique cul afirmacin es falsa.

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

Question3
Puntos: 1

a. Las cadenas que acepta la gramtica siempre van a
empezar por a. Adems el lenguaje generado por la
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
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
Incorrecto

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

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.

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.

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.

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

1
Puntos: 1
Acerca del comportamiento de los estados en un autmata, indique que apreciaciones son
vlidas con respecto a su funcin y comportamiento:
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

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

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

Question3
Puntos: 1
continuacin es:

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

Question4
Puntos: 1
infinitas cadenas
a. Los smbolos de un alfabeto, definen el tipo de lenguaje
a que pertenece.
b. Existe un lenguaje denominado el lenguaje vaco que
Correcto
una sola cadena.

c. = lambda cadena vaca y = 0 ; Son
palndromos
d. Los palndromos son una excepcin de los lenguajes

Chomsky

Question5
Puntos: 1


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*

Moore
Moore
Correcto

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.

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.

Question7
Puntos: 1
Dada la siguiente gramtica con las siguientes producciones,

S --> ab
SaSb
que derivaciones son vlidas al usar sus reglas:

a. aabb
Correcto
b. ab
c. Ba
d. Bbaa

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.

a. 182
b. 205
c. 73
d. 253
Incorrecto: equivale a la cadena 01001001 y esta no

es reconocida
Incorrecto

Question9
Puntos: 1
Las siguientes cadenas:

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

Question10
Puntos: 1
Expresiones regulares: Determine que igualdades son vlidas:

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

Question11
Puntos: 1
Dados los siguientes autmatas determine que caractersticas aplican en cuanto a su

comportamiento y diseo.

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.

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

Question12
Puntos: 1
Dado el siguiente autmata, analice si es posible su minimizacin y seleccione las opciones

vlidas para su anlisis:

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.

Question13
Puntos: 1
Dentro de la jerarqua y clasificacin de los lenguajes (Chomsky) identifique que asociaciones

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

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

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

Question15
Puntos: 1
Acerca de la clasificacin de los lenguajes, identifique las afirmaciones vlidas con referencia a la
jerarqua y comportamiento de los mismos:
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

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

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)

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:

a. 1*(1)
b. 1(01) *
c. 0(010)*
d. 1( 1) (0)*
Incorrecto

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.

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

Question4
Puntos: 1
Que representa la siguiente figura:

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

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.

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,

Question6
Puntos: 1
Dado los autmatas M1 y M2 siguientes, cules relaciones entre estas dos mquinas son vlidas.
a. Los Autmatas M1 y M2 aceptan ambos el lenguaje a Correcto: La equivalencia se da por la aceptacin

*
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

d. Los Autmatas M1 y M2 son iguales pero no

equivalentes
Correcto

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:

a. L = (A2 ) = {0, 001, 00100, } = { 1(01)n |n
b. L = (A2 ) = {0, 001, 01111, } = { 1(10)n |n
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
Correcto
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
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.

Question9
Puntos: 1
a. Los AF son mquinas de memoria limitada.

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

c. Los AF son mquinas de memoria amplia por ser
d. Los estados son el nico medio de que disponen los AF
Correcto

Question10
Puntos: 1

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.

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

Ayuda Quiz Automata PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Ayuda Quiz Automata PDF

Uploaded by

Copyright:

Available Formats

AUTOMATAS Y LENGUAJES FORMALES CURSO COMPLETO

Incorrecto: Recibi las enseanzas de

Puntos para este envo: 0/1.

Seleccione una respuesta.

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

Correcto: El Test de Turing nace como

c. Mtodo para determinar si una mquina puede pensar.

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

Puntos para este envo: 1/1.

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

Incorrecto: era el hecho de que: debe existir al

d. Un problema matemtico tiene finitas soluciones. Si son

Puntos para este envo: 0/1.

vital periodo de riqueza intelectual.

Puntos para este envo: 1/1.

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

Puntos para este envo: 0/1.

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

Parcialmente correcto: En Agosto de 1936

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

las teoras modernas para la programacin

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

Puntos para este envo: 0.3/1.

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

conjunto finito de smbolos. De esta definicin se

c. Por smbolo, se est haciendo referencia a un

Incorrecto: Por smbolo no se est haciendo

Puntos para este envo: 0.5/1.

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

b. Un autmata se puede minimizar siempre y

Puntos para este envo: 1/1.

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

Correcto: Corresponde a la condicin de

Puntos para este envo: 0.5/1.

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

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

Puntos para este envo: 1/1.

Incorrecto: estas son tareas de mquina que surgen del

Puntos para este envo: 0/1.

Correcto: Solo la funcin de transicin puede

Puntos para este envo: 1/1.

Analice el siguiente Autmata y determine cules apreciaciones son vlidas en

Seleccione al menos una respuesta.

combinacin (0,1) un estado nuevo.

Puntos para este envo: 0/1.

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

d. Los AF son mquinas de memoria amplia por ser

Correcto: Los estados son el nico medio de

Puntos para este envo: 1/1.

Seleccione una respuesta.

Puntos para este envo: 0/1.

Una cadena vlida para el Autmata siguiente es:

Incorrecto: bbbb no es aceptada, ni tampoco el

Seleccione una respuesta.

Incorrecto: Al recorrer la cadena no

Puntos para este envo: 0/1.

Dado el siguiente autmata, las apreciaciones verdaderas en expresiones

Seleccione al menos una respuesta.

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

Correcto: Se parte que la ER de la

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

Incorrecto: Esta asociacin no es vlida

Puntos para este envo: 1/1.

Sea el vocabulario {a,b} y la expresin regular aabb Indique cuales