• No se han encontrado resultados

Quiz 3 Unidad No 3 Question

In document Automatas y Lenguajes Formales (página 47-54)

Puntos: 1

Las máquinas de Turing (MT) son también aceptadoras de lenguajes. Analice si los lenguajes dados aplican a la tarea que cumplen estas máquinas

Seleccione al menos una respuesta.

a. El lenguaje {w pertenece {a,b}* | w

contiene al menos una b} no es independiente del contexto y por tanto no es decidible por máquinas de Turing.

Incorrecto

 b. El lenguaje {w pertenece {a,b}* | w contiene al menos una a} es decidible por máquinas de Turing.

Correcto: Esta opción (El lenguaje) descrito es independiente del contexto, y por tanto decidibles por máquinas de Turing

c. El lenguaje {w pertenece {a,b}* | w

contiene tantas a´s como b´s} no es decidible  por máquinas de Turing

Incorrecto: Si es decidible, d. El lenguaje {w pertenece {a,b}* | w

contiene tantas a´s como b´s} es decidible por máquinas de Turing.

Correcto: Esta opción (El lenguaje) descrito es independiente del contexto, y por tanto decidibles por máquinas de Turing

Correcto

Puntos para este envío: 1/1. Question 2

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

“b”

 b. La máquina acepta palabras que empiezan con

“a”

Correcto: La letra de entrada de la MT es a, y cuando llega a halt es aceptada la cadena.

c. 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”.

d.Si la primera letra no es una “a”, la MT cae en un ciclo infinito leyendo y escribiendo “b”

Parcialmente correcto

Puntos para este envío: 0.5/1. Question 3

Puntos: 1

La decodificación para canales con ruido usando las técnicas de codificación

convolucional, se hace mediante el algoritmo de Viterbi. El objetivo de aplicar este método es:

Seleccione una respuesta.

a. Que los bits redundantes que acompañan al dato, ayuden a detectar y corregir errores en la transmisión. El método separa los bits redundantes y muestra el dato.

 b. Identificar la mayor cantidad de bits de control para

compararlos con los bits de datos.

c. Encontrar el último estado que posee el error.

d. Reducir la cantidad de transiciones y cálculos cuando se presentan los bits

redundantes y datos codificados.

Correcto: Lo que se consigue aplicando este método es reducir el número de cálculos. Según el algoritmo de Viterbi, para reducir el número de cálculos, cada vez que dos trayectos (también llamados ramas) se  junten en un estado en el Diagrama de Trellis, el de

mayor métrica acumulada se desecha en la búsqueda del trayecto óptimo

La codificación convolucional se decodifica con ayuda del algoritmo de Viterbi. El proceso consiste en desechar algunos de todos los caminos posibles. Lo que se consigue aplicando este método es reducir el número de cálculos.

Correcto

Puntos para este envío: 1/1. Question 4

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

Seleccione al menos una respuesta.

a. No es una maquina válida ya que no define un estado final que acepta unas cadenas (no

interpreta un lenguaje definido).

 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.

d. 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.

Correcto

Puntos para este envío: 1/1. Question 5

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 compilador

 b. Un codificador secuencial con estados fijos pero con memoria (ej: codificador convolucional)

c. Soluciones computacionales de arquitecturas híbridas de algoritmos infinitos.

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

Correcto

Puntos para este envío: 1/1. Question 6

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 está en un número infinito de k pistas. Por eso es MULTIPISTA

 b. En esta MT no se inicializan las cintas  por que tienen muchas pistas.

c. Por cada cinta , requiere de un estado

de aceptación “halt”

d. La cinta esta dividida en un número finito de k pistas

Correcto: En el modelo multipista, la cinta está dividida en un número finito de k  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.

Correcto

Puntos para este envío: 1/1. Question 7

Puntos: 1

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 detiene.

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. Cambio de estado.

Correcto: En una MT de Turing no es cierto que el movimiento del cabezal, implique vaciar la cinta o inicializar los símbolos iniciales

c. Imprime un símbolo en la cinta

reemplazando el símbolo leído. Correcto: En una MT de Turing no es cierto que elmovimiento del cabezal, implique vaciar la cinta o inicializar los símbolos iniciales

d. Todo movimiento del cabezal vacía la cinta y la inicializa en cero.

Incorrecto: En una MT de Turing no es cierto que el movimiento del cabezal, implique vaciar la cinta o inicializar los ímbolos iniciales

La palabra de entrada en la MT está escrita inicialmente en la cinta, como es habitual en nuestros autómatas, pero iniciando a partir de la segunda posición 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). Correcto

