Totales Evaluaciones

Act 12: Leccin Evaluativa Unidad No.
3
Revisin del intento 1
Finalizar revisin

Comenzado el sbado, 10 de mayo de 2014, 00:27
Completado el sbado, 10 de mayo de 2014, 00:48
Tiempo empleado 20 minutos 45 segundos
Puntos 9/10
Calificacin 27 de un mximo de 30 (90%)
Comentario - Correcto: Contest la totalidad de las preguntas.
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.

Seleccione una respuesta.

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

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

b. Si se presenta un lenguaje decidible, es por que hay un algoritmo que la MT reconoce.

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
Question4
Puntos: 1
Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione las opciones
verdaderas).

a. El problema de la parada o problema de la detencin es de hecho soluble y la Teora
de la Computacin lo defini como tal

b. El problema de Halting es el primer problema indecidible mediante maquinas de
Turing

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.

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

El problema de Halting es el primer problema indecidible mediante mquinas
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
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.

b. Cualquier lenguaje puede ser reconocido por una mquina de Turing

c. Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena

d. El diseo de una MT es procedimentalmente sencillo para programar lenguajes de mquinas
reales.

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

b. Los computadores electrnicos, basados en la arquitectura Von Neumann as como las
mquinas cunticas tendran exactamente el mismo poder de expresin que el de una Mquina
de Turing (MT) si dispusieran de recursos ilimitados de tiempo y espacio.

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
Question7
Puntos: 1
De los modelos creados para realizar cmputos y desarrollar problemas, es
vlido afirmar:

a. La MT no es un modelo Computable ya que solo se basa en simulacin.

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"

d. Las llamadas mquinas de Turing no constituyen ni el primero ni el nico formalismo
para expresar cmputos, pero s el que ms ha perdurado

Las llamadas mquinas de Turing no constituyen ni el primero ni el nico
formalismo para expresar cmputos, pero s el que ms ha perdurado.
Su creador, el matemtico ingls Alan Turing (1912-1954) estaba convencido
de que no exista un algoritmo para el problema de decisin planteado por
Hilbert y su intencin era demostrar dicha no existencia.

El modelo en el que se inspir fue el de una persona real llevando a cabo un
clculo mecnico, por ejemplo una multiplicacin de dos grandes nmeros en
el sistema decimal.
Correcto
Question8
Puntos: 1
De las siguientes caractersticas marque dos de las que corresponden con la
cinta de una Mquina de Turing

a. Puede contener un caracter por celda

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

c. Se puede escribir en ella

d. Cinta Infinita hacia la izquierda
La mquina de Turing (abreviado MT) tiene, como los autmatas 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, llenndose
los espacios con el caracter blanco
Correcto
Question9
Puntos: 1
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:
reemplazar.


a. 100

b. 001

c. 110

d. 010
Incorrecto
Question10
Puntos: 1
Los problemas indecidibles, son tambin parte del estudio de Autmatas 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. Decidir si un lenguaje que se genera es vaco o no, es un problema que s tiene
solucin por una MT.

b. Las MT por ser la mquina abstracta ms poderosa, soluciona cualquier problema
que en teora sea indecidible.

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

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). Tambin se ha formulado
la tesis de Church-Turing, que determina el lmite de los computadores
actuales
Correcto
Finalizar revisin

Usted se ha autentificado como NISER CHADI MOSQUERA (Salir)
301405A

Usted est aqu
campus13_20141
/ 301405A
/ Cuestionarios
/ Act 13: Quiz 3 Unidad No. 3
/ Revisin del intento 1
Act 13: Quiz 3 Unidad No. 3
Finalizar revisin

Puntos 13/15
Question1
Puntos: 1
E nmero de estados posibles para un diagrama de estados est dado por:

a. 2( potencia k(m-1)) Dnde: 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
(nmero de bits).

