1

Puntos: 1
Seleccione una
respuesta.
a. No es un problema
soluble. Es un problema de
decisin
b. Mediante un autmata de
pila, pero no mediante un
autmata f inito
c. Mediante un autmata
f inito
Correcto: 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).
d. Mediante una mquina
de Turing, pero no
mediante un autmata de
pila
Un ascensor sin memoria de un edificio de cuatro plantas puede describirse:
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.
2
Puntos: 1
Seleccione al menos
una respuesta.
a. La pista inf erior 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
b. La cinta superior contiene inf ormacin correspondiente a la parte derecha de la
cinta M a partir de un punto de ref erencia dado.
Correcto: La cinta superior por orden
contiene la informacin de la parte
derecha.
c. La Mquina de Turing M que tiene una Cinta Inf inita en un sentido, puede simular a M
si tiene una cinta con dos pistas.
Correcto: La pista superior maneja un
sentido y la inferior maneja otro
sentido (direccin).
d. La pista inf erior contiene tanto la parte izquierda como la derecha de la cinta M (en
orden inverso).
Incorrecto: La cinta superior por orden
contiene la informacin de la parte
derecha.
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:
Correcto
Puntos para este envo: 1/1.
3
Puntos: 1
Seleccione al menos
una respuesta.
a. Una mquina de Turing cuyo estado inicial coincida con el estado
de parada acepta toda cadena
Correcto
b. El diseo de una MT es procedimentalmente sencillo para
programar lenguajes de mquinas reales.
Incorrecto: Por ser tan de demasiado de Bajo
Nivel no resultan prcticas para programar
Indique cul de las siguientes afirmaciones es cierta con referencia a las Mquinas de Turing:
Act 12: Leccin Evaluativa Unidad No. 3
Revisin del intento 1
Finalizar revisin
Comenzado el mircoles, 21 de mayo de 2014, 19:03
Completado el mircoles, 21 de mayo de 2014, 19:18
Tiempo empleado 14 minutos 25 segundos
Puntos 10/10
Calificacin 30 de un mximo de 30 (100%)
Comentario - Correcto: Contest la totalidad de las preguntas.
AUTOMATAS Y LENGUAJES FORMALES Perfil Salir
campus13_20141 301405A Cuestionarios Act 12: Leccin Evaluativa Unidad No. 3 Revisin
del intento 1
c. Cualquier lenguaje puede ser reconocido por una mquina de
Turing
Incorrecto
d. El diseo de las MT bsicamente es el de un autmata f inito pero
un Autmata con mayor poder de reconocimiento y proceso de
lenguajes, que tomas y f usiona aspectos de un PDA.
Correcto: Bsicamente se trata del diseo de un Autmata
con mayor poder de reconocimiento y proceso de lenguajes,
que tomas y f usiona aspectos de un AF y de un PDA.
Correcto
Puntos para este envo: 1/1.
4
Puntos: 1
Seleccione al menos
una respuesta.
a. Un PD podra ser aqul f ormulado por una pregunta (ref erida a alguna propiedad) que requiere una respuesta de tipo
si/no. Hay problemas de decisin de tipo soluble, parcialmente soluble e insoluble
Correcto
b. Se puede decir que un lenguaje es decidible por que existe una MT que los puede reconocer. Correcto
c. Mientras que los lenguajes computables son una inf inidad numerable, los lenguajes no computables son una inf inidad
no numerable.
Correcto
d. Si se presenta un lenguaje decidible, es por que hay un algoritmo que la MT reconoce. Correcto
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
Correcto
Puntos para este envo: 1/1.
5
Puntos: 1
Seleccione una
respuesta.
a. 11
b. 10
c. 00
d. 01 Correcto
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.
Correcto
Puntos para este envo: 1/1.
6
Puntos: 1
Seleccione una
respuesta.
a. La tesis de Turing implica que para todo lenguaje existe
una mquina de Turing que lo acepta, ya sea el alf abeto
f inito o inf inito.
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 f rases.
d. Todas las opciones para esta pregunta son f alsas Esta es la respuesta correcta: Existen lenguajes no
computables, que no son estructurados por frases y que
ninguna mquina de Turing acepta.
La tesis de Turing implica ciertas consideraciones: identifique la que es verdadera:
Correcto
Puntos para este envo: 1/1.
7
Puntos: 1
Seleccione al menos
una respuesta.
a. Puede contener un
caracter por celda
Correcto: En la MT la cabeza lectora es de lectura y escritura, por lo que la
cinta puede ser modificada en curso de ejecucin. Adems, 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
b. Cinta Inf inita hacia la
izquierda
Incorrecto: La cinta no es infinita hacia la izquierda, por lo que hay un cuadro
de la cinta que es el extremo izquierdo
c. Se puede escribir en ella Correcto: En la MT la cabeza lectora es de lectura y escritura, por lo que la
cinta puede ser modificada en curso de ejecucin. Adems, 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.
d. Cinta Finita hacia la
derecha, por que al
extremo izquierdo siempre
esta un topeo carcter
blanco.
Incorrecto: La cinta no es infinita hacia la izquierda, por lo que hay un cuadro
de la cinta que es el extremo izquierdo
De las siguientes caractersticas marque dos de las que corresponden con la cinta de una Mquina de Turing
La mquina de Turing (abreviado MT) tiene, como los autmatas 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, llenndose los
espacios con el caracter blanco
Correcto
Puntos para este envo: 1/1.
8
Puntos: 1
Seleccione al menos
una respuesta.
a. En una Mquina de Turing (MT) que usa
una cinta que se extiende inf initamente en
una nica direccin, generalmente est
extendida hacia la derecha.
Correcto
b. Una palabra de entrada a reconocer en
una MT se escribe smbolo por smbolo en la
cinta
Incorrecto: La palabra de entrada en la MT est escrita
inicialmente en la cinta, como es habitual en nuestros
autmatas, pero iniciando a partir de la segunda posicin de la
cinta, siendo el primer cuadro un caracter blanco.
c. No est permitido realizar ningn
movimiento hacia la izquierda a partir de la
celda del extremo izquierdo.
Correcto
d. La Mquina Universal de Turing no debe
ser diseada para realizar un clculo
especf ico, sino para procesar cualquier
inf ormacin
Correcto
Seale los aspectos de diseo vlidos de una Mquina de Turing (MT).
Correcto
Puntos para este envo: 1/1.
9
Puntos: 1
Seleccione una
respuesta.
a. Es posible que un lenguaje sea estructurado por
f rases pero no exista ninguna mquina de Turing que
se detenga exclusivamente cuando las cadenas
escritas en su cinta pertenezcan al lenguaje
b. 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
c. Cuando se desea que una MT no acepte una
palabra, simplemente se debe conf igurar para que
llegue a un estado halt de parada o stop.
d. Por ser una mquina tan simple pero a la vez tan
potente, resulta f cil que cualquier lenguaje puede ser
reconocido por una mquina de Turing
Acerca del tipo de cadenas que puede aceptar una Mquina de Turing, determine cul afirmacin es vlida.
Al disear una MT que acepte un cierto lenguaje, en realidad diseamos el autmata finito que controla la
cabeza y la cinta, el cual es un autmata con salida.
Correcto
Puntos para este envo: 1/1.
10
Puntos: 1
Seleccione al menos
una respuesta.
a. Un control f inito Correcto
b. Una cabeza lectora Correcto
c. Un alf abeto para la cinta y un alf abeto de entrada Incorrecto
d. Un cabezal de lectura y otro para escritura Incorrecto
La Mquina de Turing, y un autmata finito, tienen similitudes como: