RESUESTAS AUTOMATAS UNIDAD 3

1

Puntos: 1

Un problema de decisión (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo “si/no”. Para la Teoría de Lenguajes, un problema de decisión es “insoluble” cuando:

Seleccione al menos una respuesta.

	a. Si no se representa con un diagrama de Moore el problema
	b. Si no existe un algoritmo total para determinar si la propiedad y objetivo del problema es verdadera.	Correcto: Los diagramas de Moore y de Transición o la forma como se representen los problemas, no tienen nada que ver con la determinación si es insoluble o no
	c. Si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no existe una Máquina de Turing MT).	Correcto: Los diagramas de Moore y de Transición o la forma como se representen los problemas, no tienen nada que ver con la determinación si es insoluble o no
	d. Si no se representa con una Tabla de transiciones el problema.	Incorrecto: Los problemas pueden formularse y representarse de muchas formas. Que tengan o no solución no tienen nada que ver con la forma como se representen. Va es en el sentido del análisis y la formulación del algoritmo

Correcto

Puntos para este envío: 1/1.

Question2

Puntos: 1

La Máquina de Turing puede tener varios movimientos dependiendo de diferentes factores (posición inicial, estado, símbolos de entrada). Un movimiento en la Máquina de Turing depende del símbolo explorado con la cabeza y del estado actual con el que se encuentre la máquina, el resultado puede ser:

Seleccione al menos una respuesta.

	a. Se mueve la cabeza de la cinta a la izquierda, a la derecha o se para.	Correcto: En una MT de Turing no es cierto que el movimiento del cabezal, implique vaciar la cinta o inicializar los símbolos iniciales.
	b. Estado no cambia.	Incorrecto
	c. Todo movimiento del cabezal vacía la cinta y la inicializa en cero.	Correcto
	d. Imprime un símbolo en la cinta reemplazando el símbolo leído.

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question3

Puntos: 1

Dentro de las tesis que plasmaron Church y Turing, está una de las más aplicadas y demostradas hoy en día, enfocada al funcionamiento de las máquinas reales (coputadoras). Esta es:

Seleccione una respuesta.

	a. Las máquinas reales tienen mayor poder de cómputo que las Máquinas de Turing, aunque resuelvan los mismos problemas.	Incorrecto
	b. Toda función computable tiene un algoritmo decidible pro una MT
	c. Una MUT es funcional y eficiente tanto como una máquina real.
	d. La máquina de Turing, tiene mayor poder de cómputo que las reales, aunque resuelvan los mismos problemas.

Incorrecto

Puntos para este envío: 0/1.

Question4

Puntos: 1

Las transiciones de una Máquina de Turing de varias cintas (MT), tienen las siguientes características:

Seleccione al menos una respuesta.

	a. La transición solo afecta a una cinta (escribir o desplazar).
	b. La transición depende de los símbolos actuales de todas las cintas.	Correcto: Hace referencia al funcionamiento de una MT.
	c. Las transiciones se pueden hacer en varias cintas simultáneamente	Incorrecto
	d. La transición le asigna el carácter de entrada a las demás cintas	Incorrecto

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question5

Puntos: 1

La codificación redundante tiene como objetivo introducir símbolos para asegurar la veracidad en la trasmisión. Esto se logra por medio de algoritmos que aseguran la veracidad de la información transmitida procurando no perder velocidad en la trasmisión. Los algoritmos para la veracidad son:

Seleccione una respuesta.

	a. Los de codificación de ruido
	b. Los de codificación de fuente:
	c. Los de codificación de canal	Correcto: Esto se logra por medio de algoritmos que adapten la información teniendo en cuenta las características estadísticas del ruido que presenta el canal.
	d. Los de codificación AWGN

Correcto

Puntos para este envío: 1/1.

Question6

Puntos: 1

A las computadoras reales y las MT se les asocian muchas similitudes y diferencias: Cuáles diferencias entre una computadora Real y una máquina de Turing (MT) son verdaderas:

