Act 13: Quiz 3 Unidad No.

3
1
Puntos: 1

La forma correcta de operar una Mquina de Turing (MT) es: Seleccione una respuesta. a. Inicializacin de la Mquina / Introducir la cadena de entrada en la cinta / La cinta est en blanco para iniciar / Se posiciona la cabeza sobre la primera letra de la cadena introducida / Se pone la unidad de control en el estado inicial b. Inicializacin de la Mquina / Se pone la unidad de control en el estado inicial / La cinta est en blanco / Introducir la cadena de entrada en la cinta / Se posiciona la cabeza sobre la primera letra de la cadena introducida c. Inicializacin de la Mquina / Introducir la cadena de entrada en la cinta / La cinta est en blanco para iniciar / Se pone la unidad de control en el estado inicial / Se posiciona la cabeza sobre la primera letra de la cadena introducida d. Inicializacin de la Mquina / La cinta est en blanco / Correcto: La operacin de la MT consta de Introducir la cadena de entrada en la cinta / Se pone la unidad los siguientes pasos: 1. Lee un caracter en de control en el estado inicial / Se posiciona la cabeza sobre la la cinta . !"ect#ua una transicin de estado $. %ealiza una accin en la cinta primera letra de la cadena introducida La mquina de Turing (abreviado MT) tiene como los aut!matas que "emos visto antes un control finito una cabe#a lectora $ una cinta donde puede "aber caracteres $ donde eventualmente viene la palabra de entrada. La cinta es de longitud infinita "acia la derec"a "acia donde se e%tiende indefinidamente llenndose los espacios con el caracter blanco (que representaremos con &t'). La cinta no es infinita "acia la i#quierda por lo que "a$ un cuadro de la cinta que es el e%tremo i#quierdo como en la figura (n la MT la cabe#a lectora es de lectura $ escritura por lo que la cinta puede ser modificada en curso de e)ecuci!n. *dems en la MT la cabe#a se mueve bidireccionalmente (i#quierda $ derec"a) por lo que puede pasar repetidas veces sobre un mismo segmento de la cinta. +orrecto

Puntos para este env,o: 1-1.

.uestion2
Puntos: 1

