Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Automatas Quiz 3 PDF
Automatas Quiz 3 PDF
3
Revisin del intento 1
Finalizar revisin
Question1
Puntos: 1
Dado los siguientes tres codificadores convolucionales, diseados 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 (segn el caso) se deben sobrescribir o
reemplazar.
a. 00
b. 11
c. 01
d. 10
Correcto
Puntos para este envo: 1/1.
Question2
Puntos: 1
Una Mquina de Turing (MT) se puede comportar como un aceptador de lenguaje, de la misma forma que lo hace un Autmata finito
(AF) o un Autmata de Pila (AP) as: Colocando una cadena en la cinta, situando la cabeza de lectura/escritura sobre el smbolo del
extremo izquierdo de la cadena y al poner en marcha la mquina a partir de su estado inicial. Entonces es aceptada si, despus de una
secuencia de movimientos, la MT llega a un estado final y para.
Que aspectos son vlidos para el comportamiento de una MT..?
a. Es vlido empezar el diseo de una MT por el diseo de un AF. Ambos son aceptadores
de lenguajes.
b. Para rechazar una cadena que no es aceptable, lo nico que hay que hacer es evitar que
se llegue a un estado final.
d. Se pueden combinar dos Mquinas de Turing (MT) permitiendo que compartan la misma
cinta y, que cuando una termine su ejecucin, la otra empiece.
Correcto
Puntos para este envo: 1/1.
Question3
Puntos: 1
Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los Problemas de decisin
(PD).
Que aspectos en anlisis son vlidos para apoyar esta teora
a. Se puede decir que un lenguaje es decidible por que existe una MT que los puede
reconocer.
c. Un PD podra ser aqul formulado por una pregunta (referida a alguna propiedad) que
requiere una respuesta de tipo si/no. Hay problemas de decisin de tipo soluble,
parcialmente soluble e insoluble
d. Mientras que los lenguajes computables son una infinidad numerable, los lenguajes no
computables son una infinidad no numerable.
Correcto
Puntos para este envo: 1/1.
Question4
Puntos: 1
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 mquina abstracta.
Question5
Puntos: 1
Indique cul de las siguientes afirmaciones es cierta con referencia a las Mquinas de Turing:
a. El diseo de las MT bsicamente es el de un autmata finito pero un Autmata con mayor poder de
reconocimiento y proceso de lenguajes, que tomas y fusiona aspectos de un PDA.
c. Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena
Correcto
Puntos para este envo: 1/1.
Question6
Puntos: 1
Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las
computadoras reales.
a. En las mquinas reales estn definidos procesos de manera jerrquica. En las MT estos
procesos estn definidos por el nmero de estados.
c. Las MUT son de un solo propsito. Las mquinas reales interpretan muchos programas
escritos en diferentes lenguajes (multipropsito).
d. Los lenguajes de programacin, tienen a lo sumo el mismo poder de expresin que el de los
programas para una Mquina de Turing (MT) y en la prctica no todos lo alcanzan.
Correcto
Puntos para este envo: 1/1.
Question7
Puntos: 1
De los modelos creados para realizar cmputos y desarrollar problemas, es
vlido afirmar:
b. Las funciones computables hacen referencia o son iguales a afirmar que son modelos
computables.
c. Los modelos propuestos por Hilbert, solucionan cualquier problema "No soluble"
Question8
Puntos: 1
b. Cinta Finita hacia la derecha, por que al extremo izquierdo siempre esta un
topeo carcter blanco.
a. 100
b. 001
c. 110
d. 010
Incorrecto
Puntos para este envo: 0/1.
Question10
Puntos: 1
c. Hay infinitos problemas para los que no se va a tener una MT que los resuelva (ni
siquiera los reconozca).
Una MT que los resuelva (ni siquiera los reconozca). Tambin se ha formulado
la tesis de Church-Turing, que determina el lmite de los computadores
actuales
Correcto
Puntos para este envo: 1/1.
Finalizar revisin
Correcto
Puntos para este envo: 1/1.
Question2
Puntos: 1
Correcto
Puntos para este envo: 1/1.
Question2
Puntos: 1
Question1
Puntos: 1
c. Los modelos propuestos por Hilbert, solucionan cualquier problema "No soluble"
d. Las funciones computables hacen referencia o son iguales a afirmar que son modelos
computables.
Question2
Puntos: 1
Una Mquina de Turing (MT) se puede comportar como un aceptador de lenguaje, de la misma forma que lo hace un Autmata finito
(AF) o un Autmata de Pila (AP) as: Colocando una cadena en la cinta, situando la cabeza de lectura/escritura sobre el smbolo del
extremo izquierdo de la cadena y al poner en marcha la mquina a partir de su estado inicial. Entonces es aceptada si, despus de una
secuencia de movimientos, la MT llega a un estado final y para.
Que aspectos son vlidos para el comportamiento de una MT..?
Puntos 8/10
Question1
Puntos: 1
c. Los modelos propuestos por Hilbert, solucionan cualquier problema "No soluble"
d. Las funciones computables hacen referencia o son iguales a afirmar que son modelos
computables.
Incorrecto
Puntos: 1
Una Mquina de Turing (MT) se puede comportar como un aceptador de lenguaje, de la misma forma que lo hace un Autmata finito
(AF) o un Autmata de Pila (AP) as: Colocando una cadena en la cinta, situando la cabeza de lectura/escritura sobre el smbolo del
extremo izquierdo de la cadena y al poner en marcha la mquina a partir de su estado inicial. Entonces es aceptada si, despus de
una secuencia de movimientos, la MT llega a un estado final y para.
a. Es vlido empezar el diseo de una MT por el diseo de un AF. Ambos son aceptadores
de lenguajes.
b. Se pueden combinar dos Mquinas de Turing (MT) permitiendo que compartan la misma
cinta y, que cuando una termine su ejecucin, la otra empiece.
d. Para rechazar una cadena que no es aceptable, lo nico que hay que hacer es evitar que
se llegue a un estado final.
Correcto
Question3
Puntos: 1
Question4
Puntos: 1
Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las
computadoras reales.
a. En las mquinas reales estn definidos procesos de manera jerrquica. En las MT estos
procesos estn definidos por el nmero de estados.
b. Las MUT son de un solo propsito. Las mquinas reales interpretan muchos programas
escritos en diferentes lenguajes (multipropsito).
d. Los lenguajes de programacin, tienen a lo sumo el mismo poder de expresin que el de los
programas para una Mquina de Turing (MT) y en la prctica no todos lo alcanzan.
Correcto
Question5
Puntos: 1
Dado los siguientes tres codificadores convolucionales, diseados 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 (segn el caso) se deben sobrescribir o
reemplazar.
Seleccione una respuesta.
a. 00
b. 01
c. 11
d. 10
Correcto
Question6
Puntos: 1
Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los Problemas de decisin (PD).
a. Un PD podra ser aqul formulado por una pregunta (referida a alguna propiedad) que
requiere una respuesta de tipo si/no. Hay problemas de decisin de tipo soluble,
parcialmente soluble e insoluble
b. Mientras que los lenguajes computables son una infinidad numerable, los lenguajes no
computables son una infinidad no numerable.
c. Si se presenta un lenguaje decidible, es por que hay un algoritmo que la MT reconoce.
d. Se puede decir que un lenguaje es decidible por que existe una MT que los puede
reconocer.
Correcto
Question7
Puntos: 1
Correcto
Question8
Puntos: 1
Indique cul de las siguientes afirmaciones es cierta con referencia a las Mquinas de Turing:
c. Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena
d. El diseo de las MT bsicamente es el de un autmata finito pero un Autmata con mayor poder de
reconocimiento y proceso de lenguajes, que tomas y fusiona aspectos de un PDA.
Correcto
Question9
Puntos: 1
b. Hay infinitos problemas para los que no se va a tener una MT que los resuelva (ni
siquiera los reconozca).
Una MT que los resuelva (ni siquiera los reconozca). Tambin se ha formulado
la tesis de Church-Turing, que determina el lmite de los computadores
actuales
Correcto
Question10
Puntos: 1
Con que configuracin de cinta se detendr la mquina de Turing mostrada a continuacin si comienza con la cinta configurada
como xxx . Asuma el orden con que estn numerados los estados para el proceso.
La "V" indica la posicin en la que estara la mquina. Para el caso de los s+mbolos "x" estara representado como (x)
Seleccione una respuesta.
a. xxxV
b. xxxVV
c. xx(x)V
d. xxxV
Incorrecto
Finalizar revisin
Puntos 12/15
Question1
Puntos: 1
Correcto
Question2
Puntos: 1
a. Posicin de estado (01) con entrada de dato 0. Cambio de estado 10 con salida
de dato codificado {11}
b. Posicin de estado (00) con entrada de dato 1. Cambio de estado 00 con salida
de dato codificado {01}
c. Posicin de estado (01) con entrada de dato 1. Cambio de estado 10 con salida
de dato codificado {00}
d. Posicin de estado (11) con entrada de dato 0. Cambio de estado 11 con salida
de dato codificado {01}
Incorrecto
Question3
Puntos: 1
b. Se est diseando una mquina universal que representa lenguajes generados pro
gramticas de tipo 2
c. Se est diseando una AFND que puede tener lambda transiciones (dado este por
su capacidad y potencia)
d. Se est diseando una mquina abstracta sin memoria y sin procesos. Solo con
cambios de estado.
Incorrecto
Question4
Puntos: 1
Correcto
Question5
Puntos: 1
La caracterstica por la que se defini o formul una Maquina Universal de Turing (MUT) fue:
a. Es una mquina que es capaz de simular cualquier otra mquina de Turing. (MT)
d. Es una mquina programable, pues la entrada tiene el cdigo de cualquier MT con sus
datos de entrada.
Correcto
Question6
Puntos: 1
d. Una mquina de Turing multicinta nunca entrar en un bucle (ciclo que se ejecute
indefinidamente.)
Los lenguajes formales que son aceptados por una mquina de Turing son
exactamente aquellos que pueden ser generados por una gramtica formal. El
clculo Lambda es una forma de definir funciones. Las funciones que pueden
se computadas con el clculo Lambda son exactamente aquellas que pueden
ser computadas con una mquina de Turing. Estos tres formalismos, las
mquinas de Turing, los lenguajes formales y el clculo Lambda son
formalismos muy dismiles y fueron desarrollados por diferentes personas. Sin
embargo, ellos son todos equivalentes y tienen el mismo poder de expresin.
Generalmente se toma esta notable coincidencia como evidencia de que la
tesis de Church-Turing es cierta, que la afirmacin de que la nocin intuitiva de
algoritmo o procedimiento efectivo de cmputo corresponde a la nocin de
cmputo en una mquina de Turing.
Correcto
Question7
Puntos: 1
Mquina de Turing (MT) de dos direcciones: Una Mquina de Turing con una cinta infinita en un sentido puede simular una Mquina
de Turing con la cinta infinita en los dos sentidos.
Sea M una Mquina de Turing con una cinta infinita en los dos sentidos, entonces:
a. La pista inferior y superior leen los datos simultneamente en ambos sentidos. Luego y
dependiendo de los estado repetitivos, se detiene una pista y contina la que menos celdas
tenga ocupada.
d. La Mquina de Turing M que tiene una Cinta Infinita en un sentido, puede simular a M si tiene
una cinta con dos pistas.
Correcto
Question8
Puntos: 1
Correcto
Question9
Puntos: 1
c. La mquina recorre todas las as que entren y borra una a una hasta que
encuentra un smbolo blanco en la cinta y acepta la cadena
Correcto
Question10
Puntos: 1
Question11
Puntos: 1
La decodificacin para canales con ruido usando las tcnicas de codificacin convolucional, se
hace mediante el algoritmo de Viterbi. El objetivo de aplicar este mtodo es:
b. Identificar la mayor cantidad de bits de control para compararlos con los bits de datos.
c. Que los bits redundantes que acompaan al dato, ayuden a detectar y corregir
errores en la transmisin. El mtodo separa los bits redundantes y muestra el dato.
Correcto
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 simulacin de
automatizacin, o acogindose a los teoremas y funciones propias de cada
autmata, se puede afirmar:
a. Los autmatas (AFD,AFN) y los autmatas de pila (AFDP o AFPN) se pueden simular con
mquinas de Turing.
Correcto
Question13
Puntos: 1
a. Un codificador secuencial con estados fijos pero con memoria (ej: codificador convolucional)
d. Un compilador
Incorrecto
Question14
Puntos: 1
Dentro de los componentes de una mquina de Turing (MT), est el smbolo blanco B. El
comportamiento de este smbolo es:
c. Aparece en todas las casillas excepto en aquellas que contienen los smbolos de
entrada.
Corresponde a la formalizacin de las Mquinas de Turing (MT) como un sptuplo en la que hace
parte el smbolo blanco.
Correcto
Question15
Puntos: 1
Correcto
Finalizar revisin
301405A
Act 11: Reconocimiento UnidaAd No. 3
Revisin del intento 1
Finalizar revisin
Question1
Puntos: 1
Cules diferencias entre una computadora Real y una mquina de Turing (MT) son verdaderas:
Correcto
Puntos para este envo: 1/1.
Question2
Puntos: 1
A las computadoras reales y las MT se les asocian muchas similitudes y diferencias: Cules diferencias entre una computadora Real y una
mquina de Turing (MT) son verdaderas:
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question3
Puntos: 1
Cuando se transmite informacin, las variables a evaluar, medir, seguir y monitorear son:
c. Redundancia
d. Nivel de ruido
Correcto
Puntos para este envo: 1/1.
Question4
Puntos: 1
La codificacin redundante tiene como objetivo introducir smbolos para asegurar la veracidad en
la trasmisin. Esto se logra por medio de algoritmos que aseguran la veracidad de la informacin
transmitida procurando no perder velocidad en la trasmisin. Los algoritmos para la veracidad
son:
Correcto
Puntos para este envo: 1/1.
Question5
Puntos: 1
Una de las tcnicas usadas que permite determinar la indecibilidad en algunos problemas computacionales es:
Correcto
Puntos para este envo: 1/1.
Question6
Puntos: 1
a. Los algoritmos matemticos son mtodos para lograr que la informacin se adapte mejor
a las condiciones de las transmisiones.
Correcto
Puntos para este envo: 1/1.
Finalizar revisin
Question1
Puntos: 1
Dado los siguientes tres codificadores convolucionales, diseados 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 (segn el caso) se deben sobrescribir o
reemplazar.
a. 00
b. 11
c. 01
d. 10
Correcto
Puntos para este envo: 1/1.
Question2
Puntos: 1
Una Mquina de Turing (MT) se puede comportar como un aceptador de lenguaje, de la misma forma que lo hace un Autmata finito
(AF) o un Autmata de Pila (AP) as: Colocando una cadena en la cinta, situando la cabeza de lectura/escritura sobre el smbolo del
extremo izquierdo de la cadena y al poner en marcha la mquina a partir de su estado inicial. Entonces es aceptada si, despus de una
secuencia de movimientos, la MT llega a un estado final y para.
Que aspectos son vlidos para el comportamiento de una MT..?
a. Es vlido empezar el diseo de una MT por el diseo de un AF. Ambos son aceptadores
de lenguajes.
b. Para rechazar una cadena que no es aceptable, lo nico que hay que hacer es evitar que
se llegue a un estado final.
c. La MT es un mecanismo abstracto avanzado que tiene el mismo poder computacional que
las mquinas reales.
d. Se pueden combinar dos Mquinas de Turing (MT) permitiendo que compartan la misma
cinta y, que cuando una termine su ejecucin, la otra empiece.
Correcto
Puntos para este envo: 1/1.
Question3
Puntos: 1
Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los Problemas de decisin
(PD).
Que aspectos en anlisis son vlidos para apoyar esta teora
a. Se puede decir que un lenguaje es decidible por que existe una MT que los puede
reconocer.
c. Un PD podra ser aqul formulado por una pregunta (referida a alguna propiedad) que
requiere una respuesta de tipo si/no. Hay problemas de decisin de tipo soluble,
parcialmente soluble e insoluble
d. Mientras que los lenguajes computables son una infinidad numerable, los lenguajes no
computables son una infinidad no numerable.
Correcto
Puntos para este envo: 1/1.
Question4
Puntos: 1
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 mquina abstracta.
a. El diseo de las MT bsicamente es el de un autmata finito pero un Autmata con mayor poder de
reconocimiento y proceso de lenguajes, que tomas y fusiona aspectos de un PDA.
c. Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena
Correcto
Puntos para este envo: 1/1.
Question6
Puntos: 1
Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las
computadoras reales.
a. En las mquinas reales estn definidos procesos de manera jerrquica. En las MT estos
procesos estn definidos por el nmero de estados.
c. Las MUT son de un solo propsito. Las mquinas reales interpretan muchos programas
escritos en diferentes lenguajes (multipropsito).
d. Los lenguajes de programacin, tienen a lo sumo el mismo poder de expresin que el de los
programas para una Mquina de Turing (MT) y en la prctica no todos lo alcanzan.
Correcto
Puntos para este envo: 1/1.
Question7
Puntos: 1
b. Las funciones computables hacen referencia o son iguales a afirmar que son modelos
computables.
c. Los modelos propuestos por Hilbert, solucionan cualquier problema "No soluble"
Question8
Puntos: 1
b. Cinta Finita hacia la derecha, por que al extremo izquierdo siempre esta un
topeo carcter blanco.
Question9
Puntos: 1
Dado los siguientes tres codificadores convolucionales, diseados 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 y
determine el valor de m los bits que quedan en la memoria del cdigo de longitud restringida:
Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (segn el caso) se deben sobrescribir o
reemplazar.
Seleccione una respuesta.
a. 100
b. 001
c. 110
d. 010
Incorrecto
Puntos para este envo: 0/1.
Question10
Puntos: 1
c. Hay infinitos problemas para los que no se va a tener una MT que los resuelva (ni
siquiera los reconozca).
Finalizar revisin
Puntos 13/15
Question1
Puntos: 1
Question2
Puntos: 1
Correcto
Question3
Puntos: 1
La decodificacin para canales con ruido usando las tcnicas de codificacin convolucional, se
hace mediante el algoritmo de Viterbi. El objetivo de aplicar este mtodo es:
a. Que los bits redundantes que acompaan al dato, ayuden a detectar y corregir
errores en la transmisin. El mtodo separa los bits redundantes y muestra el dato.
d. Identificar la mayor cantidad de bits de control para compararlos con los bits de datos.
La codificacin 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 mtodo es reducir el nmero de clculos.
Correcto
Question4
Puntos: 1
c. Una mquina de Turing multicinta nunca entrar en un bucle (ciclo que se ejecute
indefinidamente.)
Los lenguajes formales que son aceptados por una mquina de Turing son
exactamente aquellos que pueden ser generados por una gramtica formal. El
clculo Lambda es una forma de definir funciones. Las funciones que pueden
se computadas con el clculo Lambda son exactamente aquellas que pueden
ser computadas con una mquina de Turing. Estos tres formalismos, las
mquinas de Turing, los lenguajes formales y el clculo Lambda son
formalismos muy dismiles y fueron desarrollados por diferentes personas. Sin
embargo, ellos son todos equivalentes y tienen el mismo poder de expresin.
Generalmente se toma esta notable coincidencia como evidencia de que la
tesis de Church-Turing es cierta, que la afirmacin de que la nocin intuitiva de
algoritmo o procedimiento efectivo de cmputo corresponde a la nocin de
cmputo en una mquina de Turing.
Correcto
Question5
Puntos: 1
Los modelos abstractos de computacin tienen su origen en los aos 30, bastante antes de que existieran los ordenadores modernos,
en el trabajo de los lgicos Church, Gdel, Kleene, Post, y (Alan Mathison Turing). Estos primeros trabajos han tenido una profunda
influencia no solo en el desarrollo terico de las Ciencias de la Computacin, sino que muchos aspectos de la prctica de la
computacin que son ahora lugar comn de los informticos, fueron presagiados por ellos; incluyendo la existencia de ordenadores de
propsito general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representacin de lenguajes por
estructuras formales basados en reglas de produccin.
Correcto
Question6
Puntos: 1
El siguiente dato: 01011101 se ha codificado con el codificador convolucional y su salida con errores leyendo de
izquierda a derecha los pares han sido: 11 00 00 10 11 01 00 01
La distancia de haming dh encontradas en el dato codificado son (seleccione la correcta). (de izquierda a derecha)
Incorrecto
Question7
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 simulacin de
automatizacin, o acogindose a los teoremas y funciones propias de cada
autmata, se puede afirmar:
c. Los autmatas (AFD,AFN) y los autmatas de pila (AFDP o AFPN) se pueden simular con
mquinas de Turing.
Correcto
Question8
Puntos: 1
Correcto
Question9
Puntos: 1
La mquina de Turing (abreviado MT) tiene, como los autmatas que hemos
visto antes, un control finito, una cabeza lectora y una cinta donde puede
haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta
es de longitud infinita hacia la derecha, hacia donde se extiende
indefinidamente, llenndose los espacios con el caracter blanco (que
representaremos con t). La cinta no es infinita hacia la izquierda, por lo que
hay un cuadro de la cinta que es el extremo izquierdo, como en la figura En la
MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser
modificada en curso de ejecucin. Adems, en la MT la cabeza se mueve
bidireccionalmente (izquierda y derecha), por lo que puede pasar repetidas
veces sobre un mismo segmento de la cinta.
Correcto
Question10
Puntos: 1
Dentro de los componentes de una mquina de Turing (MT), est el smbolo blanco B. El
comportamiento de este smbolo es:
a. Aparece en todas las casillas excepto en aquellas que contienen los smbolos de
entrada.
Corresponde a la formalizacin de las Mquinas de Turing (MT) como un sptuplo en la que hace
parte el smbolo blanco.
Correcto
Question11
Puntos: 1
La teora de Shannon pudo comprobar que para canales ruidosos al considerar que existe una probabilidad de error en la
transmisin de rfagas de smbolos para cualquier velocidad, dentro de la capacidad del canal e independientemente del tipo de
informacin que se envi.
Incorrecto
Question12
Puntos: 1
Correcto
Question13
Puntos: 1
Mquina de Turing (MT) de dos direcciones: Una Mquina de Turing con una cinta infinita en un sentido puede simular una Mquina
de Turing con la cinta infinita en los dos sentidos.
Sea M una Mquina de Turing con una cinta infinita en los dos sentidos, entonces:
b. La pista inferior y superior leen los datos simultneamente en ambos sentidos. Luego y
dependiendo de los estado repetitivos, se detiene una pista y contina la que menos celdas
tenga ocupada.
c. La Mquina de Turing M que tiene una Cinta Infinita en un sentido, puede simular a M si tiene
una cinta con dos pistas.
Correcto
Question14
Puntos: 1
Correcto
Question15
Puntos: 1
Dado el siguiente codificador convolucional, asuma para un dato de entrada K = 01011101 con
una m=3 iniciada en 000: Calcule el dato codificado n sin errores despus de pasar por el
codificador. El dato codificado es:
a. 11 01 00 10 01 10 00 01
b. 11 11 00 10 11 00 11 01
c. 11 00 00 10 11 01 00 01
d. 11 10 00 10 01 01 00 01
Correcto
Puntos 9/10
Question1
Puntos: 1
Correcto
Question2
Puntos: 1
Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx
Correcto
Question3
Puntos: 1
Acerca del tipo de cadenas que puede aceptar una Mquina de Turing,
determine cul afirmacin es vlida.
a. Por ser una mquina tan simple pero a la vez tan potente, resulta fcil que cualquier
lenguaje puede ser reconocido por una mquina de Turing
b. Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda
cadena
c. 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.
d. Es posible que un lenguaje sea estructurado por frases pero no exista ninguna mquina de
Turing que se detenga exclusivamente cuando las cadenas escritas en su cinta pertenezcan al
lenguaje
Correcto
Question4
Puntos: 1
d. Un control finito
Mquina de Turing (abreviado MT) tiene, como los autmatas que hemos visto
antes, un control finito, una cabeza lectora y una cinta donde puede haber
caracteres, y donde eventualmente viene la palabra de entrada
Correcto
Puntos para este envo: 1/1.
Question5
Puntos: 1
a. Las funciones computables hacen referencia o son iguales a afirmar que son modelos
computables.
c. Los modelos propuestos por Hilbert, solucionan cualquier problema "No soluble"
Correcto
Question6
Puntos: 1
Una Mquina de Turing (MT) se puede comportar como un aceptador de lenguaje, de la misma forma que lo hace un Autmata finito
(AF) o un Autmata de Pila (AP) as: Colocando una cadena en la cinta, situando la cabeza de lectura/escritura sobre el smbolo del
extremo izquierdo de la cadena y al poner en marcha la mquina a partir de su estado inicial. Entonces es aceptada si, despus de
una secuencia de movimientos, la MT llega a un estado final y para.
b. Es vlido empezar el diseo de una MT por el diseo de un AF. Ambos son aceptadores
de lenguajes.
d. Para rechazar una cadena que no es aceptable, lo nico que hay que hacer es evitar que
se llegue a un estado final.
Correcto
Question7
Puntos: 1
Correcto
Question8
Puntos: 1
c. Cinta Finita hacia la derecha, por que al extremo izquierdo siempre esta un
topeo carcter blanco.
Correcto
Question9
Puntos: 1
Dado los siguientes tres codificadores convolucionales, diseados 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 y
determine el valor de m los bits que quedan en la memoria del cdigo de longitud restringida:
Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (segn el caso) se deben sobrescribir o
reemplazar.
Seleccione una respuesta.
a. 100
b. 001
c. 010
d. 110
Incorrecto
Question10
Puntos: 1
Con que configuracin de cinta se detendr la mquina de Turing mostrada a continuacin si comienza con la cinta configurada
como xxx . Asuma el orden con que estn numerados los estados para el proceso.
La "V" indica la posicin en la que estara la mquina. Para el caso de los s+mbolos "x" estara representado como (x)
Seleccione una respuesta.
a. xxxV
b. xx(x)V
c. xxxVV
d. xxxV
Correcto
Finalizar revisin