ayuda automatas.pdf

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:


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


Question4

Puntos: 1

Las transiciones de una Máquina de Turing de varias cintas (MT), tienen las

siguientes características:


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



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:


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


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:


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.



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


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



Question2

Puntos: 1

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

computadoras reales.


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


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:


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.



Question4

Puntos: 1

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

verdaderas).


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


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


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



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:


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


Question7

Puntos: 1

Acerca del tipo de cadenas que puede aceptar una Máquina de Turing,

determine cuál afirmación es válida.


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


Question8

Puntos: 1

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


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.



Question9

Puntos: 1

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


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


Question10

Puntos: 1

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


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


1

Puntos: 1

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


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



Question2

Puntos: 1

Un diagrama de estados puede representar un codificador convolucional porque:


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


Question3

Puntos: 1

Una analogía funcional, operacional de una Máquina de Turing con un

componente físico real podría ser:


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


Question4

Puntos: 1

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


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


Question5

Puntos: 1

Para las siguientes afirmaciones Indique cuál es verdadera:


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


Question6

Puntos: 1

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


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



Question7

Puntos: 1

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


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


Question8

Puntos: 1

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

obedece a:


a. Church

b. Hilbert

Incorrecto

c. Greibach

d. Halting




Incorrecto


Question9

Puntos: 1

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


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



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.


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


Question11

Puntos: 1

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


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


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:


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


Question13

Puntos: 1

La máquina universal de Turing esta diseña para realizar cualquier calculo

especifico – particular debido a que:


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


Question14

Puntos: 1

Las máquinas de Turing han ayudado a:


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


Question15

Puntos: 1

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


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: 1

Cuando se transmite información, las variables a evaluar, medir, seguir y monitorear son:


a. Redundancia

b. Nivel de ruido

c. La velocidad que se mantenga.

d. La veracidad de los datos en todo su sentido.

Correcto


Question2

Puntos: 1

En el campo de la complejidad algorítmica (problemas de algoritmos y de

lógica) se presenta la “Decibilidad de teorías lógicas”. Una técnica para

resolver problemas de este tipo es reducir un problema a otro para comprobar

si tiene o no solución efectiva. Al hacer uso de esta estrategia en el caso que la

respuesta sea negativa, se da:


a. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, se determina la clase de complejidad siendo esta la solución

b. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, se convierte en un problema parcialmente soluble (existe una Máquina de Turing que resuelve el problema, pero puede no parar)

c. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, entonces es probable que solo se solucione usando una Máquina de Turing (MT).

d. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, entonces este nuevo problema tampoco tendrá solución efectiva.

Incorrecto


Question3

Puntos: 1

Cuáles diferencias entre una computadora Real y una máquina de Turing (MT) son verdaderas:


a. En una computadora, el número de estados viene representado por el contenido de la memoria.

b. En una MT el orden de ejecución de las instrucciones no está definido.

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

d. En una MT el nº de estados depende del algoritmo.

Correcto


Question4

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:


a. Si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no existe una Máquina de Turing MT).

b. Si no existe un algoritmo total para determinar si la propiedad y objetivo del problema es verdadera.

c. Si no se logra representar con un diagrama de Moore el problema.

d. Existe un procedimiento definido que determina la ambigüedad del problema

Correcto


Question5

Puntos: 1

De la teoría de la codificación se puede decir: (señale las apreciaciones verdaderas):


a. Los algoritmos matemáticos son métodos para lograr que la información se adapte mejor a las condiciones de las transmisiones.

b. La codificación es una parte de la teoría de información.

c. La codificación de canales con ruido se trata únicamente con la codificación de canal.

d. La veracidad se consigue introduciendo una redundancia



Question6

Puntos: 1

Analice la codificación de la siguiente Máquina: Si lee 0101 (de izquierda a derecha), la salida

correspondiente es:


a. 0110

b. 0111

c. 0011

d. 0101

Correcto

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

Puntos: 1

De las siguientes características marque dos de las que corresponden con la

cinta de una Máquina de Turing


a. Cinta Infinita hacia la izquierda

b. Cinta Finita hacia la derecha, por que al extremo izquierdo siempre esta un topeo carácter blanco.

c. Se puede escribir en ella

d. Puede contener un caracter por celda

La máquina de Turing (abreviado MT) tiene, como los autómatas finitos, 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, llenándose

los espacios con el caracter blanco

Correcto


Question2

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:


a. Hay infinitos problemas para los que no se va a tener una MT que los resuelva (ni siquiera los reconozca).

b. Las MT por ser la máquina abstracta más poderosa, soluciona cualquier problema que en teoría sea indecidible.

c. Decidir si un lenguaje que se genera es vacío o no, es un problema que sí tiene solución por una MT.

