1 Puntos: 1 En una Mquina de Turing la cabeza lectora es de Escritura y Lectura debido a que: Seleccione una respuesta. a.

La cabeza se mueve Unidireccionalmente. b. No pasa repetidas veces sobre un mismo segmento. Respuesta Correcta. 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. Como la cinta es infinita, inicialmente toda la parte de la cinta a la derecha de la palabra de entrada est llena del caracter blanco (t).

c. La cinta puede ser modificada en curso de ejecucin.

d. Se lee un Carcter en la Cinta. Correcto Puntos para este envo: 1/1. 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 As, podemos usar la notacin grfica utilizada para aquellos autmatas para indicar su funcionamiento 2 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 Incorrecto: La operacin de la

la cadena de entrada en la cinta / La MT consta de los siguientes cinta est en blanco para iniciar / Se pasos: 1. Lee un caracter en pone la unidad de control en el estado la cinta 2. Efectua una inicial / Se posiciona la cabeza sobre la transicin de estado 3. Realiza primera letra de la cadena introducida una accin en la cinta d. Inicializacin de la Mquina / La cinta est en blanco / Introducir la cadena de entrada en la cinta / Se pone la unidad de control en el estado inicial / Se posiciona la cabeza sobre la primera letra de la cadena introducida Incorrecto Puntos para este envo: 0/1. La 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. La cinta es de longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenndose los espacios con el caracter blanco (que representaremos con t). La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo izquierdo, como en la figura 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. 3 Puntos: 1 Asocie correctamente las teoras o trabajos en automatizacin que estos autores trabajaron y fueron relevantes para determinar y apoyar el estudio de AUTOMATA SY LENGUAJES FORMALES. Primer problema indecidible mediante maquinas de Turing
HALTING

HILBERT Inicin con mostrar la existencia de problemas indecidibles Procur conseguir un modelo matemtico formal, completo y consistente, en el que a travs de un algoritmo, se pudiese CHURCH determinar la veracidad o falsedad de cualquier proposicin formal Defini las bases de las computadoras modernas y planteo un TURING problema sobre ellas, llegando a la conclusin de que no hay ningn algoritmo que lo resuelva. Parcialmente correcto Puntos para este envo: 0.5/1. El origen de los modelos abstractos de computacin se encuadra en los aos '30 (antes de que existieran los ordenadores modernos), para el trabajo de los lgicos Alonzo Church, Kurt Gdel, Stephen Kleene, Emil Leon Post, y Alan Turing. Estos trabajos iniciales han tenido una profunda influencia, tanto en el desarrollo terico como en abundantes aspectos de la

prctica de la computacin; previendo incluso la existencia de ordenadores de propsito general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representacin de lenguajes por estructuras formales basados en reglas de produccin. 4 Puntos: 1 Escoger cul de las siguientes afirmaciones es falsa: Seleccione una respuesta. a. Todo conjunto finito de cadenas es un lenguaje regular b. Mediante autmatas de pila de 2 pilas podra reconocerse un mayor nmero de lenguajes que mediante los usuales autmatas de una sola pila. En cada transicin, el autmata podra almacenar y leer datos de dos pilas distintas. c. Si L es un lenguaje aceptable por mquinas de Turing, tambin lo es el lenguaje complementario de L Incorrecto Puntos para este envo: 0/1. 5 Puntos: 1 Dependiendo de los diferentes tipos de Mquinas de Turing (MT), estas se comportan de manera diferenete en la solucin de problemas. para una MT MULTIPISTA, indique una propiedad vlida de esta. Seleccione una respuesta. a. En esta MT no se inicializan las cintas por Incorrecto: Toda MT debe que tienen muchas pistas. ser inicializada, b. Al haber varias pistas, requiere de ms estados de transicin c. La cinta est en un nmero infinito de k pistas. Por eso es MULTIPISTA d. La cinta esta dividida en un nmero finito de k pistas Incorrecto Puntos para este envo: 0/1. Hay ciertos modelos de computacin relacionados con las mquinas de Turing, que poseen el mismo potencial como reconocedores de lenguajes que el modelo bsico. Dentro de esas modificaciones, una muy particular es Incorrecto: Los lenguajes formales que son aceptados por una mquina de Turing son exactamente aquellos que pueden ser generados por una gramtica formal.