Los ,tems que encontrar a continuaci!n constan de una afirmaci!n /(01*1(0* (tesis) $ dos postulados tambi2n /(01*1(03S identificados con P3ST4L*13 5 $ P3ST4L*13 55. 4sted debe anali#ar si los postulados se deducen l!gicamente de la afirmaci!n $ seleccionar la respuesta en su "o)a de cote)o conforme a la siguiente instrucci!n: Marque * si de la tesis se deducen los postulados 5 $ 55. Marque 6 si de la tesis se deduce el postulado 5. Marque + si de la tesis s!lo se deduce el postulado 55. Marque 1 si ninguno de los postulados se deduce de la tesis.

TESIS: La mquina de Turing es una mquina abstracta que se comporta como una extensin de los autmatas finitos, que result ser de una gran simplicidad y podero a la vez. POSTULADO I. La mquina de Turing (abreviado T! tiene, un control finito, una cabeza lectora y una cinta donde puede "aber caracteres, y donde eventualmente viene la palabra de entrada. POSTULADO II. La mquina de Turing es particularmente importante porque es la ms poderosa de todas las mquinas abstractas conocidas.

Seleccione una respuesta. a. &'CI&( C b. &'CI&( ) c. &'CI&( * d. &'CI&( + Solo se deduce el Postulado 55. Se trata de identificar el ob)etivo para el cual se creo la MT: la robuste# $ simplicidad Solo se deduce el Postulado 55. Se trata de identificar el ob)etivo para el cual se creo la MT: la robuste# $ simplicidad +orrecto Correcto

Puntos para este env,o: 1-1.

.uestion3
Puntos: 1

Las funciones computables son usadas para: Seleccione una respuesta. a. )e"inir "unciones basados en modelos. b. )e"inir algoritmos modelados. c. Simular algoritmos con "unciones modeladas d. )iscutir computabilidad sin re"erirse a ning#n modelo. Correcto:

Seg#n la Tesis de C,urc,-Turing. la clase de "unciones computables es equi/alente a la clase de "unciones de"inidas por "unciones recursi/as. clculo lambda. o algoritmos de Mar0o/ Las funciones computables son usadas para discutir computabilidad sin referirse a ning7n modelo de computaci!n concreto como el de la mquina de Turing o el de la mquina de registros. +orrecto

Puntos para este env,o: 1-1.

.uestion4

Puntos: 1

4na Mquina de Turing (MT) se puede comportar como un aceptador de un lengua)e. Si colocamos una cadena 8 en la cinta situamos la cabe#a de lectura-escritura sobre el s,mbolo del e%tremo i#quierdo de la cadena 8 $ ponemos en marc"a la mquina a partir de su estado inicial. Para que 8 sea aceptada se requiere: (seleccione una opci!n). Seleccione una respuesta. a. 1ue se complete un clico as2: Inmediatamente despu3s del primer ciclo de lectura del cabezal a la cinta. b. Si despu3s de una secuencia de mo/imientos. la Mquina de Turing 4mt5 llega a un estado "inal 6 para. Correcto: 'or tanto 7 es aceptada. Si q7 8 71p7 para alg#n estado "inal p 6 unas cadenas 71 6 7 .

c. 1ue la cinta no ,a6a sido inicializada. d. 1ue el estado "inal contenga la cadena /ac2a o nula. Los lengua)es formales que son aceptados por una mquina de Turing son e%actamente aquellos que pueden ser generados por una gramtica formal. (l clculo Lambda es una forma de definir funciones. Las funciones que pueden se computadas con el clculo Lambda son e%actamente aquellas que pueden ser computadas con una mquina de Turing. (stos tres formalismos las mquinas de Turing los lengua)es formales $ el clculo Lambda son formalismos mu$ dis,miles $ fueron desarrollados por diferentes personas. Sin embargo ellos son todos equivalentes $ tienen el mismo poder de e%presi!n. 9eneralmente se toma esta notable coincidencia como evidencia de que la tesis de +"urc":Turing es cierta que la afirmaci!n de que la noci!n intuitiva de algoritmo o procedimiento efectivo de c!mputo corresponde a la noci!n de c!mputo en una mquina de Turing. +orrecto

Puntos para este env,o: 1-1.

.uestion5
Puntos: 1

(scoger cul de las siguientes afirmaciones es falsa: Seleccione una respuesta. a. Todo con9unto "inito de cadenas es un lengua9e regular b. Si L es un lengua9e aceptable por mquinas de Turing. tambi3n lo es el lengua9e complementario de L Incorrecto: Los lengua9es "ormales que son aceptados por una mquina de Turing son e:actamente aquellos que pueden ser generados por una gramtica "ormal.

c. Mediante autmatas de pila de pilas podr2a reconocerse un ma6or n#mero de lengua9es que mediante los usuales autmatas de una sola pila. !n cada transicin. el autmata podr2a almacenar 6 leer datos de dos pilas distintas. 5ncorrecto

Puntos para este env,o: ;-1.

.uestion6
Puntos: 1

Los ,tems que encontrar a continuaci!n constan de una afirmaci!n /(01*1(0* (tesis) $ dos postulados tambi2n /(01*1(03S identificados con P3ST4L*13 5 $ P3ST4L*13 55. 4sted debe anali#ar si los postulados se deducen l!gicamente de la afirmaci!n $ seleccionar la respuesta en su "o)a de cote)o conforme a la siguiente instrucci!n: Marque * si de la tesis se deducen los postulados 5 $ 55. Marque 6 si de la tesis se deduce el postulado 5. Marque + si de la tesis s!lo se deduce el postulado 55. Marque 1 si ninguno de los postulados se deduce de la tesis.

TESIS: La intencin de #ilbert era conseguir un modelo matemtico formal, completo y consistente, en el que a trav$s de un algoritmo, se pudiese determinar la veracidad o falsedad de cualquier proposicin formal. POSTULADO I: Los problemas de #ilbert son una lista de %& problemas matemticos compilados por el matemtico alemn 'avid #ilbert para la conferencia en (ars del )ongreso *nternacional de problema bien definido existira un algoritmo capaz de resolverlo. atemticos de +,-POSTULADO II. .ste problema recibi el nombre de /.ntsc"eidungsproblem0, resolverlo significara que para cualquier

Seleccione una respuesta. a. &'CI&( + b. &'CI&( ) c. &'CI&( * d. &'CI&( C Solo se deduce el postulado 55. (l postulado 5 solo "abla de la "istoria o el or,gen de la Teor,a de <ilbert. Solo se deduce el postulado 55. (l postulado 5 solo "abla de la "istoria o el or,gen de la Teor,a de <ilbert. 5ncorrecto Incorrecto

Puntos para este env,o: ;-1.

.uestion7
Puntos: 1

1ependiendo de los diferentes tipos de Mquinas de Turing (MT) estas se comportan de manera diferenete en la soluci!n de problemas. para una MT M4LT5P5ST* indique una propiedad vlida de esta. Seleccione una respuesta. a. La cinta esta di/idida en un n#mero "inito de 0 pistas Correcto: !n el modelo multipista. la cinta est di/idida en un n#mero "inito de 0

pistas. b. +l ,aber /arias pistas. requiere de ms estados de transicin c. !n esta MT no se inicializan las cintas por que tienen muc,as pistas. d. La cinta est en un n#mero in"inito de 0 pistas. 'or eso es M;LTI'IST+ <a$ ciertos modelos de computaci!n relacionados con las mquinas de Turing que poseen el mismo potencial como reconocedores de lengua)es que el modelo bsico. 1entro de esas modificaciones una mu$ particular es la M4LT5P5ST* que resulta mu$ efectiva para soluci!n d eproblemas e%tensos. +orrecto

Puntos para este env,o: 1-1.

.uestion8
Puntos: 1

+uando se reali#an simulaciones $a sea con soft8are con =>L*/ o /*S o con cualquier "erramienta de soft8are que cumpla las bases de simulaci!n de automat#aci!n o acogiendose a los teoremas $ funciones propias de cad aut!mata se puede afirmar: (seleccione una opci!n). Seleccione una respuesta. a. Los autmatas 4+<).+<(5 6 los autmatas de pila 4+<)' o +<'(5 se pueden simular con mquinas de Turing. b. La simulacin de +utmatas de 'IL+ no tiene en cuenta el mane9o de memoria c. La simulacin no permute generar tablas de transicin. Solo diagramas de Moore d. La simulacin de MT es posible solo si es una MT de una sola cinta La simulaci!n de aut!matas parte dle principio bsico de representar un aut!mata >inito. +orrecto Correcto: ;n autmata "inito es el inicio a una MT.

Puntos para este env,o: 1-1.

.uestion9
Puntos: 1

La afirmacin: Una m !uina d" #urin$ uni%"r&a' "& ca(az d" d"cidir cua'!ui"r '"n$ua)" ind"("ndi"nt" d"' cont"*to.+ Seleccione una respuesta. a. !s "alsa b. Slo es /erdadera para lengua9es independientes del conte:to reconocibles mediante autmatas de pila deterministas

c. !s /erdadera solo si la MT tiene un estado d. !s /erdadera Todo lengua9e independiente del conte:to es decidible mediante una mquina de Turing. que puede ser simulada mediante una mquina de Turing uni/ersal.

(sta mquina 4niversal no debe ser dise?ada para reali#ar un clculo espec,fico sino para procesar cualquier informaci!n (reali#ar cualquier clculo espec,fico :MT particular: sobre cualquier configuraci!n inicial de entrada correcta para esa MT particular). +orrecto

Puntos para este env,o: 1-1.

.uestion1,
Puntos: 1

Los ,tems que encontrar a continuaci!n constan de una afirmaci!n /(01*1(0* (tesis) $ dos postulados tambi2n /(01*1(03S identificados con P3ST4L*13 5 $ P3ST4L*13 55. 4sted debe anali#ar si los postulados se deducen l!gicamente de la afirmaci!n $ seleccionar la respuesta en su "o)a de cote)o conforme a la siguiente instrucci!n: Marque * si de la tesis se deducen los postulados 5 $ 55. Marque 6 si de la tesis se deduce el postulado 5. Marque + si de la tesis s!lo se deduce el postulado 55. Marque 1 si ninguno de los postulados se deduce de la tesis.

TESIS: 1n lengua2e decidible es aquel lengua2e L para el cual existe una maquina de Turing que le puede aceptar cualquier cadena {w L}. POSTULADO I. #ay lengua2es formados por cadenas tales que una maquina de Turing logra un estado final con las cadenas que reconoce y acepta, solamente. .n este caso se dice que la mquina de Turing semidecide al lengua2e. POSTULADO II. 1n algoritmo es una implementacin de una maquina de Turing. 3i un dado un con2unto de entradas ba2o las cuales una T logra un estado de parada para cada entrada, la maquina corresponde a la implementacin de un algoritmo

Seleccione una respuesta. a. &'CI&( + b. &'CI&( ) c. &'CI&( C d. &'CI&( * L(@94*=(S 1(+5156L(S. Solo se deduce el postulado 5. (l postulado 55 solo es un concepto de *lgoritmo mas no de un ALengua)e decidibleA L(@94*=(S 1(+5156L(S. Solo se deduce el postulado 5. (l postulado 55 solo es un concepto de *lgoritmo mas no de un ALengua)e decidibleA Incorrecto

5ncorrecto

Puntos para este env,o: ;-1.

.uestion11
Puntos: 1

Los ,tems que encontrar a continuaci!n constan de una afirmaci!n /(01*1(0* (tesis) $ dos postulados tambi2n /(01*1(03S identificados con P3ST4L*13 5 $ P3ST4L*13 55. 4sted debe anali#ar si los postulados se deducen l!gicamente de la afirmaci!n $ seleccionar la respuesta en su "o)a de cote)o conforme a la siguiente instrucci!n: Marque * si de la tesis se deducen los postulados 5 $ 55. Marque 6 si de la tesis se deduce el postulado 5. Marque + si de la tesis s!lo se deduce el postulado 55. Marque 1 si ninguno de los postulados se deduce de la tesis.

TESIS: La reducibilidad "a permitido llegar a determinar la indecibilidad en algunos problemas computacionales. -./#ULA0. 1. 4na manera ms simple de determinar la indecibilidad es utili#ando el m2todo de reducci!n el cual est impl,cito en nuestra manera de pensar a la "ora de solucionar ciertos problemas. POSTULADO II. dado un problema (+, este se reduce a solucionar (%. .s decir, si solucionamos (%, tenemos solucionado (+. 'e esta manera "emos convertido un problema en otro.

Seleccione una respuesta. a. &'CI&( * b. &'CI&( C c. &'CI&( ) d. &'CI&( + Correcto: =ace re"erencia a la reducibilidad de Turing. Los dos postulados se deri/an de la Tesis. +dems todos son /erdaderos.

<ace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. *dems todos son verdaderos. <ace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. *dems todos son verdaderos. +orrecto

Puntos para este env,o: 1-1.

.uestion12
Puntos: 1

*cerca de los problemas de <*LT5@9 seleccione dos definiciones vlidas para esa teor,a: Seleccione al menos una respuesta.

a. Corresponde a problemas que tienen solucin pero no se pueden representar por un algoritmo b. estos problemas los solucionan las mquinas de 'ila por contener una memoria que le da ma6or capacidad de anlisis. c. !l problema de >=alting? es el primer problema indecidible mediante maquinas de Turing. Correcto: *sicamente. Turing de"ini las bases de las computadoras modernas 6 planteo un problema sobre ellas. llegando a la conclusin de que no ,a6 ning#n algoritmo que lo resuel/a. !s el problema de la detencin 4=alting problem5@ el problema de saber si un problema se cuelga cuando corre en la computadora. Turing demostr que el problema de la detencin es indicidible. es decir. demostr que ,ab2a problemas que una maquina no pod2a resol/er. Correcto: !qui/ale a construir un programa que te diga si un problema de ordenador "inaliza alguna /ez o no 4entrando a un bucle in"inito. por e9emplo5

d. !s un problema que puede tener solucin pero tiene un bucle in"inito que no soluciona la MT.

(l concepto de problema indecidible o irresoluble se aplica a problemas de decisi!n es decir problemas a los que podemos decir si tienen soluci!n o no. 1entro de estos problemas e%iste un con)unto al que no le podemos asignar una respuesta ni afirmativa ni negativa: no e%iste un algoritmo que nos permita determinar si el problema tiene soluci!n. +orrecto

Puntos para este env,o: 1-1.

.uestion13
Puntos: 1

+ules diferencias entre una computadora 0eal $ una mquina de Turing (MT) son verdaderas seleccione tres opciones) Seleccione al menos una respuesta. a. +mbas mquinas solo aceptan elementos de entrada en los dos estados 4A.15 es decir binario. b. !n cuanto al orden de e9ecucin de las instrucciones. !n la estructura Bon (eumann el secuenciamiento lo marca el orden de colocacin de las instrucciones en la memoria interna 6 /iene asegurado por el contador de programa. c. !n una computadora. el n#mero de estados /iene representado por el contenido de la memoria. Correcto: )i"erencias entre las computadoras 6 las mquinas de Turing. !n ;na mquina de Turing. el orden de e9ecucin d elas instrucciones si est de"inido. lo marca en todo instante el estado de la mquina 6 el carcter de la cinta apuntado. que son los dos datos que determinan la qu2ntupla que ,a de ser e9ecutada. Correcto:)i"erencias entre las computadoras 6 las mquinas de Turing. !n ;na mquina de Turing. el orden de e9ecucin d elas instrucciones si est de"inido. lo marca en todo instante el estado de la mquina 6 el carcter de la cinta apuntado. que son los dos datos que determinan la qu2ntupla que ,a de ser e9ecutada.

d. !n una MT el orden de e9ecucin de las instrucciones no est de"inido pero si tiene "in 6a que es c2clica

e. !n una MT el nC de estados depende del algoritmo.

Correcto: )i"erencias entre las computadoras 6 las mquinas de Turing. !n ;na mquina de Turing. el orden de e9ecucin d elas instrucciones si est de"inido. lo marca en todo instante el estado de la mquina 6 el carcter de la cinta apuntado. que son los dos datos que determinan la qu2ntupla que ,a de ser e9ecutada.

*parte de la capacidad de memoria las diferencias entre una MT $ una computadora de estructura /on @euman son: (n cuanto a estados en cuanto a memoria en cuanto al orden de e)ecuci!n de las instrucciones. +orrecto

Puntos para este env,o: 1-1.

.uestion14
Puntos: 1

Los ,tems que encontrar a continuaci!n constan de una afirmaci!n /(01*1(0* (tesis) $ dos postulados tambi2n /(01*1(03S identificados con P3ST4L*13 5 $ P3ST4L*13 55. 4sted debe anali#ar si los postulados se deducen l!gicamente de la afirmaci!n $ seleccionar la respuesta en su "o)a de cote)o conforme a la siguiente instrucci!n: Marque * si de la tesis se deducen los postulados 5 $ 55. Marque 6 si de la tesis se deduce el postulado 5. Marque + si de la tesis s!lo se deduce el postulado 55. Marque 1 si ninguno de los postulados se deduce de la tesis.

#2/1/. Se dice que en la MT se llega al &final de un clculo' cuando se alcan#a un estado especial llamado "alt en el control finito como resultado de una transici!n..
POSTULADO I. 4l llegar al "alt, se detiene la operacin de la T, y se acepta la palabra de entrada..

POSTULADO II. (or ello es que en la

Seleccione una respuesta. a. &'CI&( C b. &'CI&( +

T no "ay estados finales.

Correcto: )e"icinicn de MT. Son postulados /erdaderos que se deducen de la Tesis

c. &'CI&( * d. &'CI&( ) 1eficinic!n de MT. Son postulados verdaderos que se deducen de la Tesis 1eficinic!n de MT. Son postulados verdaderos que se deducen de la Tesis +orrecto

Puntos para este env,o: 1-1.

.uestion15
Puntos: 1

)ules diferencias entre una computadora 5eal y una mquina de Turing ( T! son verdaderas6

Seleccione al menos una respuesta. a. !n una computadora. el n#mero de estados /iene representado por Correcto el contenido de la memoria. b. !n una MT el nC de estados depende del algoritmo. c. !n cuanto al orden de e9ecucin de las instrucciones. !n la estructura Bon (eumann el secuenciamiento lo marca el orden de colocacin de las instrucciones en la memoria interna 6 /iene asegurado por el contador de programa. d. !n una MT el orden de e9ecucin de las instrucciones no est de"inido. 1iferencias entre las computadoras $ las mquinas de Turing. (n 4na mquina de Turing el orden de e)ecuci!n d elas instrucciones si est definido lo marca en todo instante el estado de la mquina $ el carcter de la cinta apuntado que son los dos datos que determinan la qu,ntupla que "a de ser e)ecutada. 1iferencias entre las computadoras $ las mquinas de Turing. (n 4na mquina de Turing el orden de e)ecuci!n d elas instrucciones si est definido lo marca en todo instante el estado de la mquina $ el carcter de la cinta apuntado que son los dos datos que determinan la qu,ntupla que "a de ser e)ecutada. +orrecto Correcto Correcto

Puntos para este env,o: 1-1.