d. Con un computador real, se puede determinar con certeza cualquier problema en el sentido si es decidible o no.

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


Question3

Puntos: 1

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


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

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

c. Cualquier lenguaje puede ser reconocido por una máquina de Turing

d. El diseño de una MT es procedimentalmente sencillo para programar lenguajes de máquinas reales.



Question4

Puntos: 1

Un código convolucional se diseña cuando a partir de registros de desplazamiento lineal.

Los códigos convolucionales, suelen describirse mediante:


a. Árboles, Trellis y Diagrama de estados.

b. Autómatas finitos (grafos). Máquinas de estados

c. Autómatas finitos (grafos). Máquinas de estados

d. Árboles y diagramas de estados

Correcto


Question5

Puntos: 1

Dado los siguientes tres codificadores convolucionales, diseñados para trabajar de forma lineal

secuencial redundante:

Se da como entrada el bit “1” en el codificador 1. Haga el recorrido completo hasta llegar a la

salida del codificador 3. Los bits de salida codificados finales son:

Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (según el caso) se

deben sobrescribir o reemplazar.


a. 00

b. 10

c. 11

d. 01

Correcto


Question6

Puntos: 1

De los modelos creados para realizar cómputos y desarrollar problemas, es

válido afirmar:


a. Las funciones computables hacen referencia o son iguales a afirmar que son modelos computables.

b. La MT no es un modelo Computable ya que solo se basa en simulación.

c. Las llamadas máquinas de Turing no constituyen ni el primero ni el único formalismo para expresar cómputos, pero sí el que más ha perdurado

d. Los modelos propuestos por Hilbert, solucionan cualquier problema "No soluble"

Las llamadas máquinas de Turing no constituyen ni el primero ni el único

formalismo para expresar cómputos, pero sí el que más ha perdurado.

Su creador, el matemático inglés Alan Turing (1912-1954) estaba convencido

de que no existía un algoritmo para el problema de decisión planteado por

Hilbert y su intención era demostrar dicha no existencia.

El modelo en el que se inspiró fue el de una persona real llevando a cabo un

cálculo mecánico, por ejemplo una multiplicación de dos grandes números en

el sistema decimal.

Correcto


Question7

Puntos: 1

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


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

b. No está permitido realizar ningún movimiento hacia la izquierda a partir de la celda del extremo izquierdo.

c. Una palabra de entrada a reconocer en una MT se escribe símbolo por símbolo en la cinta

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


Question8

Puntos: 1

Con referencia alas (MT) Máquinas de Turing, indique cuál afirmación es cierta

cuando de reconocer lenguajes se trata:


a. Una Máquina de Turing (MT) acepta su entrada si, partiendo de la configuración inicial, durante el cómputo alcanza la configuración aceptadora.

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

c. Cualquier Lenguaje puede ser reconocido por una Máquina de Turing (MT)

d. Una Máquina de Turing (MT) no puede aceptar el lenguaje de palíndromos, por que entraría en un ciclo repetitivo sin encontrar un estado “Halt”.

Incorrecto


Question9

Puntos: 1

Acerca del tipo de cadenas que puede aceptar una Máquina de Turing,

determine cuál afirmación es válida.


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

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

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



salida.

Correcto


Question10

Puntos: 1

Un ascensor sin memoria de un edificio de cuatro plantas puede describirse:


a. Mediante un autómata de pila, pero no mediante un autómata finito

b. Mediante una máquina de Turing, pero no mediante un autómata de pila

c. No es un problema soluble. Es un problema de decisión

d. Mediante un autómata finito

Al no tener memoria, el ascensor es una máquina que experimenta una

transición de estado como función exclusiva del estado en que se encuentra y

el evento que recibe (botón pulsado por un usuario).

Correcto

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

Puntos: 1

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


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”

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

d. La máquina acepta palabras que empiezan con “b”

Correcto


Question2

Puntos: 1

Acerca de los problemas de HALTING, seleccione dos definiciones válidas para

esa teoría:


a. Estos problemas los solucionan las máquinas de Pila combinadas con AF por contener una memoria que le da mayor capacidad de análisis.

b. Es un problema que puede tener solución pero tiene un bucle infinito que no soluciona la MT.

c. El problema de “Halting” es el primer problema indecidible mediante máquinas de Turing.

d. Corresponde a problemas que tienen solución pero no se pueden representar por un algoritmo

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

Dentro de estos problemas, existe un conjunto al que no le podemos asignar

una respuesta, ni afirmativa ni negativa: no existe un algoritmo que nos

permita determinar si el problema tiene solución.

Correcto


Question3

Puntos: 1

Una analogía funcional, operacional de una Máquina de Turing con un