la MULTIPISTA que resulta muy efectiva para solucin d eproblemas extensos. 6 Puntos: 1 Este tipo de tems consta de dos proposiciones as: una Afirmacin y una Razn, unidas por la palabra PORQUE. Usted debe examinar la veracidad de cada proposicin y la relacin terica que las une. Para responder este tipo de tems, debe leerla completamente y sealar en la hoja de respuesta, la elegida de acuerdo con las siguientes instrucciones: Marque A si la afirmacin y la razn son VERDADERAS y la razn es una explicacin CORRECTA de la afirmacin. Marque B si la afirmacin y la razn son VERDADERAS, pero la razn NO es una explicacin CORRECTA de la afirmacin. Marque C si la afirmacin es VERDADERA, pero la razn es una proposicin FALSA. Marque D si la afirmacin es FALSA, pero la razn es una proposicin VERDADERA.
Una mquina de propsito general que haga uso de la codificacin de Godel, puede considerarse como la precursora de las computadoras actuales PORQUE Sera capaz de resolver cualquier problema que se pudiese resolver mediante un algoritmo.

Seleccione una respuesta. a. OPCION C b. OPCION A c. OPCION D d. OPCION B Incorrecto Tanto la razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. En la afrimacin , Godel con su codificacin fue uno de los primeros creadores de una mquina (computadora) de propsito general, siendo esta capaz de resolver cualquier problema que se pueda representar mediante un algoritmo. Incorrecto Puntos para este envo: 0/1. Tanto la razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. En la afrimacin , Godel con su codificacin fue uno de los primeros creadores de una mquina (computadora) de propsito general, siendo esta capaz de resolver cualquier problema que se pueda representar mediante un algoritmo. 7

Puntos: 1 La maquina de Turng opera cclicamente dado que: Seleccione una respuesta. a. Comienza por una palabra de entrada. b. Una instruccin viene representada por un quntupla. c. Al comienzo de un ciclo se Respuesta Correcta. Se debe definir la parte de una determinada configuracin inicial para iniciar el ciclo configuracin. de trabajo d. La cabeza puede leer y escribir en un mismo carcter. Correcto Puntos para este envo: 1/1. Esta mquina Universal no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier informacin (realizar cualquier clculo especfico -MT particular- sobre cualquier configuracin inicial de entrada correcta para esa MT particular). 8 Puntos: 1 La maquina universal de turing esta disea para realizar cualquier calculo especifico particular debido a que: Seleccione una respuesta. a. Parar cuando el clculo sea indeterminado. b. Es un intrprete de la informacin de salida Respuesta Correcta: una M T capaz de ejecutar cualquier algoritmo; es decir capaz de realizar los c. Es capaz de realizar clculos que realizara cualquier otra MT, o sea, cualquier algoritmo capaz de simular (tener el mismo comportamiento) cualquier MT particular. d. Las instrucciones se basan en una fase del algoritmo universal. Correcto Puntos para este envo: 1/1. Esta mquina Universal no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier informacin (realizar cualquier clculo especfico -MT particular- sobre cualquier configuracin inicial de entrada correcta para esa MT particular).

9 Puntos: 1 Corresponden con acciones sobre una cinta en la Mquina de Turing que son excluyentes (si se realiza una no se se realiza la otra) Seleccione al menos una respuesta. Correcto:La cinta es de longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenndose los espacios con el caracter blanco (que representaremos con t). La cinta no es infinita hacia la a. Mover la izquierda, por lo que hay un cuadro de la cinta que es el cabeza a la extremo izquierdo. En la MT la cabeza lectora es de Izquierda o a la lectura y escritura, por lo que la cinta puede ser Derecha 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. Escribir una Palabra en la Memoria Correcto: La cinta es de longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenndose los espacios con el caracter blanco (que representaremos con t). La cinta no es infinita hacia la c. Escribir un izquierda, por lo que hay un cuadro de la cinta que es el carcter en la extremo izquierdo. En la MT la cabeza lectora es de cinta 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. Recuperar el ltimo carcter ledo Correcto Puntos para este envo: 1/1. La 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 10 Puntos: 1 Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo si/no. Para la Teora de Lenguajes, un problema de decisin es insoluble cuando: (seleccione dos opciones) Seleccione al menos una respuesta.

