Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Quiz Automata PDF
Quiz Automata PDF
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
b. Godel
c. Bertrand Russell
d. Neumann
Biografa de Alan Turing
Incorrecto
Turing era ateo. Reafirm sus conceptos superficiales y concretos en los que todos
los fenmenos incluyendo
el funcionamiento del cerebro humano, deben ser materialistas. Pese a ello sigui
creyendo en la
supervivencia del espritu despus de la muerte. Estas posiciones fueron dadas a
raz de:
Seleccione una respuesta.
a. A empezar estudios del cerebro humano y descubrir
que podra asociarse al funcionamiento de una
mquina mecnica y que no podra haber sido
creacin de Dios.
b. Al ver el horror de la segunda erra mundial en la que
particip como agente encubierto descifrando cdigos
e interceptando comunicaciones del ejrcito
Alemn.
c. Dada la muerte de Christopher Morcom, quin fue el Correcto: Morcom muri muy
joven de tuberculosis
primer amor. Morcom muri repentinamente el 13 de
bovina al beber leche contaminada. l fue quien a
motivacin para seguir con sus estudios, y entra en un
febrero de 1930 .
En 1936, Alonzo Churh fue director de tesis del trabajo de grado doctoral de Alan
Turing quin le
sigui sus pasos estudios en lgica y computabilidad. El nombre del trabajo
doctoral fue
Sistemas de lgica basada en ordinales sobre nmeros computables. Este tema ya lo
haba
tratado Davd Gilbert en 1928. Este trabajo es el que hoy en da ha llevado a:
Seleccione una respuesta.
a. Definir los conceptos modernos de lgica
b. Determinar las teoras de nmeros ordinales y de algoritmos.
Incorrecto
solo carcter.
d. Los alfabetos estn compuestos por cadenas. Ya
sean aceptadas o no. Ejemplo el alfabeto del
espaol latino: Una cadena vlida es {sistemas}.
Una cadena no aceptada es {temas}.
Parcialmente correcto
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
mismo lenguaje.
b. Un autmata finito no determinista (AFND) acepta una
cadena cuando es posible que su anlisis deje a la
mquina en un estado de aceptacin.
c. Un autmata finito no determinista (AFND) solo puede
utilizarse para aceptar lenguajes finitos.
d. Nunca se puede afirmar con seguridad que un
autmata finito no determinista (AFND) acepta una
cadena.
Parcialmente correcto
Incorrecto
Los Autmatas finitos no determinsticos (AFND) es una quntupla donde todos los
componentes son como
en los AFDs, estos autmatas aceptan exactamente los mismos lenguajes que los
autmatas determinsticos,
pero cuentan con una diferencia con relacin a los AFD como es.
Seleccione una respuesta.
a. El conjunto finito de estados.
b. El estado inicial.
c. El alfabeto de entrada
d. La funcin de transicin.
Correcto
Incorrecto
c. xxxzxx
d. xzxxxxzxzzx
Incorrecto
Correcto
c. r = (10) * + 1*
d. r = (1 + 0) + 1*
Correcto
Incorrecto: Conjunto
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.
c. (potencia 0) = Conjunto de
todas las cadenas sobre el
alfabeto excepto la vaca.
d. *= Conjunto de todas las
cadenas de cualquier longitud
sobre
Parcialmente correcto
b. Identificando el alfabeto.
Incorrecto
d. ( a | b)*
Incorrecto
c. a +(ab)*
d. ab +(ab)*
Correcto
Este lenguaje:
esas caractersticas.
L (G) = {a (potencia n) b (potencia n) / n>=1}
Es generado por la gramtica:
Seleccione una respuesta.
a. S ---> ab| Sab
Incorrecto
b. S ---> aSb | ab
c. S ---> Sab | aSb
d. S ---> Sa| Sb
Incorrecto
Dado los siguientes dos autmatas: determine cules afirmaciones son vlida
Correcto
c. ab
d. Ba
Parcialmente correcto
Analice e identifique cules afirmaciones son vlidas con referencia al diseo del
siguiente
autmata:
Correcto
c. 253
d. 73
Correcto
Correcto
Correcto
Correcto
de letras a
Correcto
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
Con referencia las gramticas de Tipo 2, que aspectos vlidos hacen referencia a la
forma de
generar lenguajes de tipo 2 y su comportamiento y descripcin:
Seleccione al menos una respuesta.
a. Los autmatas de pila aceptan exactamente los LLC (Lenguajes Correcto
Libres de Contexto).
b. Si M es un AP, entonces L(M) es un LLC
c. Si L es un LLC, entonces hay un AP M tal que L(M) = L
Correcto
Correcto
Correcto
Una gramtica regular G es una cudrupla G = (E, N, S, P), donde:
E : alfabeto (no vaco) de smbolos terminales
Correcto
Correcto
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
Correcto
vaca.
d. Las operaciones: f(q,a,s)y f(q,e,s) con a ,, q Q y s (pertenecen) al
alfabeto de la pila y no pueden estar simultneamente definidos o
declarados.
Parcialmente correcto
Correcto
pueden utilizarse.
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
b. A cada estado
c. A cada movimiento de la pila
d. A cada smbolo de entrada (Incluyendo la cadena
Correcto
vaca)
Considere la gramtica G1 = {S aS/ aA/ a, A aB/ bS, B aB/ bB, C aA/ bC}
y G2 = {S aS/ aA/ a, A bS}. Sean L1 y L2 los lenguajes generados respectivamente
por G1
y G2; entonces: (Nota: el smbolo denota la relacin de inclusin estricta):
Seleccione una respuesta.
a. L1 L2
b. L2 L1
c. L1 = L2
d. L1 L2
Correcto
Correcto
autmata finito
d. El lenguaje que genera la gramtica es L(G) =
Correcto
a(ba)*
Correcto
Dada la siguiente gramtica G= (VN= {S, A}, VT= {0,1}, S, P) donde P son
las producciones:
a. Regular
b. Estructurado por frases y no independiente del contexto
c. Decidible
d. Independiente del contexto no regular
Correcto
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
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
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.
Correcto
lenguaje descrito.
regular a*
Correcto
Esto es verdadero
Correcto
b. S-->a
c. S-->ABs
d. A -->sB
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
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
Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna
propiedad) que
Correcto
Correcto
c. 0011
d. 0110
Correcto
Dentro de las tesis que plasmaron Church y Turing, est una de las ms aplicadas y
demostradas hoy en da, enfocada al funcionamiento de las mquinas reales
(coputadoras). Esta
es:
Seleccione una respuesta.
a. Las mquinas reales tienen mayor poder de cmputo que las Incorrecto
Mquinas de Turing, aunque resuelvan los mismos
problemas.
b. Toda funcin computable tiene un algoritmo decidible pro
una MT
c. La mquina de Turing, tiene mayor poder de cmputo que
las reales, aunque resuelvan los mismos problemas.
d. Una MUT es funcional y eficiente tanto como una mquina
real.
Incorrecto
Cules diferencias entre una computadora Real y una mquina de Turing (MT) son
verdaderas:
Seleccione al menos una respuesta.
a. En una MT el orden de ejecucin de las instrucciones no
est definido.
b. En cuanto al orden de ejecucin de las instrucciones, En la Correcto: En Una
mquina de Turing, el orden
estructura Von Neumann el secuenciamiento lo marca el
de ejecucin de las instrucciones si est
orden de colocacin de las instrucciones en la memoria
definido, lo marca en todo instante el estado de
interna y viene asegurado por el contador de programa.
Correcto
Correcto
Correcto
Incorrecto
mquina abstracta.
b. El problema de Halting es el primer problema indecidible
Correcto
Incorrecto
tal
Correcto
b. Un control finito
Correcto
c. Un alfabeto para la cinta y un alfabeto de entrada
Incorrecto
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
Correcto
b. 10
c. 00
d. 11
Correcto
Correcto
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
Correcto
perdurado
Incorrecto
d. 110
Incorrecto
Correcto
empiece.
b. Es vlido empezar el diseo de una MT por el
diseo de un AF. Ambos son aceptadores de
lenguajes.
Correcto: Al
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
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:
Incorrecto
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
Incorrecto: En
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:
Seleccione una respuesta.
a. Establecer las nociones de lo que hoy se conoce como la Mquina Correcto
de Turing
b. Determinar las teoras de nmeros ordinales y de algoritmos.
c. Establecer los principios de la criptografa.
d. Definir los conceptos modernos de lgica
Biografa de Alan Turing
Correcto
En 1952 Ala Turing escribi lo que hoy se conoce como el primer programa de ajedrez
escrito
para una mquina (ya sea computadora mecnica o como un set de instrucciones o
algoritmo).
(En estas URLS puede ver el funcionamiento del programa):
http://www.chessgames.com/perl/chessgame?gid=1670503
http://en.chessbase.com/post/alan-turing-plays-garry-kasparov-at-che-58-years-
after-his-death
http://www.chess.com/blog/tradechess/turing---chess-engine---alan-turing
La historia cuenta algunas pruebas que Turing hizo con este programa como:
(seleccione las
verdaderas).
Seleccione al menos una respuesta.
a. El programa analizaba hasta dos jugadas previas o posibles
combinaciones para determinar la ms ptima
b. A falta de un computador o mquina real lo suficiente
potente para ejecutar el programa, el mismo Turing simulaba
el funcionamiento del PC.
c. En la figura se muestra una partida de ajedrez usando el
programa de Turing. Si la mquina (algoritmo) fue derrotado,
entonces la mquina jugaba de blanco y el humano con las
Correcto
negras.
d. El programa nunca perdi. No se pudo comprobar si era
derrotado por la mente humana, Solo hasta los tiempos
c.Manchester Mark I
d. Eniac
Biografa de Alan Turing
Incorrecto
Turing era ateo. Reafirm sus conceptos superficiales y concretos en los que todos
los fenmenos incluyendo
el funcionamiento del cerebro humano, deben ser materialistas. Pese a ello sigui
creyendo en la
supervivencia del espritu despus de la muerte. Estas posiciones fueron dadas a
raz de:
Seleccione una respuesta.
a. En 1928, con diecisis aos, al descubrir e interpretar los
trabajos de Albert Einstein
b. Al ver el horror de la segunda erra mundial en la que
particip como agente encubierto descifrando cdigos e
interceptando comunicaciones del ejrcito Alemn.
a. 1939 -1942
b. 1942 - 1945
c. 1938 - 1939
d. 1945 - 1947
Biografa de Alan Turing
Correcto
forma equivalente.
regular.
Correcto
Los Autmatas finitos no determinsticos (AFND) es una quntupla donde todos los
componentes son como
en los AFDs, estos autmatas aceptan exactamente los mismos lenguajes que los
autmatas determinsticos,
pero cuentan con una diferencia con relacin a los AFD como es.
Seleccione una respuesta.
a. El alfabeto de entrada
b. El conjunto finito de estados.
c. La funcin de transicin.
d. El estado inicial.
Incorrecto
a. (B U C) A = (B A) U (C A)
Correcto
Correcto
Parcialmente correcto
Sea el Autmata Finito (AF) A= (, Q, f. q1, F) donde = {0,1} , Q = {q1, q2, q3,
q4}, F= { q2} y
definimos la funcin de transicin fpor la tabla siguiente:
Indique cul es lenguaje generado por el autmata:
Seleccione una respuesta.
a. 1(01) *
b. 1*(1)
c. 1( 1) (0)*
d. 0(010)*
Correcto
Dado los autmatas M1 y M2 siguientes, cules relaciones entre estas dos mquinas
son vlidas.
en la aceptacin de lenguajes.
d. Los Autmatas M1 y M2 son iguales pero no
equivalentes
Parcialmente correcto
Incorrecto: Es un AFD
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:
Correcto
d. xzxxxxzxzzx
Incorrecto
Correcto
Para el siguiente autmata determine cuales afirmaciones son vlidas cando se trata
de evaluar
que cadenas acepta el autmata.
Seleccione al menos una respuesta.
a. Si una cadena tiene menos de 5 unos, entonces tiene
un nmero par de unos.
b. Si una cadena tiene 5 unos o ms, entonces contiene Correcto: Al recorrer el
autmata, se confirma la
un nmero impar de unos.
descritos en la cadena
Parcialmente correcto
Incorrecto
d. La ER que lo representa es: (b*ab*a)*b*ab*
Incorrecto
Cual expresin regular (ER) representa el lenguaje que contiene una subcadena 11
Seleccione una respuesta.
a. (((01)*+(01)*0)+((10)*+(10)*1))
b. 10*0+1(0,1)*
c. ((0+1))*,1,1 . ((0+1))*
d. (1,0)*+(0,1)*01
Correcto
Correcto
d. Conmutativa
Correcto
c. Unin de lenguajes
d. Asociacin de lenguajes
Incorrecto
Dados los siguientes dos autmatas finitos, identifique los aspectos vlidos en
cuanto a su
comportamiento.
b. Identificando el alfabeto.
Correcto
c. (0+1+0*)
d. (10 + 0)
Correcto
Incorrecto
Parcialmente correcto
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.
Correcto
Correcto
Correcto
Correcto
Dado los siguientes dos autmatas: determine cules afirmaciones son vlida
autmata A.
Correcto
Correcto
Chomsky
c. = lambda cadena vaca y = 0 ; Son
palndromos
d. Los smbolos de un alfabeto, definen el tipo de lenguaje
a que pertenece.
Parcialmente correcto
Los Autmatas de Pila (AP) funcionan de manera que el ultimo carcter que se
almacena en ella es el primero en salir (LIFO por las siglas en ingls), como
si se apilaran platos uno encima de otro, y naturalmente el primero que
quitaremos es el ltimo que hemos Colocado. Otros aspectos vlidos de su
funcionamiento son:
Seleccione al menos una respuesta.
a. Sin importar si la pila est vaca o no,
este siempre har un movimiento.
Incorrecto: La
Incorrecto: Se
Con referencia las gramticas de Tipo 2, que aspectos vlidos hacen referencia a la
forma de
generar lenguajes de tipo 2 y su comportamiento y descripcin:
Seleccione al menos una respuesta.
a. Si L es un LLC, entonces hay un AP M tal que L(M) = L
b. Si M es un AP, entonces L(M) es un LLC
c. Las producciones son de la forma: A - aa Dado que hay un
Correcto
Incorrecto
Correcto
Correcto
pueden utilizarse.
c. Producciones de tipo GIC con un solo nodo terminal
d. Formas de LIC
Incorrecto
Correcto
Dado el siguiente autmata finito (AF), reconoce el lenguaje generado por la
gramtica:
Incorrecto
Incorrecto
Las Gramticas regulares pueden ser de dos formas: Lineales por la derecha y
Lineales por la izquierda. Tambin pueden ser ambiguas si existen dos rboles
de derivacin distintos para una misma palabra. Dada la Gramtica G = {S,
A}, T= {0,1} representada en los dos rboles de derivacin siguiente,
identifique el tipo de producciones y el lenguaje que generan:
Seleccione al menos una respuesta.
a. El rbol de Derivacin A representa una
Incorrecto:
gramtica lineal por la izquierda y genera el lenguaje
El rbol de Derivacin A
representa una gramtica lineal por la
derecha
0(10)*
b. El rbol de Derivacin A no es lineal, es ambigua
(puede tener producciones por la izquierda y la
derecha) y genera el lenguaje (10)*
Incorrecto: El
rbol de Derivacin A
representa una gramtica lineal por la
derecha
Incorrecto
excepto la vaca
d. 0 = {lambda} Conjunto cuyo nico elemento es
Correcto
la palabra vaca.
Incorrecto
Incorrecto
Correcto
Correcto
c. A cada estado
d. A cada smbolo de entrada (Incluyendo la cadena
Correcto
vaca)
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
Incorrecto
autmatas finitos
Incorrecto
Que apreciaciones son ciertas con referencia a lo que describe el siguiente rbol
de derivacin:
Seleccione al menos una respuesta.
a. La ER que representa el lenguaje que acepta ese
Correcto
Incorrecto
representa es SA*
d. Este rbol de derivacin es producto de la gramtica Correcto
lineal por la derecha: S >aA | A ---> bA | c
Parcialmente correcto
Si una gramtica independiente del contexto tiene todas sus reglas de la forma: A
wB, o bien
de la forma A w, donde w es una cadena de uno o ms terminales, y A y Bson
smbolos no
terminales, entonces el lenguaje generado por dicha gramtica es:
Seleccione una respuesta.
a. Independiente del contexto no regular
b. Regular
c. Decidible
d. Estructurado por frases y no independiente del contexto
Correcto
Correcto
Una gramtica independiente del contexto (GIC) genera un lenguaje
independiente del contexto (LIC), lo que indica que hay LIC que no son
lenguajes regulares y por lo tanto:
Seleccione una respuesta.
a. El conjunto de los lenguajes regulares y el
conjunto de los LIC son conjuntos independientes.
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
Incorrecto
b. (*)*
c.
d.
Dado el lenguaje L = {a, abb, ba, bbba, b} indique cuntas cadenas de longitud
estrictamente
menor que 3 hay en L*:
Seleccione una respuesta.
a. 6
b. 7
c. 4
d. 5
Correcto
Correcto
Correcto
Correcto
Puntos: 1
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.
Dada la siguiente gramtica G= (VN= {S, A}, VT= {0,1}, S, P) donde P son
las producciones:
00100
Correcto
Correcto
b. Estado no cambia.
Dentro de las tesis que plasmaron Church y Turing, est una de las ms aplicadas y
demostradas hoy en da, enfocada al funcionamiento de las mquinas reales
(coputadoras). Esta
es:
Seleccione una respuesta.
a. Las mquinas reales tienen mayor poder de cmputo que las Incorrecto
Mquinas de Turing, aunque resuelvan los mismos
problemas.
b. Toda funcin computable tiene un algoritmo decidible pro
una MT
c. Una MUT es funcional y eficiente tanto como una mquina
real.
d. La mquina de Turing, tiene mayor poder de cmputo que
las reales, aunque resuelvan los mismos problemas.
Incorrecto
Las transiciones de una Mquina de Turing de varias cintas (MT), tienen las
siguientes caractersticas:
Seleccione al menos una respuesta.
a. La transicin solo afecta a una cinta (escribir o
desplazar).
b. La transicin depende de los smbolos actuales de
todas las cintas.
Incorrecto
simultneamente
d. La transicin le asigna el carcter de entrada a las
Incorrecto
dems cintas
Parcialmente correcto
Correcto
insoluble
c. Si se presenta un lenguaje decidible, es por que hay un algoritmo
Correcto
que la MT reconoce.
d. Se puede decir que un lenguaje es decidible por que existe una
MT que los puede reconocer.
Parcialmente correcto
Correcto
Question2
Puntos: 1
Incorrecto: En
todos lo alcanzan.
Correcto
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:
pistas.
c. La pista inferior y superior leen los datos simultneamente
en ambos sentidos. Luego y dependiendo de los estado
repetitivos, se detiene una pista y contina la que menos
celdas tenga ocupada.
Incorrecto
d. La cinta superior contiene informacin correspondiente a la
parte derecha de la cinta M a partir de un punto de referencia
dado.
Parcialmente correcto
Correcto
Incorrecto
tal
Correcto: Al
La Mquina de Turing es un
mecanismo de computacin notoriamente
primitivo, y sin embargo permite llevar a cabo
cualquier cmputo que podamos hacer en
nuestro PC
Parcialmente correcto
Correcto
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
Acerca del tipo de cadenas que puede aceptar una Mquina de Turing,
determine cul afirmacin es vlida.
Seleccione una respuesta.
a. Una mquina de Turing cuyo estado inicial coincida con el
estado de parada acepta toda cadena
b. Por ser una mquina tan simple pero a la vez tan potente,
resulta fcil que cualquier lenguaje puede ser reconocido por una
mquina de Turing
c. Es posible que un lenguaje sea estructurado por frases pero no Incorrecto
exista ninguna mquina de Turing que se detenga exclusivamente
cuando las cadenas escritas en su cinta pertenezcan al
lenguaje
d. Cuando se desea que una MT no acepte una palabra,
simplemente se debe configurar para que llegue a un estado halt
de parada o stop.
Indique cul de las siguientes afirmaciones es cierta con referencia a las Mquinas
de Turing:
Seleccione al menos una respuesta.
a. El diseo de una MT es procedimentalmente sencillo Incorrecto: Por ser tan de
demasiado de Bajo
para programar lenguajes de mquinas reales.
Nivel no resultan prcticas para programar
b. Cualquier lenguaje puede ser reconocido por una
Incorrecto
mquina de Turing
c. Una mquina de Turing cuyo estado inicial coincida
con el estado de parada acepta toda cadena
d. El diseo de las MT bsicamente es el de un
autmata finito pero un Autmata con mayor poder de
reconocimiento y proceso de lenguajes, que tomas y
Correcto
Incorrecto
smbolos pares
d. La mquina entra en un bucle y no termina nunca.
Correcto: Producciones
nulas
b. Que estn en una gramtica,
deben permitir que el lenguaje no se
cambie o altere
c. No se pueden eliminar en una
gramtica ya que si se hiciere,
modifican el lenguaje
d. Generan lenguajes que contienen
la palabra vaca
Parcialmente correcto
Considere la gramtica G1 = {S aS/ aA/ a, A aB/ bS, B aB/ bB, C aA/ bC}
y G2 = {S aS/ aA/ a, A bS}. Sean L1 y L2 los lenguajes generados respectivamente
por G1
y G2; entonces: (Nota: el smbolo denota la relacin de inclusin estricta):
Seleccione una respuesta.
a. L1 L2
b. L1 = L2
c. L2 L1
Incorrecto
d. L1 L2
Incorrecto
una sola a
Incorrecto
por gramticas de tipo 3
Incorrecto
Correcto
d. Simular su ejecucin en una MT que se comporta de igual
forma
Que apreciaciones son ciertas con referencia a lo que describe el siguiente rbol
de derivacin:
Seleccione al menos una respuesta.
a. La ER que representa el lenguaje que acepta ese rbol
de derivacin es ab*c
b. Acepta el lenguaje de las palabras que empiezan por S
y terminan en una o muchas As. La ER que lo
representa es SA*
c. Acepta el lenguaje de las palabras que empiezan por
Correcto
a, terinan por c y adems en medio de estas dos letras
pueden haber una b o muchas bs
d. Este rbol de derivacin es producto de la gramtica
lineal por la derecha: S >aA | A ---> bA | c
Parcialmente correcto
Puntos para este envo: 0.3/1.
Question12
Puntos: 1
La relacin entre un AP y un LLC (Lenguaje Libre de contexto) permite que dada una
Gramtica G, existe
entonces un AP que acepta exactamente el lenguaje generado por G.
Dado el siguiente autmata de pila (AP) cuyo funcionamiento se representa en la
siguiente tabla, identifique
la gramtica correcta y sus reglas que aceptan el LLC dado por el AP.
Incorrecto
Correcto
Question15
Puntos: 1
Incorrecto
b. {a,b}
c. {baaaa, aaaaa, bba}
d. {aa, aaaa, bbba, ba, bba, baaa, baba}
Incorrecto
Correcto
Incorrecto
Para que una palabra de entrada sea aceptada en un AP se deben cumplir las
condiciones siguientes:
Seleccione al menos una respuesta.
a. La pila debe tener lambda como elemento final.
b. La palabra de entrada se debe haber agotado
(consumido totalmente).
c. El AP se debe encontrar en un estado final.
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
Incorrecto
c. Cualquier cadena generada por la gramtica contiene
una subcadena no vaca donde algunas veces el nmero
de letras a es igual al nmero de letras b.
d. Para cualquier prefijo de una cadena generada por la
gramtica se verifica que el nmero de letras a es mayor o
igual al nmero de letras b. Prefijo de una cadena es
toda cadena no vaca x para la que existe una cadena u tal
que =xu
Las gramticas cuyas reglas son de la forma A ---> aB o bien A ---> a, donde A y B
son variables, y a es un
caracter terminal. A estas gramticas se les llama regulares.
Incorrecto
Un rbol de derivacin, para una derivacin dada se construye: (seleccione que las
operaciones
que son necesarias): Teniendo en cuenta el siguiente rbol.
Seleccione al menos una respuesta.
a. Todos los nodos hoja estn etiquetados con smbolos
terminales.
b. El nodo raz tiene unos hijos para cada smbolo que aparece en el
lado derecho de la produccin usada para reemplazar el smbolo
inicial.
c. Creando un nodo raz que se etiqueta con el smbolo inicial.
Correcto
Correcto
Correcto
Correcto
d. Concatenacin de lenguajes
Correcto
Correcto
Chomsky
Parcialmente correcto
Correcto
Correcto
b. ab
c. Ba
d. Bbaa
Parcialmente correcto
d. 253
Incorrecto
Incorrecto
Incorrecto
b. a+a=a
c. a(aa+b)* + a(aa+b)* = a(aa+b)*
d. a*=a*.a*=(a*)*
Correcto
Parcialmente correcto
Correcto
tres estados
d. El estado final q1 es equivalente con el inicial. (teorema de
equivalencia de estados). Por tanto el autmata es candidato
a minimizarse.
Parcialmente correcto
Parcialmente correcto
Dados los siguientes dos autmatas finitos, identifique los aspectos vlidos en
cuanto a su
comportamiento.
Correcto
smbolos.
d. Se llama clase de lenguajes a conjuntos de lenguajes que comparten
Correcto
Correcto
expresiones aritmticas.
b. (B U C) A = (B A) U (C A)
c. La concatenacin de lenguajes sobre un alfabeto es una Correcto. Es parte de las
propiedades de los
operacin cerrada, y tiene un elemento neutro que es el
lenguajes
lenguaje {lambda}.
d. A (B U C) = (A B) U (A C)
Parcialmente correcto
Sea el Autmata Finito (AF) A= (, Q, f. q1, F) donde = {0,1} , Q = {q1, q2, q3,
q4}, F= { q2} y
definimos la funcin de transicin fpor la tabla siguiente:
Indique cul es lenguaje generado por el autmata:
Seleccione una respuesta.
a. 1*(1)
b. 1(01) *
c. 0(010)*
d. 1( 1) (0)*
Incorrecto
Incorrecto: La ER no expresa as
cadenas vlidas que acepta el
autmata.
c. xxzx((zx)*z)*
d. xx*zx((z+xx*z)x)*
Incorrecto
Incorrecto
Parcialmente correcto
Dado los autmatas M1 y M2 siguientes, cules relaciones entre estas dos mquinas
son vlidas.
*
b. Los Autmatas M1 y M2 no son equivalentes porque
ambos rechazan el lenguaje b*. La equivalencia se da
en la aceptacin de lenguajes.
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:
Parcialmente correcto
Correcto