b. 2( potencia k(n-1)) Dnde: K= es el nmero de bits de la cadena a evaluar (antes de ser
codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada
(nmero de bits). Si K =1 ; n= 3. El total de estados es cuatro.

c. 2( potencia k(m-1)) Dnde: K= es el nmero 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 n) Dnde: K= es el nmero de bits de la cadena a evaluar (antes de ser
(nmero de bits). Para un codificador convolucional de ratio R = co K=1 El total de
estados es cuatro.

Correcto
Question2
Puntos: 1
Una de las caractersticas del mtodo de Reducibilidad de Turing es:

a. El mtodo no hace referencia a como se solucionan dos o mas problemas simultneamente

b. El mtodo determina como la solucin de un problema, puede llevar a solucionar otro

c. El mtodo no garantiza la solucin de ningn problema pero si su decibilidad

Usted est aqu
campus13_20141
/ 301405A
/ Cuestionarios
/ Act 13: Quiz 3 Unidad No. 3
Finalizar revisin

Puntos 13/15
Question1
Puntos: 1

(nmero de bits).



estados es cuatro.

Correcto
Question2
Puntos: 1



Act 12: Leccin Evaluativa Unidad No. 3
Finalizar revisin

Comenzado el viernes, 9 de mayo de 2014, 21:57
Completado el viernes, 9 de mayo de 2014, 22:56
Puntos 8/10
Question1
Puntos: 1
vlido afirmar:


b. Las llamadas mquinas de Turing no constituyen ni el primero ni el nico formalismo


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


el sistema decimal.
Incorrecto
Question2
Puntos: 1
Finalizar revisin

Completado el viernes, 9 de mayo de 2014, 22:56
Puntos 8/10
Question1
Puntos: 1
vlido afirmar:


b. Las llamadas mquinas de Turing no constituyen ni el primero ni el nico formalismo


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


el sistema decimal.
Incorrecto
Question2
Puntos: 1
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.

de lenguajes.

b. Se pueden combinar dos Mquinas de Turing (MT) permitiendo que compartan la misma

las mquinas reales.

d. Para rechazar una cadena que no es aceptable, lo nico que hay que hacer es evitar que

Correcto
Question3
Puntos: 1
Un ascensor sin memoria de un edificio de cuatro plantas puede describirse:

a. Mediante un autmata finito

b. Mediante un autmata de pila, pero no mediante un autmata finito

c. Mediante una mquina de Turing, pero no mediante un autmata de pila

d. No es un problema soluble. Es un problema de decisin
Al no tener memoria, el ascensor es una mquina que experimenta una
transicin de estado como funcin exclusiva del estado en que se encuentra y
el evento que recibe (botn pulsado por un usuario).
Correcto
Question4
Puntos: 1


b. Las MUT son de un solo propsito. Las mquinas reales interpretan muchos programas

c. Los computadores electrnicos, basados en la arquitectura Von Neumann as como las


Correcto
Question5
Puntos: 1
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:
reemplazar.


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

b. Mientras que los lenguajes computables son una infinidad numerable, los lenguajes no

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
Un cdigo convolucional se disea cuando a partir de registros de desplazamiento lineal.
Los cdigos convolucionales, suelen describirse mediante:

a. rboles y diagramas de estados

b. Autmatas finitos (grafos). Mquinas de estados

c. Autmatas finitos (grafos). Mquinas de estados

d. rboles, Trellis y Diagrama de estados.
Correcto
Question8
Puntos: 1

a. Cualquier lenguaje puede ser reconocido por una mquina de Turing

b. El diseo de una MT es procedimentalmente sencillo para programar lenguajes de mquinas
reales.


d. El diseo de las MT bsicamente es el de un autmata finito pero un Autmata con mayor poder de

Correcto
Question9
Puntos: 1


solucin por una MT.

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

c. Las MT por ser la mquina abstracta ms poderosa, soluciona cualquier problema


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


a. xxxV

b. xxxVV

c. xx(x)V

d. xxxV
Incorrecto
Finalizar revisin

Usted se ha autentificado como CARLOS GEOVANY MORAN (Salir)

Finalizar revisin

Puntos 12/15
Question1
Puntos: 1
Un diagrama de estados puede representar un codificador convolucional porque:

a. Se comporta como una mquina con diferentes estados

b. Es acotado y tiene memoria infinita.

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

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

Correcto
Question2
Puntos: 1
El diagrama de Viterbi, dentro de sus interacciones o validacin de datos define el cambio de
estados de acuerdo a los datos de entrada. Identifique el dato de entrada correcto y su cambio
de estado con el dato de salida codificado correctamente.

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

c. Posicin de estado (01) con entrada de dato 1. Cambio de estado 10 con salida

d. Posicin de estado (11) con entrada de dato 0. Cambio de estado 11 con salida

Incorrecto
Question3
Puntos: 1
Si se disea una MT se est diseando.

a. Se est diseando un autmata finito que controla la cabeza y la cinta, el cual es un
autmata con salida.

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.

Al disear una MT que acepte un cierto lenguaje, en realidad diseamos el
autmata finito que controla la cabeza y la cinta, el cual es un autmata con
salida As, podemos usar la notacin grfica utilizada para aquellos autmatas
para indicar su funcionamiento.
Incorrecto
Question4
Puntos: 1
Dependiendo de los diferentes tipos de Mquinas de Turing (MT), estas se
comportan de manera diferente en la solucin de problemas. Para una MT
MULTIPISTA, indique una propiedad vlida de esta.

a. La cinta est en un nmero 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 aceptacin halt

d. La cinta esta dividida en un nmero finito de k pistas
Hay ciertos modelos de computacin relacionados con las mquinas de Turing,
que poseen el mismo potencial como reconocedor de lenguajes que el modelo
bsico. Dentro de esas modificaciones, una muy particular es la MULTIPISTA
que resulta muy efectiva para solucin de problemas extensos.
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)