Seleccione al menos una respuesta.

	a. En una computadora, el número de estados viene representado por el contenido de la memoria.	Correcto: es la asociación entre una MR y una MT.
	b. En una MT el orden de ejecución de las instrucciones no necesariamente debe estar definido.	Incorrecto: Si debe definirse el orden de ejecución de instrucciones.
	c. En una MT el Número de estados depende de la cadena, palabra o dato que lea.	Incorrecto: la palabra o cadena de lectura no determina la cantidad de estados que deba tener una MT. Puede determinar pro que estados recorre la máquina.
	d. En cuanto al orden de ejecución de las instrucciones, En la estructura Von Neumann el secuenciamiento lo marca el orden de colocación de las instrucciones en la memoria interna y viene asegurado por el contador de programa.

Parcialmente correcto

Puntos para este envío: 0.5/1.

1

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

Parcialmente correcto

Puntos para este envío: 0.8/1.

Question2

Puntos: 1

Indique que características asocian particularidades o semejanzas válidas entre las MT y las computadoras reales.

Seleccione al menos una respuesta.

	a. Los computadores electrónicos, basados en la arquitectura Von Neumann así como las máquinas cuánticas tendrían exactamente el mismo poder de expresión que el de una Máquina de Turing (MT) si dispusieran de recursos ilimitados de tiempo y espacio.	Correcto
	b. En las máquinas reales están definidos procesos de manera jerárquica. En las MT estos procesos están definidos por el número de estados.	Incorrecto: En una MT el nº de estados depende del algoritmo. En una computadora, un estado viene representado por el contenido de la memoria, y una situación por un estado y un puntero a una dirección (la que contiene a la instrucción que va a ejecutarse).
	c. Las MUT son de un solo propósito. Las máquinas reales interpretan muchos programas escritos en diferentes lenguajes (multipropósito).	Incorrecto: Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada correcta para esa MT particular).
	d. Los lenguajes de programación, tienen a lo sumo el mismo poder de expresión que el de los programas para una Máquina de Turing (MT) y en la práctica no todos lo alcanzan.	Correcto

Correcto

Puntos para este envío: 1/1.

Question3

Puntos: 1

Con referencia a una Máquina de Turing (MT) de dos direcciones: Una Máquina de Turing con una cinta infinita en un sentido puede simular una Máquina de Turing con la cinta infinita en los dos sentidos. Sea M una Máquina de Turing con una cinta infinita en los dos sentidos, entonces:

Para que se logre o se dé esta máquina se debe cumplir:

Seleccione al menos una respuesta.

	a. La pista inferior contiene tanto la parte izquierda como la derecha de la cinta M (en orden inverso).	Incorrecto: La cinta superior por orden contiene la información de la parte derecha.
	b. La Máquina de Turing M que tiene una Cinta Infinita 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 (dirección).
	c. La pista inferior y superior leen los datos simultáneamente en ambos sentidos. Luego y dependiendo de los estado repetitivos, se detiene una pista y continúa la que menos celdas tenga ocupada.	Incorrecto
	d. La cinta superior contiene información correspondiente a la parte derecha de la cinta M a partir de un punto de referencia dado.

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question4

Puntos: 1

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

Seleccione al menos una respuesta.

	a. El problema de “Halting” es el primer problema indecidible mediante maquinas de Turing	Correcto
	b. 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
	c. 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.
	d. 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	Incorrecto

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.

Question5

Puntos: 1

Una Máquina de Turing (MT) se puede comportar como un aceptador de lenguaje, de la misma forma que lo hace un Autómata finito (AF) o un Autómata de Pila (AP) así: Colocando una cadena ω en la cinta, situando la cabeza de lectura/escritura sobre el símbolo del extremo izquierdo de la cadena ω y al poner en marcha la máquina a partir de su estado inicial. Entonces ω es aceptada si, después de una secuencia de movimientos, la MT llega a un estado final y para.

Que aspectos son válidos para el comportamiento de una MT..?

