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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Correcto
Puntos para este envío: 1/1.
Question10
Puntos: 1
Si iniciamos la máquina de Turing siguiente con la cadena yyxyxx


20
Seleccione una respuesta.
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:

2
Seleccione al menos una respuesta.
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.
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.
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.


25
Seleccione al menos una respuesta.
Correcto
Puntos para este envío: 1/1.
Question5
Puntos: 1
Para las siguientes afirmaciones Indique cuál es verdadera:
Seleccione una respuesta.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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:


28
Seleccione al menos una respuesta.
Correcto
Puntos para este envío: 1/1.

Comentarios

Entradas más populares de este blog

PENSAMIENTO LOGICO Y MATEMATICO

PENSAMIENTO LOGICO Y MATEMATICO

PENSAMIENTO LOGICO Y MATEMATICO