b. Simula cualquier lenguaje generado por una gramtica dada.

c. La MUT se dise para simular algoritmos que solucionan problemas infinitos

d. Es una mquina programable, pues la entrada tiene el cdigo de cualquier MT con sus
datos de entrada.

Correcto
Question6
Puntos: 1
Para las siguientes afirmaciones Indique cul es verdadera:

a. Una mquina de Turing determinista puede meterse en un ciclo que se ejecute
indefinidamente.

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

c. Un autmata finito nunca puede meterse en un ciclo que se ejecute indefinidamente

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:
Para que se logre o se d esta mquina se debe cumplir:

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.

b. La pista inferior contiene la parte izquierda de la cinta M (en orden inverso).

c. La cinta superior contiene informacin correspondiente a la parte derecha de la cinta M a partir
de un punto de referencia dado.

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.

Hay otras definiciones de las mquinas de Turing que son equivalentes.
Algunos de esos modelos alternativos son mucho ms complicados aunque
todos tienen la misma potencia computacional (o de clculo). Muchas de ellas
dotan de mayor flexibilidad al diseo de una mquina de Turing que resuelva
un problema en particular.
Correcto
Question8
Puntos: 1
El caractr blanco que se ubica en la parte derecha de la cinta de una Mquina
de Turing, est presente dada la condicin de:

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

b. La cinta es infinita a la derecha

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

d. La cinta es de solo lectura
La palabra de entrada en la MT est escrita inicialmente en la cinta, como es
habitual en nuestros autmatas, pero iniciando a partir de la segunda posicin
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
Question9
Puntos: 1
El comportamiento de la siguiente Mquina de Turing (MT) es:


a. La mquina tiene un mal diseo. No acepta las cadenas por que no se ha
definido un tope de cinta.

b. La mquina entra e un bucle indefinido

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

d. La mquina recorre todas las as pero no se detiene
Correcto
Question10
Puntos: 1
Las funciones computables son usadas para:

a. Simular algoritmos con funciones modeladas

b. Definir algoritmos modelados.

c. Discutir computabilidad sin referirse a ningn modelo.

d. Definir funciones basados en modelos.
Las funciones computables son usadas para discutir computabilidad sin
referirse a ningn modelo de computacin concreto, como el de la mquina de
Turing o el de la mquina de registros
Correcto
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:

a. Reducir la cantidad de transiciones y clculos cuando se presentan los bits
redundantes y datos codificados.

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.

d. Encontrar el ltimo estado que posee el error.
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
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.

