Act 12: Lección Evaluativa Unidad No.

3
Revisión del intento 1
Finalizar revisión

Tiempo empleado 21 minutos 46 segundos

Puntos 9/10
Calificación 27 de un máximo de 30 (90%)
Comentario - Correcto: Contestó la totalidad de las preguntas.

Question1
Puntos: 1

De las siguientes características marque dos de las que corresponden con la

cinta de una Máquina de Turing

Seleccione al menos una respuesta.

a. Cinta Finita hacia la derecha, por

que al extremo izquierdo siempre esta
un topeo carácter blanco.
b. Puede contener un caracter por
celda
c. Se puede escribir en ella
d. Cinta Infinita hacia la izquierda
Correcto: En la MT la cabeza lectora es de lectura y
escritura, por lo que la cinta puede ser modificada en
curso de ejecución. Además, en la MT la cabeza se
mueve bidireccionalmente (izquierda y derecha), por lo
que puede pasar repetidas veces sobre un mismo
segmento de la cinta
Correcto: En la MT la cabeza lectora es de lectura y
escritura, por lo que la cinta puede ser modificada en
curso de ejecución. Además, en la MT la cabeza se
mueve bidireccionalmente (izquierda y derecha), por lo
que puede pasar repetidas veces sobre un mismo
segmento de la cinta.

La máquina de Turing (abreviado MT) tiene, como los autómatas finitos, un

control finito, una cabeza lectora y una cinta donde puede haber caracteres, y
donde eventualmente viene la palabra de entrada. La cinta es de longitud
infinita hacia la derecha, hacia donde se extiende indefinidamente, llenándose
los espacios con el caracter blanco
Correcto
Puntos para este envío: 1/1.
Question2
Puntos: 1

La Máquina de Turing, y un autómata finito, tienen similitudes como:

Seleccione al menos una respuesta.

 a. Un alfabeto para la cinta y un alfabeto de entrada Incorrecto

b. Una cabeza lectora Correcto

c. Un cabezal de lectura y otro para escritura Incorrecto

d. Un control finito Correcto

Máquina de Turing (abreviado MT) tiene, como los autómatas que hemos visto
antes, un control finito, una cabeza lectora y una cinta donde puede haber
caracteres, y donde eventualmente viene la palabra de entrada
Correcto
Puntos para este envío: 1/1.

Question3
Puntos: 1

Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los “Problemas de
decisión” (PD).
Que aspectos en análisis son válidos para apoyar esta teoría

Seleccione al menos una respuesta.

a. Se puede decir que un lenguaje es decidible por que existe Correcto

una MT que los puede reconocer.
b. Si se presenta un lenguaje decidible, es por que hay un Correcto
algoritmo que la MT reconoce.
c. Un PD podría ser aquél formulado por una pregunta (referida a Correcto
alguna propiedad) que requiere una respuesta de tipo “si/no”.
Hay problemas de decisión de tipo “soluble”, “parcialmente
soluble” e “insoluble
d. Mientras que los lenguajes computables son una infinidad Correcto
numerable, los lenguajes no computables son una infinidad no
numerable.

Correcto
Puntos para este envío: 1/1.
Question4
Puntos: 1

Con referencia alas (MT) Máquinas de Turing, indique cuál afirmación es cierta
cuando de reconocer lenguajes se trata:

Seleccione una respuesta.

a. Una máquina de Turing (MT) cuyo estado inicial coincida

con el estado de parada, acepta toda cadena.
b. Una Máquina de Turing (MT) no puede aceptar el lenguaje Incorrecto: Las MT pueden aceptar este
de palíndromos, por que entraría en un ciclo repetitivo sin tipo de lenguajes.
encontrar un estado “Halt”.
 c. Una Máquina de Turing (MT) acepta su entrada si,
partiendo de la configuración inicial, durante el cómputo
alcanza la configuración aceptadora.
d. Cualquier Lenguaje puede ser reconocido por una
Máquina de Turing (MT)

Incorrecto
Puntos para este envío: 0/1.
Question5
Puntos: 1

Un ascensor sin memoria de un edificio de cuatro plantas puede describirse:

Seleccione una respuesta.

a. No es un problema soluble. Es un problema

de decisión
b. Mediante un autómata de pila, pero no
mediante un autómata finito

c. Mediante un autómata finito Correcto: Al no tener memoria, el ascensor es

una máquina que experimenta una transición
de estado como función exclusiva del estado
en que se encuentra y el evento que recibe
(botón pulsado por un usuario).
d. Mediante una máquina de Turing, pero no
mediante un autómata de pila
Al no tener memoria, el ascensor es una máquina que experimenta una
transición de estado como función exclusiva del estado en que se encuentra y
el evento que recibe (botón pulsado por un usuario).
Correcto
Puntos para este envío: 1/1.

Question6
Puntos: 1

Dado los siguientes tres codificadores convolucionales, diseñados 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 código de longitud restringida:
Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (según el caso) se deben sobrescribir o
reemplazar.
Seleccione una respuesta.

a. 100

b. 110

c. 010 Correcto

d. 001

Correcto
Puntos para este envío: 1/1.

Question7
Puntos: 1

Si iniciamos la máquina de Turing siguiente con la cadena yyxyxx

Seleccione una respuesta.

a. La máquina entra en un bucle y no termina Correcto: La máquina no se detiene

nunca.

b. La máquina acepta la cadena

c. Hay una terminación anormal.

d. La máquina solo acepta cadenas con números de

símbolos pares
Decimos que en la MT se llega al “final de un cálculo” cuando se alcanza un
estado especial llamado halt en el control finito, como resultado de una
transición. Representaremos al halt por “h”. Al llegar al halt, se detiene la
operación de la MT, y se acepta la palabra de entrada. Así, en la MT no hay
estados finales. En cierto sentido el halt sería entonces el único estado final,
sólo que además detiene la ejecución.
Correcto
Puntos para este envío: 1/1.

Question8
Puntos: 1

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

verdaderas).

Seleccione al menos una respuesta.

a. Equivale a construir un programa que te diga si un Correcto

problema de ordenador finaliza alguna vez o no (entrando a
un bucle infinito, por ejemplo)
b. El problema de la parada o problema de la detención es de
hecho soluble y la Teoría de la Computación lo definió como
tal
c. El problema de “Halting” es el primer problema indecidible Correcto
mediante maquinas de Turing
d. El problema de tipo "insoluble" define que hay un algoritmo
que lo soluciona pero que no se puede llevar a una MT o una
máquina abstracta.
El problema de “Halting” es el primer problema indecidible mediante máquinas
de Turing. Equivale a construir un programa que te diga si un problema de
ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo)
Correcto
Puntos para este envío: 1/1.
Question9
Puntos: 1

Con que configuración de cinta se detendrá la máquina de Turing mostrada a continuación si comienza con la cinta configurada
como xxxΔΔΔ . Asuma el orden con que están numerados los estados para el proceso.
La "V" indica la posición en la que estaría la máquina. Para el caso de los s+ímbolos "x" estaría representado como (x)

Seleccione una respuesta.

a. xx(x)ΔVΔ Correcto: Se inicia con el estado de la

máquina en 1 con xxxΔΔΔ y finaliza en
el estado 3 con xxxΔΔΔ

b. xxxVΔΔ

c. xxxΔVV

d. xxxΔΔV

Correcto
Puntos para este envío: 1/1.
Question10
Puntos: 1

Los problemas indecidibles, son también parte del estudio de Autómatas y

lenguajes Formales. La indecibilidad de estos problemas lleva a ratificar
afirmaciones que han sido demostradas mediante algoritmos complejos
computables que concluyen en afirmaciones como:

Seleccione una respuesta.

a. Las MT por ser la máquina abstracta más poderosa, soluciona

cualquier problema que en teoría sea indecidible.
b. Hay infinitos problemas para los que no se va a tener una MT Correcto
 que 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 vacío o no, es un
problema que sí tiene solución por una MT.
Una MT que los resuelva (ni siquiera los reconozca). También se ha formulado
la tesis de Church-Turing, que determina el límite de los computadores
actuales
Correcto
Puntos para este envío: 1/1.