PROGRAMACION ORIENTADA A OBJETOS UNIDAD 3

1

Puntos: 1

La Máquina de Turing puede tener varios movimientos dependiendo de diferentes factores (posición inicial, estado, símbolos de entrada). Un movimiento en la Máquina de Turing depende del símbolo explorado con la cabeza y del estado actual con el que se encuentre la máquina, el resultado puede ser:

Seleccione al menos una respuesta.

	a. Imprime un símbolo en la cinta reemplazando el símbolo leído.	Correcto
	b. Todo movimiento del cabezal vacía la cinta y la inicializa en cero.	Correcto
	c. Estado no cambia.	Incorrecto
	d. Se mueve la cabeza de la cinta a la izquierda, a la derecha o se para.	Correcto: En una MT de Turing no es cierto que el movimiento del cabezal, implique vaciar la cinta o inicializar los símbolos iniciales.

Correcto

Puntos para este envío: 1/1.

Question2

Puntos: 1

Las transiciones de una Máquina de Turing de varias cintas (MT), tienen las siguientes características:

Seleccione al menos una respuesta.

	a. Las transiciones se pueden hacer en varias cintas simultáneamente
	b. La transición depende de los símbolos actuales de todas las cintas.	Correcto: Hace referencia al funcionamiento de una MT.
	c. La transición solo afecta a una cinta (escribir o desplazar).	Correcto: Hace referencia al funcionamiento de una MT. Las transiciones solo afectan a una cinta a la vez cuando la MT es multicinta.
	d. La transición le asigna el carácter de entrada a las demás cintas

Correcto

Puntos para este envío: 1/1.

Question3

Puntos: 1

Algunos problemas computacionales suelen tener características de “indecibilidad”. Las estrategias usadas para poder determinar esta característica en estos problemas es:

Seleccione al menos una respuesta.

	a. Fraccionar o reducir el problema e otros más pequeños	Correcto: La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos problemas computacionales: Una manera más simple de determinar la indecibilidad es utilizando el método de reducción,
	b. Mediante funciones computables, determinar la ambigüedad de solucione y seleccionar la que tenga menos restricciones.	Incorrecto
	c. Al reducir un problema a otros más pequeños, de tal forma que la solucionar uno, tendremos la solución del otro.	Correcto: dado un problema P1, este se reduce a solucionar P2. Es decir, si solucionamos P2, tenemos solucionado P1. De esta manera hemos convertido un problema en otro.
	d. Mediante la decibilidad de teorías lógicas.	Icorrecto

Correcto

Puntos para este envío: 1/1.

Question4

Puntos: 1

Una de las técnicas usadas que permite determinar la indecibilidad en algunos problemas computacionales es:

Seleccione una respuesta.

	a. Usando el método de las “Funciones computables”
	b. Usando el método de “Halting”
	c. Usando el método de “ Decibilidad de Teorías Lógicas”
	d. Usando el método de Reducción “Reducibilidad de Turing”	Correcto: La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos problemas computacionales

Correcto

Puntos para este envío: 1/1.

Question5

Puntos: 1

En el campo de la complejidad algorítmica (problemas de algoritmos y de lógica) se presenta la “Decibilidad de teorías lógicas”. Una técnica para resolver problemas de este tipo es reducir un problema a otro para comprobar si tiene o no solución efectiva. Al hacer uso de esta estrategia en el caso que la respuesta sea negativa, se da:

Seleccione una respuesta.

	a. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, se determina la clase de complejidad siendo esta la solución
	b. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, entonces este nuevo problema tampoco tendrá solución efectiva.	Correcto: El reducir estos problemas implica que lo que se obtenga es evaluable en términos de equivalencia. Si la reducción da como resultado otro problema indecidible, entonces seguirá sin tener solución.
	c. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, se convierte en un problema parcialmente soluble (existe una Máquina de Turing que resuelve el problema, pero puede no parar)
	d. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, entonces es probable que solo se solucione usando una Máquina de Turing (MT).

Correcto

Puntos para este envío: 1/1.

Question6

Puntos: 1