b. La simulacin no permite determinar el poder computacional de la mquina

c. La simulacin de MT es posible solo si es una MT de una sola cinta. Para MT multicinta
basta con cambiar el estado o salida final

d. La simulacin de Autmatas de PILA no tiene en cuenta el manejo de memoria, sino el de
estados.

La simulacin de autmatas parte del principio bsico de representar un
autmata Finito.
Correcto
Question13
Puntos: 1
Una analoga funcional, operacional de una Mquina de Turing con un
componente fsico real podra ser:

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

b. Sistemas de cmputo basados en arquitecturas como las de Neumann

c. Soluciones computacionales de arquitecturas hbridas de algoritmos infinitos.

d. Un compilador
Los computadores electrnicos, basados en la arquitectura Von Neumann as
como las mquinas cunticas tendran exactamente el mismo poder de
expresin que el de una mquina de Turing si dispusieran de recursos
ilimitados de tiempo y espacio. Como consecuencia, los lenguajes de
programacin tienen a lo sumo el mismo poder de expresin que el de los
programas para una mquina de Turing y en la prctica no todos lo alcanzan.
Los lenguajes con poder de expresin equivalente al de una mquina de Turing
se denominan Turing completos
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:

a. Tambin pertenece al alfabeto de cadenas a reconocer.

b. Indica un movimiento nulo de la cabeza lectora.

c. Aparece en todas las casillas excepto en aquellas que contienen los smbolos de
entrada.

d. Estn situados al extremo izquierdo de la cinta.
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
Las mquinas de Turing (MT) son tambin aceptadoras de lenguajes. Analice si
los lenguajes dados aplican a la tarea que cumplen estas mquinas

a. El lenguaje {w pertenece {a,b}* | w contiene tantas as como bs} es decidible por
mquinas de Turing.

b. El lenguaje {w pertenece {a,b}* | w contiene tantas as como bs} no es decidible por
mquinas de Turing

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

d. El lenguaje {w pertenece {a,b}* | w contiene al menos una b} no es independiente del
contexto y por tanto no es decidible por mquinas de Turing.

Correcto
Finalizar revisin

Usted se ha autentificado como CARLOS GEOVANY MORAN (Salir)
301405A

Act 11: Reconocimiento UnidaAd No. 3
Finalizar revisin

Comenzado el domingo, 4 de mayo de 2014, 23:37
Completado el lunes, 5 de mayo de 2014, 00:34
Puntos 5.5/6
Calificacin 9.2 de un mximo de 10 (92%)
Question1
Puntos: 1
Cules diferencias entre una computadora Real y una mquina de Turing (MT) son verdaderas:

a. En una MT el n de estados depende del algoritmo.

b. En cuanto al orden de ejecucin de las instrucciones, En la estructura Von Neumann el
secuenciamiento lo marca el orden de colocacin de las instrucciones en la memoria interna y
viene asegurado por el contador de programa.

c. En una MT el orden de ejecucin de las instrucciones no est definido.

d. En una computadora, el nmero de estados viene representado por el contenido de la
memoria.

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

a. En una computadora, el nmero de estados viene representado por el contenido de la
memoria.

b. En una MT el Nmero de estados depende de la cadena, palabra o dato que lea.

c. En una MT el orden de ejecucin de las instrucciones no necesariamente debe estar definido.

d. En cuanto al orden de ejecucin de las instrucciones, En la estructura Von Neumann el
secuenciamiento lo marca el orden de colocacin de las instrucciones en la memoria interna y
viene asegurado por el contador de programa.

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:

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

b. La velocidad que se mantenga.

c. Redundancia

d. Nivel de ruido
Correcto
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:

a. Los de codificacin de fuente:

b. Los de codificacin de ruido

c. Los de codificacin de canal

d. Los de codificacin AWGN
Correcto
Question5
Puntos: 1
Una de las tcnicas usadas que permite determinar la indecibilidad en algunos problemas computacionales es:

a. Usando el mtodo de las Funciones computables

b. Usando el mtodo de Halting

c. Usando el mtodo de Reduccin Reducibilidad de Turing