a. Si no se representa con un diagrama de Moore el problema. b. Si no se representa con una Tabla de transiciones el problema. Correcto: Un problema de decisin es: Soluble si existe un algoritmo total para determinar si la propiedad es verdadera c. Si no existe un (Existe una MT que siempre para al resolver procedimiento efectivo el problema). Parcialmente soluble si existe para determinar si la un algoritmo parcial para determinar si la propiedad es verdadera propiedad es verdadera (existe una MT que (no existe una Mquina de resuelve el problema, pero puede no parar). Turing MT). Insoluble si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no existe una MT). d. Si no existe un algoritmo total para determinar si la propiedad y objetivo del problema es verdadera. Parcialmente correcto Puntos para este envo: 0.5/1. Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo si/no. 11 Puntos: 1 Este tipo de tems consta de dos proposiciones as: una Afirmacin y una Razn, unidas por la palabra PORQUE. Usted debe examinar la veracidad de cada proposicin y la relacin terica que las une. Para responder este tipo de tems, debe leerla completamente y sealar en la hoja de respuesta, la elegida de acuerdo con las siguientes instrucciones: Marque A si la afirmacin y la razn son VERDADERAS y la razn es una explicacin CORRECTA de la afirmacin. Marque B si la afirmacin y la razn son VERDADERAS, pero la razn NO es una explicacin CORRECTA de la afirmacin. Marque C si la afirmacin es VERDADERA, pero la razn es una proposicin FALSA. Marque D si la afirmacin es FALSA, pero la razn es una proposicin VERDADERA.

La mquina de Alan Turing propuesta en los aos 30 se puede considerar como un Autmata PORQUE El modelo de sta mquina abstracta es una extensin de los Autmatas Finitos.

Seleccione una respuesta. a. OPCION C b. OPCION D c. Correcto: tanto la razn y la afirmacin son verdaderas y las OPCION razn es una explicacin correcta de la afirmacin. A Corresponde a la aplicacin de las MT d. OPCION B tanto la razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Corresponde a la aplicacin de las MT Correcto Puntos para este envo: 1/1. Tanto la razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Corresponde a la aplicacin de las MT 12 Puntos: 1
Acerca de las Mquinas de Turing, Cul de las siguientes afirmaciones es cierta:

Seleccione una respuesta. a. Ninguna de las anteriores b. Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena c. Cualquier lenguaje puede ser reconocido por una mquina de Turing d. Es posible que un lenguaje sea estructurado por frases pero no Correcto: Las acciones que puede ejecutar en la cinta la MT pueden ser: Escribe un smbolo en la cinta, o Mueve la cabeza a la izquierda o a la derecha Estas dos acciones son excluyentes, es decir, se hace una o la otra, pero no ambas a la vez.

exista ninguna mquina de Turing que se detenga exclusivamente cuando las cadenas escritas en su cinta pertenezcan al lenguaje Correcto Puntos para este envo: 1/1. La operacin de la MT consta de los siguientes pasos: 1. Lee un caracter en la cinta 2. Efectua una transicin de estado 3. Realiza una accin en la cinta 13 Puntos: 1 La cinta de una Mquina de Turing es infinita hacia: Seleccione una respuesta. a. La Izquierda b. La Derecha Correcto: c. Arriba d. Abajo Correcto Puntos para este envo: 1/1. La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo izquierdo. 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. 14 Puntos: 1
Cules diferencias entre una computadora Real y una mquina de Turing (MT) son verdaderas:

Seleccione al menos una respuesta. a. En una MT el n de estados depende del algoritmo. Correcto b. En cuanto al orden de ejecucin de las instrucciones, En la estructura Von Neumann el secuenciamiento lo marca el Correcto orden de colocacin de las instrucciones en la memoria interna y viene asegurado por el contador de programa. c. En una MT el orden de ejecucin de las instrucciones no Incorrecto est definido. d. En una computadora, el nmero de estados viene representado por el contenido de la memoria.

Diferencias entre las computadoras y las mquinas de Turing. En Una mquina de Turing, el orden de ejecucin d elas instrucciones si est definido, lo marca en todo instante el estado de la mquina y el carcter de la cinta apuntado, que son los dos datos que determinan la quntupla que ha de ser ejecutada. Parcialmente correcto Puntos para este envo: 0.7/1. Diferencias entre las computadoras y las mquinas de Turing. En Una mquina de Turing, el orden de ejecucin d elas instrucciones si est definido, lo marca en todo instante el estado de la mquina y el carcter de la cinta apuntado, que son los dos datos que determinan la quntupla que ha de ser ejecutada.