Seleccione al menos una respuesta.

	a. Se pueden combinar dos Máquinas de Turing (MT) permitiendo que compartan la misma cinta y, que cuando una termine su ejecución, la otra empiece.
	b. Para rechazar una cadena que no es aceptable, lo único que hay que hacer es evitar que se llegue a un estado final.	Correcto
	c. Es válido empezar el diseño de una MT por el diseño de un AF. Ambos son aceptadores de lenguajes.	Correcto: Al diseñar una MT que acepte un cierto lenguaje, en realidad diseñamos el autómata finito que controla la cabeza y la cinta, el cual es un autómata con salida (acepta cadenas válidas).
	d. La MT es un mecanismo abstracto avanzado que tiene el mismo poder computacional que las máquinas reales.	Incorrecto: La Máquina de Turing es un mecanismo de computación notoriamente primitivo, y sin embargo permite llevar a cabo cualquier cómputo que podamos hacer en nuestro PC

Parcialmente correcto

Puntos para este envío: 0.7/1.

Question6

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 que los resuelva (ni siquiera los reconozca).	Correcto
	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.

Question7

Puntos: 1

Acerca del tipo de cadenas que puede aceptar una Máquina de Turing, determine cuál afirmación es válida.

Seleccione una respuesta.

	a. Una máquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena
	b. Por ser una máquina tan simple pero a la vez tan potente, resulta fácil que cualquier lenguaje puede ser reconocido por una máquina de Turing
	c. Es posible que un lenguaje sea estructurado por frases pero no exista ninguna máquina de Turing que se detenga exclusivamente cuando las cadenas escritas en su cinta pertenezcan al lenguaje	Incorrecto
	d. Cuando se desea que una MT no acepte una palabra, simplemente se debe configurar para que llegue a un estado halt de parada o stop.

Al diseñar una MT que acepte un cierto lenguaje, en realidad diseñamos el autómata finito que controla la cabeza y la cinta, el cual es un autómata con salida.

Incorrecto

Puntos para este envío: 0/1.

Question8

Puntos: 1

Indique cuál de las siguientes afirmaciones es cierta con referencia a las Máquinas de Turing:

Seleccione al menos una respuesta.

	a. El diseño de una MT es procedimentalmente sencillo para programar lenguajes de máquinas reales.	Incorrecto: Por ser tan de demasiado de “Bajo Nivel” no resultan prácticas para programar
	b. Cualquier lenguaje puede ser reconocido por una máquina de Turing	Incorrecto
	c. Una máquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena
	d. El diseño de las MT básicamente es el de un autómata finito pero un Autómata con mayor poder de reconocimiento y proceso de lenguajes, que tomas y fusiona aspectos de un PDA.	Correcto: Básicamente se trata del diseño de un Autómata con mayor poder de reconocimiento y proceso de lenguajes, que tomas y fusiona aspectos de un AF y de un PDA.

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question9

Puntos: 1

Señale los aspectos de diseño válidos de una Máquina de Turing (MT).

Seleccione al menos una respuesta.

	a. No está permitido realizar ningún movimiento hacia la izquierda a partir de la celda del extremo izquierdo.	Correcto
	b. En una Máquina de Turing (MT) que usa una cinta que se extiende infinitamente en una única dirección, generalmente está extendida hacia la derecha.	Correcto
	c. La Máquina Universal de Turing no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información	Correcto
	d. Una palabra de entrada a reconocer en una MT se escribe símbolo por símbolo en la cinta

Correcto

Puntos para este envío: 1/1.

Question10

Puntos: 1

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

Seleccione una respuesta.

	a. La máquina acepta la cadena
	b. Hay una terminación anormal.
	c. La máquina solo acepta cadenas con números de símbolos pares	Incorrecto
	d. La máquina entra en un bucle y no termina nunca.

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.

Incorrecto

Puntos para este envío: 0/1.

1

Puntos: 1

Dada la siguiente Máquina de Turing (MT), determine que afirmaciones son válidas para su análisis:

Seleccione al menos una respuesta.

	a. La máquina acepta palabras que empiezan con “a”
	b. Si la primera letra no es una “a” la MT cae en un ciclo infinito leyendo y escribiendo “a”	Incorrecto: Al empezar con “b” la MT entra en un bucle escribiendo “b”.
	c. Si la primera letra no es una “a”, la MT cae en un ciclo infinito leyendo y escribiendo “b”	Correcto: Así está determinado el ciclo de instrucciones.
	d. La máquina acepta palabras que empiezan con “b”	Incorrecto: Al empezar con “b” la MT entra en un bucle escribiendo “b”.

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question2

Puntos: 1

Un diagrama de estados puede representar un codificador convolucional porque:

Seleccione al menos una respuesta.

	a. Es acotado y tiene memoria infinita.	Incorrecto: Un codificador convolucional puede ser fácilmente representado por un diagrama de estados de transición ya que tiene memoria finita
	b. Es lineal y los desplazamientos de los bits redundantes se pueden realizaren ambas direcciones.
	c. El diagrama de estados tiene transiciones y maneja memoria finita	Correcto: Un codificador convolucional puede ser fácilmente representado por un diagrama de estados de transición ya que tiene memoria finita.
	d. Se comporta como una máquina con diferentes estados	Correcto

Correcto

Puntos para este envío: 1/1.

Question3

Puntos: 1

Una analogía funcional, operacional de una Máquina de Turing con un componente físico real podría ser:

Seleccione una respuesta.

	a. Un codificador secuencial con estados fijos pero con memoria (ej: codificador convolucional)
	b. Soluciones computacionales de arquitecturas híbridas de algoritmos infinitos.	Incorrecto
	c. Sistemas de cómputo basados en arquitecturas como las de Neumann
	d. Un compilador

Los computadores electrónicos, basados en la arquitectura Von Neumann así como las máquinas cuánticas tendrían exactamente el mismo poder de expresión que el de una máquina de Turing si dispusieran de recursos ilimitados de tiempo y espacio. Como consecuencia, los lenguajes de programación tienen a lo sumo el mismo poder de expresión que el de los programas para una máquina de Turing y en la práctica no todos lo alcanzan. Los lenguajes con poder de expresión equivalente al de una máquina de Turing se denominan Turing completos

Incorrecto

Puntos para este envío: 0/1.

Question4

Puntos: 1

Dada la siguiente Maquia de Turing (MT). Analice su comportamiento.

Seleccione al menos una respuesta.

	a. Esta máquina de Turing que se comporta como transductor, porque simplemente genera una salida en la cinta.	Correcto. Escribe en la cinta y la recorre.
	b. Si se convierte el estado q0 en final, aceptará todas las posibles combinaciones de {01}. Aceptará secuencias de ceros y uso.	Correcto: Si además se exige que el transductor termine en un estado final y pare, si la entrada es correcta, es decir, una simple secuencia de ceros y unos
	c. Es una máquina que solo acepta lenguajes regulares.	Incorrecto: Acepta lenguajes sin restricciones.
	d. No es una maquina válida ya que no define un estado final que acepta unas cadenas (no interpreta un lenguaje definido).

Correcto

Puntos para este envío: 1/1.

Question5

Puntos: 1

Para las siguientes afirmaciones Indique cuál es verdadera:

Seleccione una respuesta.

	a. Un autómata finito nunca puede meterse en un ciclo que se ejecute indefinidamente
	b. Una máquina de Turing multicinta nunca entrará en un bucle (ciclo que se ejecute indefinidamente.)
	c. Un autómata de pila determinista nunca puede meterse en un ciclo que se ejecute indefinidamente	Incorrecto
	d. Una máquina de Turing determinista puede meterse en un ciclo que se ejecute indefinidamente.

Los lenguajes formales que son aceptados por una máquina de Turing son exactamente aquellos que pueden ser generados por una gramática formal. El cálculo Lambda es una forma de definir funciones. Las funciones que pueden se computadas con el cálculo Lambda son exactamente aquellas que pueden ser computadas con una máquina de Turing. Estos tres formalismos, las máquinas de Turing, los lenguajes formales y el cálculo Lambda son formalismos muy disímiles y fueron desarrollados por diferentes personas. Sin embargo, ellos son todos equivalentes y tienen el mismo poder de expresión. Generalmente se toma esta notable coincidencia como evidencia de que la tesis de Church-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 máquina de Turing.