d. Usando el mtodo de Decibilidad de Teoras Lgicas
Correcto
Question6
Puntos: 1
De la teora de la codificacin se puede decir: (seale las apreciaciones verdaderas):

a. Los algoritmos matemticos son mtodos para lograr que la informacin se adapte mejor
a las condiciones de las transmisiones.

b. La veracidad se consigue introduciendo una redundancia

c. La codificacin de canales con ruido se trata nicamente con la codificacin de canal.

d. La codificacin es una parte de la teora de informacin.
Correcto
Finalizar revisin

301405A

Usted est aqu
campus13_20141
/ 301405A
/ Cuestionarios
/ Act 12: Leccin Evaluativa Unidad No. 3
Act 12: Leccin Evaluativaa Unidad No. 3
Finalizar revisin

Puntos 9/10
Question1
Puntos: 1
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:
reemplazar.


a. 00

b. 11

c. 01

d. 10
Correcto
Question2
Puntos: 1

de lenguajes.

b. Para rechazar una cadena que no es aceptable, lo nico que hay que hacer es evitar que

las mquinas reales.

d. Se pueden combinar dos Mquinas de Turing (MT) permitiendo que compartan la misma

Correcto
Question3
Puntos: 1
Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los Problemas de decisin
(PD).

a. Se puede decir que un lenguaje es decidible por que existe una MT que los puede
reconocer.

b. Si se presenta un lenguaje decidible, es por que hay un algoritmo que la MT reconoce.

c. Un PD podra ser aqul formulado por una pregunta (referida a alguna propiedad) que

d. Mientras que los lenguajes computables son una infinidad numerable, los lenguajes no

Correcto
Question4
Puntos: 1
Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione las opciones
verdaderas).

a. El problema de la parada o problema de la detencin es de hecho soluble y la Teora
de la Computacin lo defini como tal

b. El problema de Halting es el primer problema indecidible mediante maquinas de
Turing

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.

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

El problema de Halting es el primer problema indecidible mediante mquinas
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

a. El diseo de las MT bsicamente es el de un autmata finito pero un Autmata con mayor poder de

b. Cualquier lenguaje puede ser reconocido por una mquina de Turing


d. El diseo de una MT es procedimentalmente sencillo para programar lenguajes de mquinas
reales.

Correcto
Question6
Puntos: 1


b. Los computadores electrnicos, basados en la arquitectura Von Neumann as como las

c. Las MUT son de un solo propsito. Las mquinas reales interpretan muchos programas


Correcto
Question7
Puntos: 1
vlido afirmar:


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




el sistema decimal.
Correcto
Question8
Puntos: 1


b. Cinta Finita hacia la derecha, por que al extremo izquierdo siempre esta un

c. Se puede escribir en ella

Correcto
Question9
Puntos: 1
reemplazar.


a. 100

b. 001

c. 110

d. 010
Incorrecto
Question10
Puntos: 1


solucin por una MT.

b. Las MT por ser la mquina abstracta ms poderosa, soluciona cualquier problema

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


actuales
Correcto
Finalizar revisin

301405A

Finalizar revisin

Puntos 13/15
Question1
Puntos: 1

(nmero de bits).



estados es cuatro.

Correcto
Question2
Puntos: 1




d. El mtodo soluciona un problema en un conjunto de varios problemas tratado de forma
independiente.

La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos
problemas computacionales: Una manera ms simple de determinar la
indecibilidad es utilizando el mtodo de reduccin
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.

b. Reducir la cantidad de transiciones y clculos cuando se presentan los bits
redundantes y datos codificados.

c. Encontrar el ltimo estado que posee el error.

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
Para las siguientes afirmaciones Indique cul es verdadera:

a. Un autmata de pila determinista nunca puede meterse en un ciclo que se ejecute
indefinidamente

b. Una mquina de Turing determinista puede meterse en un ciclo que se ejecute
indefinidamente.

c. Una mquina de Turing multicinta nunca entrar en un bucle (ciclo que se ejecute
indefinidamente.)

d. Un autmata finito nunca puede meterse en un 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
Las mquinas de Turing han ayudado a:

a. El modelo de mquina abstracta, su diseo fue basado la lgica y la teora de las decisiones.

b. Poder reconocer y procesa mas lenguajes.

c. Demostrar que los lenguajes de programacin no resuelven todos los problemas
computacionales

d. Construir lenguajes de programacin por ser tan sencillas en su diseo.
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)


a. Para el par 2 dh= 2 Para el par 5 dh=2 Para el par 6 dh = 2

b. Para el par 2 dh= 2 Para el par 6 dh = 2

c. Para el par 2 dh= 1 Para el par 5 dh = 1 Para el par 6 dh=1 Para el
par 7 dh =2

d. Para el par 2 dh= 1 Para el par 5 dh = 1 Para el par 6 dh = 2
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:

a. La simulacin no permite determinar el poder computacional de la mquina

b. La simulacin de Autmatas de PILA no tiene en cuenta el manejo de memoria, sino el de
estados.

c. Los autmatas (AFD,AFN) y los autmatas de pila (AFDP o AFPN) se pueden simular con
mquinas de Turing.

d. La simulacin de MT es posible solo si es una MT de una sola cinta. Para MT multicinta
basta con cambiar el estado o salida final

La simulacin de autmatas parte del principio bsico de representar un
autmata Finito.
Correcto
Question8
Puntos: 1
Seleccione cul de las siguientes situaciones no es posible cuando una
mquina de Turing determinista examina una cadena:

a. El problema de parada solo aplica a Mquinas de Turing no deterministas. Las
Deterministas solucionan este problema

b. La mquina abandona los clculos por no encontrar ninguna transicin aplicable

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

d. La mquina no se detiene nunca
Ya que cualquier mquina de Turing determinista es tambin no determinista,
es lgico que una mquina de Turing determinista se pueda simular mediante
una no determinista. Tambin una mquina de Turing determinista puede
simular una no determinista. Por tanto, no se gana ninguna potencia adicional
a causa del no determinismo.
Correcto
Question9
Puntos: 1
La forma correcta de operar una Mquina de Turing (MT) es:

a. Inicializacin de la Mquina / Introducir la cadena de entrada en la cinta / La cinta est en
blanco para iniciar / Se pone la unidad de control en el estado inicial / Se posiciona la cabeza
sobre la primera letra de la cadena introducida

b. Inicializacin de la Mquina / Introducir la cadena de entrada en la cinta / La cinta est en
blanco para iniciar / Se posiciona la cabeza sobre la primera letra de la cadena introducida /
Se pone la unidad de control en el estado inicial

c. Inicializacin de la Mquina / Se pone la unidad de control en el estado inicial / La cinta est
en blanco / Introducir la cadena de entrada en la cinta / Se posiciona la cabeza sobre la
primera letra de la cadena introducida

d. Inicializacin de la Mquina / La cinta est en blanco / Introducir la cadena de entrada en la
cinta / Se pone la unidad de control en el estado inicial / Se posiciona la cabeza sobre la
primera letra de la cadena introducida

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.

b. Tambin pertenece al alfabeto de cadenas a reconocer.

c. Indica un movimiento nulo de la cabeza lectora.

d. Estn situados al extremo izquierdo de la cinta.
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.
Su tcnica de deteccin de errores se bas en:

a. Reducir la cantidad de bits a transmitir fraccionndolos en paquetes.

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

c. Introducir bits redundantes dentro de una cadena.

d. Aumentarla velocidad de transmisin solo para bits con paridad 1
La teora de la codificacin redundante se basa en los principios que Shannon
formul 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. Entonces, es indispensable saber cules de los bits recibidos estn
errados, especialmente si se requiere una altsima veracidad por la transmisin
de datos
Incorrecto
Question12
Puntos: 1
La mquina universal de Turing esta disea para realizar cualquier calculo
especifico particular debido a que:

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

b. Es capaz de ejecutar cualquier algoritmo

c. Parar cuando el clculo sea indeterminado.