componente físico real podría ser:


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

b. Un compilador

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

d. Sistemas de cómputo basados en arquitecturas como las de Neumann

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


Question4

Puntos: 1

Seleccione cuál de las siguientes situaciones no es posible cuando una

máquina de Turing determinista examina una cadena:


a. Se produce una terminación anormal (es decir, la cabeza lectora se desplaza a la izquierda de la primera celda de la cinta)

b. La máquina no se detiene nunca

c. El problema de parada solo aplica a Máquinas de Turing no deterministas. Las Deterministas solucionan este problema

d. La máquina abandona los cálculos por no encontrar ninguna 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


Question5

Puntos: 1

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


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.

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


Question6

Puntos: 1

Dentro de la teoría de la información, algunas de las labores identificadas de la “Decodificación”

es


a. La detección y en algunos casos, la corrección de los errores usando los bits redundantes y algoritmos.

b. Entrega al destinatario la información sin la redundancia.

c. Seleccionar datos de etrada.

d. Asignar espacios de memoria (definir estados en este caso).



Question7

Puntos: 1

Si se diseña una MT se está diseñando.


a. Se está diseñando una AFND que puede tener lambda transiciones (dado este por su capacidad y potencia)

b. Se está diseñando una máquina abstracta sin memoria y sin procesos. Solo con cambios de estado.

c. Se está diseñando un autómata finito que controla la cabeza y la cinta, el cual es un autómata con salida.

d. Se está diseñando una máquina universal que representa lenguajes generados pro gramáticas de tipo 2



salida Así, podemos usar la notación gráfica utilizada para aquellos autómatas

para indicar su funcionamiento.

Correcto


Question8

Puntos: 1

Para las siguientes afirmaciones Indique cuál es verdadera:


a. Una máquina de Turing multicinta nunca entrará en un bucle (ciclo que se ejecute indefinidamente.)

b. Un autómata de pila determinista nunca puede meterse en un ciclo que se ejecute indefinidamente

c. Un autómata finito nunca puede meterse en un ciclo que se ejecute indefinidamente

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.

Correcto


Question9

Puntos: 1

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


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

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

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

Correcto


Question10

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:


a. La simulación no permite determinar el poder computacional de la máquina

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

c. La simulación de Autómatas de PILA no tiene en cuenta el manejo de memoria, sino el de estados.

d. Los autómatas (AFD,AFN) y los autómatas de pila (AFDP o AFPN) se pueden simular con máquinas de Turing.

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

autómata Finito.

Correcto


Question11

Puntos: 1

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

obedece a:


a. Halting

b. Hilbert

c. Church

d. Greibach




Correcto


Question12

Puntos: 1

Un diagrama de estados puede representar un codificador convolucional porque:


a. Es acotado y tiene memoria infinita.

b. El diagrama de estados tiene transiciones y maneja memoria finita

c. Es lineal y los desplazamientos de los bits redundantes se pueden realizaren ambas direcciones.

d. Se comporta como una máquina con diferentes estados

Correcto


Question13

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:


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

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

c. Reducir la cantidad de transiciones y cálculos cuando se presentan los bits redundantes y datos codificados.

d. Identificar la mayor cantidad de bits de control para compararlos con los bits de datos.

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


Question14

Puntos: 1

La teoría de Shannon pudo comprobar que para canales ruidosos al considerar que existe una

probabilidad de error en la transmisión de ráfagas de símbolos para cualquier velocidad, dentro de la

capacidad del canal e independientemente del tipo de información que se envié.

Su técnica de detección de errores se basó en:


a. Reducir la cantidad de bits a transmitir fraccionándolos en paquetes.

b. Introducir bits redundantes dentro de una cadena.

c. Para canales con ruido, separar en fracciones paquetes de bits enviados por paridad.

d. Aumentarla velocidad de transmisión solo para bits con paridad 1

La teoría de la codificación redundante se basa en los principios que Shannon

formuló para canales ruidosos al considerar que existe una probabilidad de

error en la transmisión de ráfagas de símbolos para cualquier velocidad, dentro

de la capacidad del canal e independientemente del tipo de información que se

envié. Entonces, es indispensable saber cuáles de los bits recibidos están

errados, especialmente si se requiere una altísima veracidad por la transmisión

de datos

Correcto


Question15

Puntos: 1

La máquina universal de Turing esta diseña para realizar cualquier calculo

especifico – particular debido a que:


a. Las instrucciones se basan en una fase del algoritmo universal

b. Es un intérprete de la información de salida

c. Parará cuando el cálculo sea indeterminado.

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

Correcto


ayuda automatas.pdf

Documents

Transcript of ayuda automatas.pdf