Un problema de decisión (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo “si/no”. Para la Teoría de Lenguajes, un problema de decisión es “insoluble” cuando:

Seleccione al menos una respuesta.

	a. Si no existe un algoritmo total para determinar si la propiedad y objetivo del problema es verdadera.	Correcto: Los diagramas de Moore y de Transición o la forma como se representen los problemas, no tienen nada que ver con la determinación si es insoluble o no
	b. Si no se representa con una Tabla de transiciones el problema.	Incorrecto: Los problemas pueden formularse y representarse de muchas formas. Que tengan o no solución no tienen nada que ver con la forma como se representen. Va es en el sentido del análisis y la formulación del algoritmo
	c. Si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no existe una Máquina de Turing MT).	Correcto: Los diagramas de Moore y de Transición o la forma como se representen los problemas, no tienen nada que ver con la determinación si es insoluble o no
	d. Si no se representa con un diagrama de Moore el problema	Incorrecto: Los diagramas de Moore y de Transición o la forma como se representen los problemas, no tienen nada que ver con la determinación si es insoluble o no

Correcto

Puntos para este envío: 1/1.

1

Puntos: 1

De los modelos creados para realizar cómputos y desarrollar problemas, es válido 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 simulación.
	c. Los modelos propuestos por Hilbert, solucionan cualquier problema "No soluble"
	d. Las llamadas máquinas de Turing no constituyen ni el primero ni el único formalismo para expresar cómputos, pero sí el que más ha perdurado	Correcto

Las llamadas máquinas de Turing no constituyen ni el primero ni el único formalismo para expresar cómputos, pero sí el que más ha perdurado.
Su creador, el matemático inglés Alan Turing (1912-1954) estaba convencido de que no existía un algoritmo para el problema de decisión planteado por Hilbert y su intención era demostrar dicha no existencia.

El modelo en el que se inspiró fue el de una persona real llevando a cabo un cálculo mecánico, por ejemplo una multiplicación de dos grandes números en el sistema decimal.

Correcto

Puntos para este envío: 1/1.

Question2

Puntos: 1

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

Seleccione al menos una respuesta.

	a. Cualquier lenguaje puede ser reconocido por una máquina de Turing	Incorrecto
	b. El diseño de una MT es procedimentalmente sencillo para programar lenguajes de máquinas reales.	Incorrecto: Por ser tan de demasiado de “Bajo Nivel” no resultan prácticas para programar
	c. El diseño de las MT básicamente es el de un autómata finito pero un Autómata con mayor poder de reconocimiento y proceso de lenguajes, que tomas y fusiona aspectos de un PDA.	Correcto: Básicamente se trata del diseño de un Autómata con mayor poder de reconocimiento y proceso de lenguajes, que tomas y fusiona aspectos de un AF y de un PDA.
	d. Una máquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena	Correcto

Correcto

Puntos para este envío: 1/1.

Question3

Puntos: 1

Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los “Problemas de decisión” (PD).

Que aspectos en análisis son válidos para apoyar esta teoría

Seleccione al menos una respuesta.

	a. Un PD podría ser aquél formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo “si/no”. Hay problemas de decisión de tipo “soluble”, “parcialmente soluble” e “insoluble	Correcto
	b. Se puede decir que un lenguaje es decidible por que existe una MT que los puede reconocer.	Correcto
	c. Mientras que los lenguajes computables son una infinidad numerable, los lenguajes no computables son una infinidad no numerable.	Correcto
	d. Si se presenta un lenguaje decidible, es por que hay un algoritmo que la MT reconoce.	Correcto

Correcto

Puntos para este envío: 1/1.

Question4

Puntos: 1

Los problemas indecidibles, son también parte del estudio de Autómatas y lenguajes Formales. La indecibilidad de estos problemas lleva a ratificar afirmaciones que han sido demostradas mediante algoritmos complejos computables que concluyen en afirmaciones como:

Seleccione una respuesta.

	a. Las MT por ser la máquina abstracta más poderosa, soluciona cualquier problema que en teoría sea indecidible.
	b. Con un computador real, se puede determinar con certeza cualquier problema en el sentido si es decidible o no.
	c. Decidir si un lenguaje que se genera es vacío o no, es un problema que sí tiene solución por una MT.
	d. Hay infinitos problemas para los que no se va a tener una MT que los resuelva (ni siquiera los reconozca).	Correcto

Una MT que los resuelva (ni siquiera los reconozca). También se ha formulado la tesis de Church-Turing, que determina el límite de los computadores actuales