Incorrecto

Puntos para este envío: 0/1.

Question6

Puntos: 1

Acerca de los códigos convolucionales, seleccione las propiedades válidas:

Seleccione al menos una respuesta.

	a. Poseen un registro de desplazamiento lineal
	b. Por ser códigos no lineales, la secuencia de bits codificada no depende de los bits previos. Esto es manejado por los estados	Incorrecto: La codificación convolucional es una codificación continua en la que la secuencia de bits codificada depende de los bits previos
	c. Reducen el número de mensajes que se envían por un canal afectado por ruido.	Correcto: el codificador convolucional, es una manera de reducir el número de mensajes que enviamos por el canal, cumpliendo de esta forma la recomendación de Shannon.
	d. Son códigos lineales:	Correcto: que tienen la propiedad de que la suma de dos palabras de código cualesquiera también es una palabra de código

Parcialmente correcto

Puntos para este envío: 0.7/1.

Question7

Puntos: 1

La característica por la que se definió o formuló una Maquina Universal de Turing (MUT) fue:

Seleccione al menos una respuesta.

	a. Es una máquina que es capaz de simular cualquier otra máquina de Turing. (MT)	Correcto: De allí su nombre de universal.
	b. La MUT se diseñó para simular algoritmos que solucionan problemas infinitos
	c. Es una máquina programable, pues la entrada tiene el código de cualquier MT con sus datos de entrada.	Correcto
	d. Simula cualquier lenguaje generado por una gramática dada.	Incorrecto

Correcto

Puntos para este envío: 1/1.

Question8

Puntos: 1

La demostración de que había problemas que una máquina no podía resolver , obedece a:

Seleccione una respuesta.

	a. Church
	b. Hilbert	Incorrecto
	c. Greibach
	d. Halting

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)

Incorrecto

Puntos para este envío: 0/1.

Question9

Puntos: 1

Una de las características del método de Reducibilidad de Turing es:

Seleccione al menos una respuesta.

	a. El método determina como la solución de un problema, puede llevar a solucionar otro
	b. El método soluciona un problema en un conjunto de varios problemas tratado de forma independiente.	Incorrecto
	c. El método no hace referencia a como se solucionan dos o mas problemas simultáneamente	Correcto
	d. El método no garantiza la solución de ningún problema pero si su decibilidad	Incorrecto

La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos problemas computacionales: Una manera más simple de determinar la indecibilidad es utilizando el método de reducción

Parcialmente correcto

Puntos para este envío: 0.5/1.

Question10

Puntos: 1

Dependiendo de los diferentes tipos de Máquinas de Turing (MT), estas se comportan de manera diferente en la solución de problemas. Para una MT MULTIPISTA, indique una propiedad válida de esta.

Seleccione una respuesta.

	a. La cinta esta dividida en un número finito de k pistas
	b. La cinta está en un número infinito de k pistas. Por eso es MULTIPISTA
	c. Por cada cinta , requiere de un estado de aceptación “halt”	Incorrecto: El número de estados no define el tipo de máquina.
	d. En esta MT no se inicializan las cintas por que tienen muchas pistas.

Hay ciertos modelos de computación relacionados con las máquinas de Turing, que poseen el mismo potencial como reconocedor de lenguajes que el modelo básico. Dentro de esas modificaciones, una muy particular es la MULTIPISTA que resulta muy efectiva para solución de problemas extensos.

Incorrecto

Puntos para este envío: 0/1.

Question11

Puntos: 1

E número de estados posibles para un diagrama de estados está dado por:

Seleccione una respuesta.

	a. 2( potencia k(m-1)) Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada). m= la salida del codificador Si K =1 ; m= 3. El total de estados es cuatro.
	b. 2( potencia n) Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada (número de bits). Para un codificador convolucional de ratio R = ½ co K=1 El total de estados es cuatro.	Incorrecto: La fórmula está errada
	c. 2( potencia k(n-1)) Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada (número de bits). Si K =1 ; n= 3. El total de estados es cuatro.
	d. 2( potencia k(m-1)) Dónde: K= la secuencia en cantidad de bits que van a entrar al codificador. m= la memoria del codificador ( es restringida) n = es una salida codificada (número de bits).