d. Es un intrprete de la informacin de salida
Esta mquina Universal no debe ser diseada para realizar un clculo
especfico, sino para procesar cualquier informacin (realizar cualquier clculo
especfico -MT particular- sobre cualquier configuracin inicial de entrada
correcta para esa MT particular).
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:
Para que se logre o se d esta mquina se debe cumplir:

a. La pista inferior contiene la parte izquierda de la cinta M (en orden inverso).

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.

d. La cinta superior contiene informacin correspondiente a la parte derecha de la cinta M a partir
de un punto de referencia dado.

Hay otras definiciones de las mquinas de Turing que son equivalentes.
Algunos de esos modelos alternativos son mucho ms complicados aunque
todos tienen la misma potencia computacional (o de clculo). Muchas de ellas
dotan de mayor flexibilidad al diseo de una mquina de Turing que resuelva
un problema en particular.
Correcto
Question14
Puntos: 1
Un diagrama de estados puede representar un codificador convolucional porque:

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

b. Se comporta como una mquina con diferentes estados

c. Es acotado y tiene memoria infinita.

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

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
Finalizar revisin

Finalizar revisin

Puntos 9/10
Question1
Puntos: 1
Un cdigo convolucional se disea cuando a partir de registros de desplazamiento lineal.
Los cdigos convolucionales, suelen describirse mediante:

a. Autmatas finitos (grafos). Mquinas de estados

b. Autmatas finitos (grafos). Mquinas de estados

c. rboles y diagramas de estados

d. rboles, Trellis y Diagrama de estados.
Correcto
Question2
Puntos: 1
Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx


a. La mquina acepta la cadena

b. Hay una terminacin anormal.

c. La mquina solo acepta cadenas con nmeros de smbolos pares

d. La mquina entra en un bucle y no termina nunca.
Decimos que en la MT se llega al final de un clculo cuando se alcanza un
estado especial llamado halt en el control finito, como resultado de una
transicin. Representaremos al halt por h. Al llegar al halt, se detiene la
operacin de la MT, y se acepta la palabra de entrada. As, en la MT no hay
estados finales. En cierto sentido el halt sera entonces el nico estado final,
slo que adems detiene la ejecucin.
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

Al disear una MT que acepte un cierto lenguaje, en realidad diseamos el
autmata finito que controla la cabeza y la cinta, el cual es un autmata con
salida.
Correcto
Question4
Puntos: 1
La Mquina de Turing, y un autmata finito, tienen similitudes como:

a. Un cabezal de lectura y otro para escritura

b. Una cabeza lectora

c. Un alfabeto para la cinta y un alfabeto de entrada

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
Question5
Puntos: 1
vlido 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 simulacin.




el sistema decimal.
Correcto
Question6
Puntos: 1
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. Se pueden combinar dos Mquinas de Turing (MT) permitiendo que compartan la misma

b. Es vlido empezar el diseo de una MT por el diseo de un AF. Ambos son aceptadores
de lenguajes.

las mquinas reales.

d. Para rechazar una cadena que no es aceptable, lo nico que hay que hacer es evitar que

Correcto
Question7
Puntos: 1
Un ascensor sin memoria de un edificio de cuatro plantas puede describirse:

a. Mediante una mquina de Turing, pero no mediante un autmata de pila

b. Mediante un autmata finito

c. No es un problema soluble. Es un problema de decisin

d. Mediante un autmata de pila, pero no mediante un autmata finito
Al no tener memoria, el ascensor es una mquina que experimenta una
transicin de estado como funcin exclusiva del estado en que se encuentra y
el evento que recibe (botn pulsado por un usuario).
Correcto
Question8
Puntos: 1


b. Se puede escribir en ella

c. Cinta Finita hacia la derecha, por que al extremo izquierdo siempre esta un

Correcto
Question9
Puntos: 1
reemplazar.


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


a. xxxV

b. xx(x)V

c. xxxVV

d. xxxV
Correcto
Finalizar revisin

Usted se ha autentificado como TOMAS DE AQUINO MORENO CORDOBA (Salir)

Totales Evaluaciones

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Totales Evaluaciones

Enviado por

Direitos autorais:

Formatos disponíveis

Act 12: Leccin Evaluativa Unidad No.

Você também pode gostar