Correcto

Puntos para este envío: 1/1.

Question5

Puntos: 1

De las siguientes características marque dos de las que corresponden con la cinta de una Máquina de Turing

Seleccione al menos una respuesta.

	a. Cinta Infinita hacia la izquierda	Incorrecto: La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo izquierdo
	b. Cinta Finita hacia la derecha, por que al extremo izquierdo siempre esta un topeo carácter blanco.	Incorrecto: La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo izquierdo
	c. Se puede escribir en ella	Correcto: En la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser modificada en curso de ejecución. Además, 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.
	d. Puede contener un caracter por celda	Correcto: En la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser modificada en curso de ejecución. Además, 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

La máquina de Turing (abreviado MT) tiene, como los autómatas finitos, un control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta es de longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenándose los espacios con el caracter blanco

Correcto

Puntos para este envío: 1/1.

Question6

Puntos: 1

Con que configuración de cinta se detendrá la máquina de Turing mostrada a continuación si comienza con la cinta configurada comoxxxΔΔΔ . Asuma el orden con que están numerados los estados para el proceso.

La "V" indica la posición en la que estaría la máquina. Para el caso de los s+ímbolos "x" estaría representado como (x)

Seleccione una respuesta.

	a. xxxVΔΔ
	b. xxxΔΔV
	c. xxxΔVV
	d. xx(x)ΔVΔ	Correcto: Se inicia con el estado de la máquina en 1 con xxxΔΔΔ y finaliza en el estado 3 con xxxΔΔΔ

Correcto

Puntos para este envío: 1/1.

Question7

Puntos: 1

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

Seleccione al menos una respuesta.

	a. En las máquinas reales están definidos procesos de manera jerárquica. En las MT estos procesos están definidos por el número de estados.	Incorrecto: En una MT el nº de estados depende del algoritmo. En una computadora, un estado viene representado por el contenido de la memoria, y una situación por un estado y un puntero a una dirección (la que contiene a la instrucción que va a ejecutarse).
	b. Las MUT son de un solo propósito. Las máquinas reales interpretan muchos programas escritos en diferentes lenguajes (multipropósito).	Incorrecto: Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada correcta para esa MT particular).
	c. Los lenguajes de programación, tienen a lo sumo el mismo poder de expresión que el de los programas para una Máquina de Turing (MT) y en la práctica no todos lo alcanzan.	Correcto
	d. Los computadores electrónicos, basados en la arquitectura Von Neumann así como las máquinas cuánticas tendrían exactamente el mismo poder de expresión que el de una Máquina de Turing (MT) si dispusieran de recursos ilimitados de tiempo y espacio.	Correcto

Correcto

Puntos para este envío: 1/1.

Question8

Puntos: 1

Con referencia alas (MT) Máquinas de Turing, indique cuál afirmación es cierta cuando de reconocer lenguajes se trata:

Seleccione una respuesta.

	a. Una Máquina de Turing (MT) acepta su entrada si, partiendo de la configuración inicial, durante el cómputo alcanza la configuración aceptadora.	Correcto: Corresponde al funcionamiento básico de una MT.
	b. Una Máquina de Turing (MT) no puede aceptar el lenguaje de palíndromos, por que entraría en un ciclo repetitivo sin encontrar un estado “Halt”.
	c. Cualquier Lenguaje puede ser reconocido por una Máquina de Turing (MT)
	d. Una máquina de Turing (MT) cuyo estado inicial coincida con el estado de parada, acepta toda cadena.

Correcto

Puntos para este envío: 1/1.

Question9

Puntos: 1

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

Seleccione al menos una respuesta.

	a. 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
	b. El problema de “Halting” es el primer problema indecidible mediante maquinas de Turing	Correcto
	c. El problema de la parada o problema de la detención es de hecho soluble y la Teoría de la Computación lo definió como tal	Incorrecto
	d. El problema de tipo "insoluble" define que hay un algoritmo que lo soluciona pero que no se puede llevar a una MT o una máquina abstracta.	Incorrecto

El problema de “Halting” es el primer problema indecidible mediante máquinas de Turing. Equivale a construir un programa que te diga si un problema de ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo)

Correcto

Puntos para este envío: 1/1.

Question10

Puntos: 1

La Máquina de Turing, y un autómata finito, tienen similitudes como:

Seleccione al menos una respuesta.

	a. Un control finito	Correcto
	b. Un cabezal de lectura y otro para escritura	Incorrecto
	c. Una cabeza lectora	Correcto
	d. Un alfabeto para la cinta y un alfabeto de entrada	Incorrecto

Máquina de Turing (abreviado MT) tiene, como los autómatas 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 envío: 1/1.

1

Puntos: 1

Acerca de las Máquinas de Turing, Cuál de las siguientes afirmaciones es cierta:

Seleccione una respuesta.

	a. Conociendo la posición del cabezal, se conoce la situación actual de la máquina de Turing.
	b. Es posible que un lenguaje sea estructurado por frases pero no exista ninguna máquina de Turing que se detenga exclusivamente cuando las cadenas escritas en su cinta pertenezcan al lenguaje
	c. Cualquier lenguaje puede ser reconocido por una máquina de Turing
	d. Una máquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena	Correcto: Las acciones que puede ejecutar en la cinta la MT pueden ser: Escribe un símbolo en la cinta, o Mueve la cabeza a la izquierda o a la derecha Estas dos acciones son excluyentes, es decir, se hace una o la otra, pero no ambas a la vez.

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

Correcto

Puntos para este envío: 1/1.

Question2

Puntos: 1

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

Seleccione una respuesta.

	a. Hilbert
	b. Halting	Correcto
	c. Church
	d. Greibach

El problema de “Halting” es el primer problema indecidible mediante máquinas de Turing. Equivale a construir un programa que te diga si un problema de ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo)

Correcto

Puntos para este envío: 1/1.

Question3

Puntos: 1

La máquina universal de Turing esta diseña para realizar cualquier calculo especifico – particular debido a que:

Seleccione una respuesta.

	a. Parará cuando el cálculo sea indeterminado.
	b. Las instrucciones se basan en una fase del algoritmo universal
	c. Es un intérprete de la información de salida
	d. Es capaz de ejecutar cualquier algoritmo	Respuesta Correcta: una M T capaz de ejecutar cualquier algoritmo; es decir capaz de realizar los cálculos que realizaría cualquier otra MT, o sea, capaz de simular (tener el mismo comportamiento) cualquier MT particular.

Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada correcta para esa MT particular).

Correcto

Puntos para este envío: 1/1.

Question4

Puntos: 1

Máquina de Turing (MT) de dos direcciones: Una Máquina de Turing con una cinta infinita en un sentido puede simular una Máquina de Turing con la cinta infinita en los dos sentidos.

Sea M una Máquina de Turing con una cinta infinita en los dos sentidos, entonces:

Para que se logre o se dé esta máquina se debe cumplir:

Seleccione al menos una respuesta.

	a. La pista inferior contiene la parte izquierda de la cinta M (en orden inverso).	Correcto: Una máquina de Turing con una cinta infinita en un sentido puede simular una máquina de Turing con la cinta infinita en los dos sentidos pero con dos pistas.
	b. La cinta superior contiene información correspondiente a la parte derecha de la cinta M a partir de un punto de referencia dado.	Correcto: Una máquina de Turing con una cinta infinita en un sentido puede simular una máquina de Turing con la cinta infinita en los dos sentidos pero con dos pistas.
	c. La Máquina de Turing M que tiene una Cinta Infinita en un sentido, puede simular a M si tiene una cinta con dos pistas.	Correcto: Una máquina de Turing con una cinta infinita en un sentido puede simular una máquina de Turing con la cinta infinita en los dos sentidos pero con dos pistas.
	d. La pista inferior y superior leen los datos simultáneamente en ambos sentidos. Luego y dependiendo de los estado repetitivos, se detiene una pista y continúa la que menos celdas tenga ocupada.	Incorrecto

Hay otras definiciones de las máquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho más complicados aunque todos tienen la misma potencia computacional (o de cálculo). Muchas de ellas dotan de mayor flexibilidad al diseño de una máquina de Turing que resuelva un problema en particular.

Correcto

Puntos para este envío: 1/1.

Question5

Puntos: 1

La decodificación para canales con ruido usando las técnicas de codificación convolucional, se hace mediante el algoritmo de Viterbi. El objetivo de aplicar este método es:

Seleccione una respuesta.

	a. Encontrar el último estado que posee el error.
	b. Reducir la cantidad de transiciones y cálculos cuando se presentan los bits redundantes y datos codificados.	Correcto: Lo que se consigue aplicando este método es reducir el número de cálculos. Según el algoritmo de Viterbi, para reducir el número de cálculos, cada vez que dos trayectos (también llamados ramas) se junten en un estado en el Diagrama de Trellis, el de mayor métrica acumulada se desecha en la búsqueda del trayecto óptimo
	c. Que los bits redundantes que acompañan al dato, ayuden a detectar y corregir errores en la transmisión. El método separa los bits redundantes y muestra el dato.
	d. Identificar la mayor cantidad de bits de control para compararlos con los bits de datos.

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

Correcto

Puntos para este envío: 1/1.

Question6

Puntos: 1

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

Seleccione al menos una respuesta.

	a. El método no hace referencia a como se solucionan dos o mas problemas simultáneamente	Correcto
	b. El método determina como la solución de un problema, puede llevar a solucionar otro	Correcto
	c. El método soluciona un problema en un conjunto de varios problemas tratado de forma independiente.	Incorrecto
	d. El método no garantiza la solución de ningún problema pero si su decibilidad	Incorrecto

La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos problemas computacionales: Una manera más simple de determinar la indecibilidad es utilizando el método de reducción

Correcto

Puntos para este envío: 1/1.

Question7

Puntos: 1

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

Seleccione una respuesta.

	a. Están situados al extremo izquierdo de la cinta.
	b. También pertenece al alfabeto de cadenas a reconocer.
	c. Indica un movimiento nulo de la cabeza lectora.
	d. Aparece en todas las casillas excepto en aquellas que contienen los símbolos de entrada.	Correcto

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

Correcto

Puntos para este envío: 1/1.

Question8

Puntos: 1

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

Seleccione al menos una respuesta.

	a. Asignar espacios de memoria (definir estados en este caso).	Incorrecto
	b. Entrega al destinatario la información sin la redundancia.	Correcto
	c. Seleccionar datos de etrada.	Incorrecto
	d. La detección y en algunos casos, la corrección de los errores usando los bits redundantes y algoritmos.	Correcto

Correcto

Puntos para este envío: 1/1.

Question9

Puntos: 1

Cuando se realizan simulaciones ya sea con software con JFLAV o VAS o con cualquier herramienta de software que cumpla las bases de simulación de automatización, o acogiéndose a los teoremas y funciones propias de cada autómata, se puede afirmar:

Seleccione una respuesta.

	a. La simulación de Autómatas de PILA no tiene en cuenta el manejo de memoria, sino el de estados.
	b. Los autómatas (AFD,AFN) y los autómatas de pila (AFDP o AFPN) se pueden simular con máquinas de Turing.	Correcto: Un autómata finito es el inicio a una MT
	c. La simulación no permite determinar el poder computacional de la máquina
	d. La simulación de MT es posible solo si es una MT de una sola cinta. Para MT multicinta basta con cambiar el estado o salida final

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

Correcto

Puntos para este envío: 1/1.

Question10

Puntos: 1

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

Seleccione al menos una respuesta.

	a. Son códigos lineales:	Correcto: que tienen la propiedad de que la suma de dos palabras de código cualesquiera también es una palabra de código
	b. Poseen un registro de desplazamiento lineal	Correcto
	c. Reducen el número de mensajes que se envían por un canal afectado por ruido.	Correcto: el codificador convolucional, es una manera de reducir el número de mensajes que enviamos por el canal, cumpliendo de esta forma la recomendación de Shannon.
	d. Por ser códigos no lineales, la secuencia de bits codificada no depende de los bits previos. Esto es manejado por los estados	Incorrecto: La codificación convolucional es una codificación continua en la que la secuencia de bits codificada depende de los bits previos

Correcto

Puntos para este envío: 1/1.

Question11

Puntos: 1

La teoría de Shannon pudo comprobar que para canales ruidosos al considerar que existe una probabilidad de error en la transmisión de ráfagas de símbolos para cualquier velocidad, dentro de la capacidad del canal e independientemente del tipo de información que se envié.

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

Seleccione una respuesta.

	a. Aumentarla velocidad de transmisión solo para bits con paridad 1
	b. Para canales con ruido, separar en fracciones paquetes de bits enviados por paridad.
	c. Reducir la cantidad de bits a transmitir fraccionándolos en paquetes.
	d. Introducir bits redundantes dentro de una cadena.	Correcto: la parte emisora permite anticiparse al ruido del canal que pueda perjudicar la información, de este modo, en tal caso, se le brinda a la parte receptora la posibilidad de corregir errores

La teoría de la codificación redundante se basa en los principios que Shannon formuló para canales ruidosos al considerar que existe una probabilidad de error en la transmisión de ráfagas de símbolos para cualquier velocidad, dentro de la capacidad del canal e independientemente del tipo de información que se envié. Entonces, es indispensable saber cuáles de los bits recibidos están errados, especialmente si se requiere una altísima veracidad por la transmisión de datos

Correcto

Puntos para este envío: 1/1.

Question12

Puntos: 1

Para las siguientes afirmaciones Indique cuál es verdadera:

Seleccione una respuesta.

	a. Una máquina de Turing multicinta nunca entrará en un bucle (ciclo que se ejecute indefinidamente.)
	b. Un autómata de pila determinista nunca puede meterse en un ciclo que se ejecute indefinidamente
	c. Un autómata finito nunca puede meterse en un ciclo que se ejecute indefinidamente
	d. Una máquina de Turing determinista puede meterse en un ciclo que se ejecute indefinidamente.	Correcto: Si un autómata tiene transiciones lambda puede meterse en ciclos que se ejecuten indefinidamente sin leer ningún símbolo de la cadena de entrada. Es trivial ver que las máquinas de Turing pueden entrar en ciclos de ejecución infinitos.

Los lenguajes formales que son aceptados por una máquina de Turing son exactamente aquellos que pueden ser generados por una gramática formal. El cálculo Lambda es una forma de definir funciones. Las funciones que pueden se computadas con el cálculo Lambda son exactamente aquellas que pueden ser computadas con una máquina de Turing. Estos tres formalismos, las máquinas de Turing, los lenguajes formales y el cálculo Lambda son formalismos muy disímiles y fueron desarrollados por diferentes personas. Sin embargo, ellos son todos equivalentes y tienen el mismo poder de expresión. Generalmente se toma esta notable coincidencia como evidencia de que la tesis de Church-Turing es cierta, que la afirmación de que la noción intuitiva de algoritmo o procedimiento efectivo de cómputo corresponde a la noción de cómputo en una máquina de Turing.

Correcto

Puntos para este envío: 1/1.

Question13

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

Correcto

Puntos para este envío: 1/1.

Question14

Puntos: 1

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

Seleccione una respuesta.

	a. Se está diseñando una AFND que puede tener lambda transiciones (dado este por su capacidad y potencia)
	b. Se está diseñando una máquina abstracta sin memoria y sin procesos. Solo con cambios de estado.
	c. Se está diseñando un autómata finito que controla la cabeza y la cinta, el cual es un autómata con salida.	Correcto
	d. Se está diseñando una máquina universal que representa lenguajes generados pro gramáticas de tipo 2

Al diseñar una MT que acepte un cierto lenguaje, en realidad diseñamos el autómata finito que controla la cabeza y la cinta, el cual es un autómata con salida Así, podemos usar la notación gráfica utilizada para aquellos autómatas para indicar su funcionamiento.

Correcto

Puntos para este envío: 1/1.

Question15

Puntos: 1

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

Seleccione una respuesta.

	a. 2( potencia k(m-1)) Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada). m= la salida del codificador Si K =1 ; m= 3. El total de estados es cuatro.
	b. 2( potencia n) Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada (número de bits). Para un codificador convolucional de ratio R = ½ co K=1 El total de estados es cuatro.
	c. 2( potencia k(m-1)) Dónde: K= la secuencia en cantidad de bits que van a entrar al codificador. m= la memoria del codificador ( es restringida) n = es una salida codificada (número de bits).	Correcto
	d. 2( potencia k(n-1)) Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada). m= la memoria del codificador ( es restringida) n = es una salida codificada (número de bits). Si K =1 ; n= 3. El total de estados es cuatro.

Correcto

Puntos para este envío: 1/1.