Incorrecto

Puntos para este envío: 0/1.

Question12

Puntos: 1

Cuando se realizan simulaciones ya sea con software con JFLAV o VAS o con cualquier herramienta de software que cumpla las bases de simulación de automatización, o acogiéndose a los teoremas y funciones propias de cada autómata, se puede afirmar:

Seleccione una respuesta.

	a. La simulación de MT es posible solo si es una MT de una sola cinta. Para MT multicinta basta con cambiar el estado o salida final	Incorrecto: Se pueden simular tanto varias pistas como cintas en una MT
	b. Los autómatas (AFD,AFN) y los autómatas de pila (AFDP o AFPN) se pueden simular con máquinas de Turing.
	c. La simulación no permite determinar el poder computacional de la máquina
	d. La simulación de Autómatas de PILA no tiene en cuenta el manejo de memoria, sino el de estados.

La simulación de autómatas parte del principio básico de representar un autómata Finito.

Incorrecto

Puntos para este envío: 0/1.

Question13

Puntos: 1

La máquina universal de Turing esta diseña para realizar cualquier calculo especifico – particular debido a que:

Seleccione una respuesta.

	a. Es un intérprete de la información de salida
	b. Parará cuando el cálculo sea indeterminado.
	c. Las instrucciones se basan en una fase del algoritmo universal	Respuesta Incorrecta: Se analiza todo el algoritmo.
	d. Es capaz de ejecutar cualquier algoritmo

Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada correcta para esa MT particular).

Incorrecto

Puntos para este envío: 0/1.

Question14

Puntos: 1

Las máquinas de Turing han ayudado a:

Seleccione al menos una respuesta.

	a. El modelo de máquina abstracta, su diseño fue basado la lógica y la teoría de las decisiones.	Incorrecto: A Turing propuso en los años 30 un modelo de maquina abstracta, como una extensión de los autómatas finitos, que resultó ser de una gran simplicidad y poderío a la vez
	b. Demostrar que los lenguajes de programación no resuelven todos los problemas computacionales	Correcto: Gracias a su equivalencia con los lenguajes de programación, entonces facilitan la demostración de que cierto problema, no se puede resolver con un lenguaje de programación
	c. Poder reconocer y procesa mas lenguajes.	Correcto: Básicamente se trata del diseño de un Autómata con mayor poder de reconocimiento y proceso de lenguajes, que tomas y fusiona aspectos de un AF y de un PDA.
	d. Construir lenguajes de programación por ser tan sencillas en su diseño.	Incorrecto: Por ser tan de demasiado de “Bajo Nivel” no resultan prácticas para programar

Los modelos abstractos de computación tienen su origen en los años 30, bastante antes de que existieran los ordenadores modernos, en el trabajo de los lógicos Church, Gödel, Kleene, Post, y (Alan Mathison Turing). Estos primeros trabajos han tenido una profunda influencia no solo en el desarrollo teórico de las Ciencias de la Computación, sino que muchos aspectos de la práctica de la computación que son ahora lugar común de los informáticos, fueron presagiados por ellos; incluyendo la existencia de ordenadores de propósito general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representación de lenguajes por estructuras formales basados en reglas de producción.

Correcto

Puntos para este envío: 1/1.

Question15

Puntos: 1

El comportamiento de la siguiente máquina de Turing es:

Seleccione al menos una respuesta.

	a. Reconoce solo cadenas que inicien con cero, independiente de los uso seguidos o ceros que contenga	Incorrecto
	b. Cualquier cadena la recorre la cinta y se posiciona en el extremo derecho	Incorrecto
	c. Al recorrer solo cadenas de unos , la cabeza lectora se posiciona en el extremo más izquierdo	Correcto
	d. No acepta cadenas de unos seguidos. Debe al menos existir un cero	Correcto

Correcto

Puntos para este envío: 1/1.