Puntos para este envío: 1/1. Question 8

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. Las instrucciones se  basan en una fase del

algoritmo universal c. Parará cuando el cálculo sea indeterminado. d. Es capaz de ejecutar cualquier algoritmo

Respuesta Correcta: una M T capaz de ejecutar cualquier algoritmo; es decir capaz de realizar los cálculos que

realizaría cualquier otra MT, o sea, capaz de simular (tener el mismo comportamiento) cualquier MT particular.

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). Correcto

Puntos para este envío: 1/1. Question 9

Puntos: 1

Acerca de las Máquinas de Turing, Cuál de las siguientes afirmaciones es cierta: Seleccione una respuesta.

a. Conociendo la posición del cabezal, se conoce la situación actual de la máquina de Turing.

 b. Una máquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena

Correcto: Las acciones que puede ejecutar en la cinta la MT pueden ser: Escribe un símbolo 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.

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

d. Cualquier lenguaje puede ser

reconocido por una máquina de Turing

La operación de la MT consta de los siguientes pasos: 1. Lee un caracter en la cinta 2. Efectúa una transición de estado 3. Realiza una acción en la cinta

Correcto

Puntos para este envío: 1/1. Question 10

Puntos: 1

Una de las bases o fundamentos en que se apoyaba el PRINCIPIO DE CHURCH-TURING estaba fundado en aspectos de:

Seleccione una respuesta.

a. La lógica computacional

 b. La aplicación de funciones computables

c. La simulación Correcto

d. El diseño computacional

"Todo proceso físico puede ser simulado por un dispositivo universal de computación." Correcto

Puntos para este envío: 1/1. Question 11

Puntos: 1

Seleccione al menos una respuesta.

a. Máquina que recorrerá las cadenas hasta el final de la cinta  pero se devolverá al extremo izquierdo (L)

 b. Si se comporta como máquina reconocedora de lenguajes, aceptara solo cadenas que contengan pares de uso y pares de ceros sin importar su combinación

c. Es una máquina que recorrerá “cualquier cadena”

(combinación de 0´s y 1´s hasta el final de la cinta

Correcto: Máquina que va al final de la cinta

d. Si se ejecuta o se comporta como un Transductor, para la

cadena 00110011 , la salida va a ser 1. Correcto

Correcto

Puntos para este envío: 1/1. Question 12

Puntos: 1

El caractér blanco que se ubica en la parte derecha de la cinta de una Máquina de Turing, está presente dada la condición de:

Seleccione una respuesta.

a. La cinta es infinita a la derecha Correcto

 b. La cinta es infinita a la izquierda y finita a la derecha c. La cinta es de solo lectura

d. La cinta es finita a la derecha y a la izquierda

La palabra de entrada en la MT está escrita inicialmente en la cinta, como es habitual en nuestros autómatas, pero iniciando a partir de la segunda posición 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 Correcto

Puntos para este envío: 1/1. Question 13

Puntos: 1

Seleccione cuál de las siguientes situaciones no es posible cuando una máquina de Turing determinista examina una cadena:

Seleccione una respuesta.

a. El problema de parada solo aplica a Máquinas de Turing no deterministas. Las Deterministas solucionan este problema  b. Se produce una terminación anormal (es

decir, la cabeza lectora se desplaza a la izquierda de la primera celda de la cinta) c. La máquina no se detiene nunca

d. La máquina abandona los cálculos por no encontrar ninguna transición aplicable

Correcto: Puesto que la máquina es determinista, necesariamente encuentra siempre una transición aplicable.

Ya que cualquier máquina de Turing determinista es también no determinista, es lógico que una máquina de Turing determinista se pueda simular mediante una no determinista.

También una máquina de Turing determinista puede simular una no determinista. Por tanto, no se gana ninguna potencia adicional a causa del no determinismo.

Correcto

Puntos para este envío: 1/1. Question 14

Puntos: 1

Dentro de los componentes de una máquina de Turing (MT), está el símbolo “blanco” B. El

comportamiento de este símbolo es: Seleccione una respuesta.

a. Están situados al extremo izquierdo de la cinta.

 b. También pertenece al alfabeto de cadenas a reconocer. c. Indica un movimiento nulo de la cabeza lectora.

d. Aparece en todas las casillas excepto en aquellas que contienen los

símbolos de entrada. Correcto

Corresponde a la formalización de las Máquinas de Turing (MT) como un séptuplo en la que hace parte el símbolo blanco.

Correcto

Puntos para este envío: 1/1. Question 15

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= 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).

Correcto  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.

c. 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.

d. 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.

In document Automatas y Lenguajes Formales (página 47-54)

Documento similar