Act 12: Leccin Evaluativa Unidad No.

3
Revisin del intento 1
Comenzado el domingo, 11 de mayo de 2014, 22:42
Completado el domingo, 11 de mayo de 2014, 23:09
Tiempo empleado 27 minutos 8 segundos
Puntos 8/10
Calificacin 24 de un mximo de 30 (80%)
Comentario - Correcto: Contest la totalidad de las preguntas.
Question 1
Puntos: 1
Seale los aspectos de diseo vlidos de una Mquina de Turing (MT).
Seleccione al menos una respuesta.

a. En una Mquina de Turing (MT) que usa una cinta que se extiende infinitamente en
una nica direccin, generalmente est extendida hacia la derecha.

b. La Mquina Universal de Turing no debe ser diseada para realizar un clculo
especfico, sino para procesar cualquier informacin

c. No est permitido realizar ningn movimiento hacia la izquierda a partir de la celda
del extremo izquierdo.

d. Una palabra de entrada a reconocer en una MT se escribe smbolo por smbolo en
la cinta
Correcto
Puntos para este envo: 1/1.
Question 2
Puntos: 1
Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx



Seleccione una respuesta.

a. La mquina entra en un bucle y no termina nunca.


b. La mquina acepta la cadena


c. La mquina solo acepta cadenas con nmeros de smbolos pares

d. Hay una terminacin anormal.

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.
Correcto
Puntos para este envo: 1/1.
Question 3
Puntos: 1
Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE
LENGUAJES, se presentan los Problemas de decisin (PD).
Que aspectos en anlisis son vlidos para apoyar esta teora
Seleccione al menos una respuesta.

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

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

c. Si se presenta un lenguaje decidible, es por que hay un algoritmo que la MT
reconoce.

d. Se puede decir que un lenguaje es decidible por que existe una MT que los puede
reconocer.
Correcto
Puntos para este envo: 1/1.
Question 4
Puntos: 1
Con referencia alas (MT) Mquinas de Turing, indique cul afirmacin es cierta cuando de
reconocer lenguajes se trata:
Seleccione una respuesta.

a. Cualquier Lenguaje puede ser reconocido por una Mquina de Turing (MT)


b. Una mquina de Turing (MT) cuyo estado inicial coincida con el estado de parada,
acepta toda cadena.

c. Una Mquina de Turing (MT) no puede aceptar el lenguaje de palndromos, por que
entrara en un ciclo repetitivo sin encontrar un estado Halt.

d. Una Mquina de Turing (MT) acepta su entrada si, partiendo de la configuracin
inicial, durante el cmputo alcanza la configuracin aceptadora.
Incorrecto
Puntos para este envo: 0/1.
Question 5
Puntos: 1
La Mquina de Turing, y un autmata finito, tienen similitudes como:
Seleccione al menos una respuesta.

a. Una cabeza lectora


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

c. Un control finito


d. Un cabezal de lectura y otro para escritura

Mquina de Turing (abreviado MT) tiene, como los autmatas que hemos visto antes, un
control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde
eventualmente viene la palabra de entrada
Correcto
Puntos para este envo: 1/1.
Question 6
Puntos: 1
De los modelos creados para realizar cmputos y desarrollar problemas, es vlido afirmar:
Seleccione una respuesta.

a. La MT no es un modelo Computable ya que solo se basa en simulacin.


b. Las llamadas mquinas de Turing no constituyen ni el primero ni el nico
formalismo para expresar cmputos, pero s el que ms ha perdurado

c. Los modelos propuestos por Hilbert, solucionan cualquier problema "No soluble"


d. Las funciones computables hacen referencia o son iguales a afirmar que son
modelos computables.
Las llamadas mquinas de Turing no constituyen ni el primero ni el nico formalismo para
expresar cmputos, pero s el que ms ha perdurado.
Su creador, el matemtico ingls Alan Turing (1912-1954) estaba convencido de que no
exista un algoritmo para el problema de decisin planteado por Hilbert y su intencin era
demostrar dicha no existencia.

El modelo en el que se inspir fue el de una persona real llevando a cabo un clculo
mecnico, por ejemplo una multiplicacin de dos grandes nmeros en el sistema decimal.
Correcto
Puntos para este envo: 1/1.
Question 7
Puntos: 1
Dado los siguientes tres codificadores convolucionales, diseados para trabajar de forma
lineal secuencial redundante:
Se da como entrada el bit 1 en el codificador 1. Haga el recorrido completo hasta llegar a
la salida del codificador 3 y determine el valor de m los bits que quedan en la memoria
del cdigo de longitud restringida:
Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (segn el caso) se
deben sobrescribir o reemplazar.




Seleccione una respuesta.

a. 100

b. 010

c. 110

d. 001
Incorrecto
Puntos para este envo: 0/1.
Question 8
Puntos: 1
Con que configuracin de cinta se detendr la mquina de Turing mostrada a continuacin
si comienza con la cinta configurada como xxx . Asuma el orden con que estn
numerados los estados para el proceso.
La "V" indica la posicin en la que estara la mquina. Para el caso de los s+mbolos "x"
estara representado como (x)


Seleccione una respuesta.

a. xxxV


b. xxxVV


c. xxxV


d. xx(x)V
Correcto
Puntos para este envo: 1/1.
Question 9
Puntos: 1
Un ascensor sin memoria de un edificio de cuatro plantas puede describirse:
Seleccione una respuesta.

a. Mediante una mquina de Turing, pero no mediante un autmata de pila

b. Mediante un autmata finito


c. Mediante un autmata de pila, pero no mediante un autmata finito


d. No es un problema soluble. Es un problema de decisin

Al no tener memoria, el ascensor es una mquina que experimenta una transicin de estado
como funcin exclusiva del estado en que se encuentra y el evento que recibe (botn
pulsado por un usuario).
Correcto
Puntos para este envo: 1/1.
Question 10
Puntos: 1
La tesis de Turing implica ciertas consideraciones: identifique la que es verdadera:
Seleccione una respuesta.

a. Todas las opciones para esta pregunta son falsas


b. No todo proceso mecnico puede ser simulado ya sea en una mquina real o en una
a MT.

c. La tesis de Turing implica que los lenguajes ms generales que existen son los
lenguajes estructurados por frases.

d. La tesis de Turing implica que para todo lenguaje existe una mquina de Turing
que lo acepta, ya sea el alfabeto finito o infinito.
Correcto
Puntos para este envo: 1/1.