TOTALES EVALUACIONES

51
Act 12: Lección Evaluativa Unidad No. 3 Revisión del intento 1 Finalizar revis ión Comenzado el sábado, 10 de mayo de 2014, 00:27 Completado el sábado, 10 de mayo de 2014, 00:48 Tiempo empleado 20 minutos 45 segundos Puntos 9/10 Calificación 27 de un máximo de 30 (90%) Comentario - Correcto: Contestó la totalidad de las preguntas. Question1 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. Seleccione una respuesta. a. 00 b. 11 c. 01 d. 10 Correcto Puntos para este envío: 1/1. Question2

Transcript of 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

    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

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question4

    Puntos: 1

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

    verdaderas).

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question5

    Puntos: 1

    Indique cul de las siguientes afirmaciones es cierta con referencia a las Mquinas de Turing:

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question6

    Puntos: 1

    Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las

    computadoras reales.

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question7

    Puntos: 1

  • De los modelos creados para realizar cmputos y desarrollar problemas, es

    vlido afirmar:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question8

    Puntos: 1

    De las siguientes caractersticas marque dos de las que corresponden con la

    cinta de una Mquina de Turing

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    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

    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:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    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

    Revisin del intento 1

    Finalizar revisin

    Comenzado el sbado, 10 de mayo de 2014, 00:56

    Completado el sbado, 10 de mayo de 2014, 01:54

    Tiempo empleado 58 minutos 54 segundos

    Puntos 13/15

    Calificacin 26 de un mximo de 30 (87%)

    Question1

    Puntos: 1

    E nmero de estados posibles para un diagrama de estados est dado por:

    Seleccione una respuesta.

    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 codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada (nmero de bits). Para un codificador convolucional de ratio R = co K=1 El total de estados es cuatro.

    Correcto

    Puntos para este envo: 1/1.

    Question2

    Puntos: 1

    Una de las caractersticas del mtodo de Reducibilidad de Turing es:

    Seleccione al menos una respuesta.

    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

    / Revisin del intento 1

    Act 13: Quiz 3 Unidad No. 3

    Revisin del intento 1

    Finalizar revisin

    Comenzado el sbado, 10 de mayo de 2014, 00:56

    Completado el sbado, 10 de mayo de 2014, 01:54

    Tiempo empleado 58 minutos 54 segundos

    Puntos 13/15

    Calificacin 26 de un mximo de 30 (87%)

    Question1

    Puntos: 1

    E nmero de estados posibles para un diagrama de estados est dado por:

    Seleccione una respuesta.

    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 codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada (nmero de bits). Para un codificador convolucional de ratio R = co K=1 El total de estados es cuatro.

    Correcto

    Puntos para este envo: 1/1.

    Question2

    Puntos: 1

    Una de las caractersticas del mtodo de Reducibilidad de Turing es:

    Seleccione al menos una respuesta.

    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

  • Act 12: Leccin Evaluativa Unidad No. 3

    Revisin del intento 1

    Finalizar revisin

    Comenzado el viernes, 9 de mayo de 2014, 21:57

    Completado el viernes, 9 de mayo de 2014, 22:56

    Tiempo empleado 59 minutos 7 segundos

    Puntos 8/10

    Calificacin 24 de un mximo de 30 (80%)

    Comentario - Correcto: Contest la totalidad de las preguntas.

    Question1

    Puntos: 1

    De los modelos creados para realizar cmputos y desarrollar problemas, es

    vlido afirmar:

    Seleccione una respuesta.

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

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

    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.

    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.

    Incorrecto

    Puntos para este envo: 0/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.

  • Act 12: Leccin Evaluativa Unidad No. 3

    Revisin del intento 1

    Finalizar revisin

    Comenzado el viernes, 9 de mayo de 2014, 21:57

    Completado el viernes, 9 de mayo de 2014, 22:56

    Tiempo empleado 59 minutos 7 segundos

    Puntos 8/10

    Calificacin 24 de un mximo de 30 (80%)

    Comentario - Correcto: Contest la totalidad de las preguntas.

    Question1

    Puntos: 1

    De los modelos creados para realizar cmputos y desarrollar problemas, es

    vlido afirmar:

    Seleccione una respuesta.

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

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

    para expresar cmputos, pero s el que ms ha perdurado

    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.

    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.

    Incorrecto

    Puntos para este envo: 0/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. Se pueden combinar dos Mquinas de Turing (MT) permitiendo que compartan la misma

    cinta y, que cuando una termine su ejecucin, la otra empiece.

    c. La MT es un mecanismo abstracto avanzado que tiene el mismo poder computacional que

    las mquinas reales.

    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

    Puntos para este envo: 1/1.

    Question3

    Puntos: 1

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

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question4

    Puntos: 1

    Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las

    computadoras reales.

    Seleccione al menos una respuesta.

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

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

    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.

    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

    Puntos para este envo: 1/1.

    Question6

    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

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question7

    Puntos: 1

    Un cdigo convolucional se disea cuando a partir de registros de desplazamiento lineal.

    Los cdigos convolucionales, suelen describirse mediante:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question8

    Puntos: 1

    Indique cul de las siguientes afirmaciones es cierta con referencia a las Mquinas de Turing:

    Seleccione al menos una respuesta.

    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.

    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

    Puntos para este envo: 1/1.

    Question9

    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:

    Seleccione una respuesta.

    a. Decidir si un lenguaje que se genera es vaco o no, es un problema que s tiene

    solucin por una MT.

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

    siquiera los reconozca).

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

    que en teora sea indecidible.

    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

    Puntos para este envo: 1/1.

    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)

  • Seleccione una respuesta.

    a. xxxV

    b. xxxVV

    c. xx(x)V

    d. xxxV

    Incorrecto

    Puntos para este envo: 0/1.

    Finalizar revisin

    Usted se ha autentificado como CARLOS GEOVANY MORAN (Salir)

    Act 13: Quiz 3 Unidad No. 3

    Revisin del intento 1

    Finalizar revisin

  • Comenzado el viernes, 9 de mayo de 2014, 23:05

    Completado el sbado, 10 de mayo de 2014, 00:03

    Tiempo empleado 58 minutos 58 segundos

    Puntos 12/15

    Calificacin 24 de un mximo de 30 (80%)

    Question1

    Puntos: 1

    Un diagrama de estados puede representar un codificador convolucional porque:

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    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.

    Seleccione una respuesta.

    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

    Puntos para este envo: 0/1.

    Question3

    Puntos: 1

    Si se disea una MT se est diseando.

    Seleccione una respuesta.

    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

    Puntos para este envo: 0/1.

    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.

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question5

    Puntos: 1

    La caracterstica por la que se defini o formul una Maquina Universal de Turing (MUT) fue:

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question6

    Puntos: 1

    Para las siguientes afirmaciones Indique cul es verdadera:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    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:

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    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:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question9

    Puntos: 1

    El comportamiento de la siguiente Mquina de Turing (MT) es:

  • Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question10

    Puntos: 1

    Las funciones computables son usadas para:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/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:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question12

    Puntos: 1

    Cuando se realizan simulaciones ya sea con software con JFLAV o VAS o con

    cualquier herramienta de software que cumpla las bases de simulacin de

    automatizacin, o acogindose a los teoremas y funciones propias de cada

    autmata, se puede afirmar:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question13

    Puntos: 1

    Una analoga funcional, operacional de una Mquina de Turing con un

    componente fsico real podra ser:

    Seleccione una respuesta.

    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

    Puntos para este envo: 0/1.

    Question14

    Puntos: 1

    Dentro de los componentes de una mquina de Turing (MT), est el smbolo blanco B. El

    comportamiento de este smbolo es:

    Seleccione una respuesta.

  • 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

    Puntos para este envo: 1/1.

    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

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Finalizar revisin

    Usted se ha autentificado como CARLOS GEOVANY MORAN (Salir)

    301405A

  • Act 11: Reconocimiento UnidaAd No. 3

    Revisin del intento 1

    Finalizar revisin

    Comenzado el domingo, 4 de mayo de 2014, 23:37

    Completado el lunes, 5 de mayo de 2014, 00:34

    Tiempo empleado 56 minutos 48 segundos

    Puntos 5.5/6

    Calificacin 9.2 de un mximo de 10 (92%)

    Comentario - Correcto: Contest la totalidad de las preguntas.

    Question1

    Puntos: 1

    Cules diferencias entre una computadora Real y una mquina de Turing (MT) son verdaderas:

    Seleccione al menos una respuesta.

    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

    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:

    Seleccione al menos una respuesta.

    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:

    Seleccione al menos una respuesta.

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

    b. La velocidad que se mantenga.

    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:

    Seleccione una respuesta.

    a. Los de codificacin de fuente:

    b. Los de codificacin de ruido

    c. Los de codificacin de canal

    d. Los de codificacin AWGN

    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:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question6

    Puntos: 1

    De la teora de la codificacin se puede decir: (seale las apreciaciones verdaderas):

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Finalizar revisin

    Usted se ha autentificado como NISER CHADI MOSQUERA (Salir)

    301405A

    Usted est aqu

    campus13_20141

    / 301405A

    / Cuestionarios

    / Act 12: Leccin Evaluativa Unidad No. 3

    / Revisin del intento 1

    Act 12: Leccin Evaluativaa 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

    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

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question4

    Puntos: 1

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

    verdaderas).

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question5

    Puntos: 1

  • Indique cul de las siguientes afirmaciones es cierta con referencia a las Mquinas de Turing:

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question6

    Puntos: 1

    Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las

    computadoras reales.

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question7

    Puntos: 1

    De los modelos creados para realizar cmputos y desarrollar problemas, es

    vlido afirmar:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question8

    Puntos: 1

    De las siguientes caractersticas marque dos de las que corresponden con la

    cinta de una Mquina de Turing

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    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

    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:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Finalizar revisin

    Usted se ha autentificado como NISER CHADI MOSQUERA (Salir)

    301405A

    Act 13: Quiz 3 Unidad No. 3

    Revisin del intento 1

    Finalizar revisin

    Comenzado el sbado, 10 de mayo de 2014, 00:56

    Completado el sbado, 10 de mayo de 2014, 01:54

    Tiempo empleado 58 minutos 54 segundos

    Puntos 13/15

    Calificacin 26 de un mximo de 30 (87%)

    Question1

    Puntos: 1

    E nmero de estados posibles para un diagrama de estados est dado por:

    Seleccione una respuesta.

    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

    codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada

    (nmero de bits). Para un codificador convolucional de ratio R = co K=1 El total de

    estados es cuatro.

  • Correcto

    Puntos para este envo: 1/1.

    Question2

    Puntos: 1

    Una de las caractersticas del mtodo de Reducibilidad de Turing es:

    Seleccione al menos una respuesta.

    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

    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

    Puntos para este envo: 1/1.

    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:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question4

    Puntos: 1

    Para las siguientes afirmaciones Indique cul es verdadera:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question5

    Puntos: 1

    Las mquinas de Turing han ayudado a:

    Seleccione al menos una respuesta.

  • 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

    Puntos para este envo: 1/1.

    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)

    Seleccione una respuesta.

    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

    Puntos para este envo: 0/1.

    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:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question8

    Puntos: 1

    Seleccione cul de las siguientes situaciones no es posible cuando una

    mquina de Turing determinista examina una cadena:

    Seleccione una respuesta.

  • 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

    Puntos para este envo: 1/1.

    Question9

    Puntos: 1

    La forma correcta de operar una Mquina de Turing (MT) es:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question10

    Puntos: 1

    Dentro de los componentes de una mquina de Turing (MT), est el smbolo blanco B. El

    comportamiento de este smbolo es:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    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:

    Seleccione una respuesta.

    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

    Puntos para este envo: 0/1.

    Question12

    Puntos: 1

    La mquina universal de Turing esta disea para realizar cualquier calculo

    especifico particular debido a que:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    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:

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    Question14

    Puntos: 1

    Un diagrama de estados puede representar un codificador convolucional porque:

    Seleccione al menos una respuesta.

    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

    Puntos para este envo: 1/1.

    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:

    Seleccione una respuesta.

    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 para este envo: 1/1.

  • Finalizar revisin

    Usted se ha autentificado como NISER CHADI MOSQUERA (Salir)

    Act 12: Leccin Evaluativa Unidad No. 3

    Revisin del intento 1

    Finalizar revisin

    Comenzado el sbado, 10 de mayo de 2014, 03:01

    Completado el sbado, 10 de mayo de 2014, 03:31

    Tiempo empleado 29 minutos 47 segundos

    Puntos 9/10

    Calificacin 27 de un mximo de 30 (90%)

    Comentario - Correcto: Contest la totalidad de las preguntas.

    Question1

    Puntos: 1

    Un cdigo convolucional se disea cuando a partir de registros de desplazamiento lineal.

    Los cdigos convolucionales, suelen describirse mediante:

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question2

    Puntos: 1

  • Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question3

  • Puntos: 1

    Acerca del tipo de cadenas que puede aceptar una Mquina de Turing,

    determine cul afirmacin es vlida.

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question4

    Puntos: 1

    La Mquina de Turing, y un autmata finito, tienen similitudes como:

    Seleccione al menos una respuesta.

    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

  • Puntos para este envo: 1/1.

    Question5

    Puntos: 1

    De los modelos creados para realizar cmputos y desarrollar problemas, es

    vlido afirmar:

    Seleccione una respuesta.

    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.

    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

    Puntos para este envo: 1/1.

    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.

    Que aspectos son vlidos para el comportamiento de una MT..?

    Seleccione al menos una respuesta.

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

    cinta y, que cuando una termine su ejecucin, la otra empiece.

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

    de lenguajes.

    c. La MT es un mecanismo abstracto avanzado que tiene el mismo poder computacional que

    las mquinas reales.

    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

    Puntos para este envo: 1/1.

    Question7

    Puntos: 1

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

    Seleccione una respuesta.

    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

    Puntos para este envo: 1/1.

    Question8

    Puntos: 1

    De las siguientes caractersticas marque dos de las que corresponden con la

    cinta de una Mquina de Turing

    Seleccione al menos una respuesta.

  • a. Puede contener un caracter por celda

    b. Se puede escribir en ella

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

    topeo carcter blanco.

    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

    Puntos para este envo: 1/1.

    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

    Puntos para este envo: 0/1.

    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)

  • Seleccione una respuesta.

    a. xxxV

    b. xx(x)V

    c. xxxVV

    d. xxxV

    Correcto

    Puntos para este envo: 1/1.

    Finalizar revisin

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