Ayuda Automatas PDF

RESUESTAS AUTOMATAS UNIDAD 3
1
Puntos: 1
Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que
requiere una respuesta de tipo si/no. Para la Teora de Lenguajes, un problema de decisin
es insoluble cuando:
Seleccione al menos una respuesta.
a. Si no se representa con un diagrama de Moore
el problema
b. Si no existe un algoritmo total para determinar si Correcto: Los diagramas de Moore y de Transicin o
la propiedad y objetivo del problema es
la forma como se representen los problemas, no
verdadera.
tienen nada que ver con la determinacin si es

insoluble o no
c. Si no existe un procedimiento efectivo para

determinar si la propiedad es verdadera (no existe
Correcto: Los diagramas de Moore y de Transicin o

la forma como se representen los problemas, no
tienen nada que ver con la determinacin si es
insoluble o no
una Mquina de Turing MT).

d. Si no se representa con una Tabla de
transiciones el problema.
Incorrecto: Los problemas pueden formularse

y representarse de muchas formas. Que tengan o no
solucin no tienen nada que ver con la forma como se
representen. Va es en el sentido del anlisis y la
formulacin del algoritmo
Correcto
Puntos para este envo: 1/1.

Question2
Puntos: 1
La Mquina de Turing puede tener varios movimientos dependiendo de diferentes factores (posicin
inicial, estado, smbolos de entrada). Un movimiento en la Mquina de Turing depende del smbolo
explorado con la cabeza y del estado actual con el que se encuentre la mquina, el resultado puede
ser:
a. Se mueve la cabeza de la cinta a la izquierda, a la
derecha o se para.
b. Estado no cambia.
c. Todo movimiento del cabezal vaca la cinta y la
inicializa en cero.
d. Imprime un smbolo en la cinta reemplazando el
smbolo ledo.
Parcialmente correcto
Puntos para este envo: 0.5/1.
Correcto: En una MT de Turing no es cierto

que el movimiento del cabezal, implique
vaciar la cinta o inicializar los smbolos
iniciales.
Incorrecto
Correcto
Question3
Puntos: 1
Dentro de las tesis que plasmaron Church y Turing, est una de las ms aplicadas y
demostradas hoy en da, enfocada al funcionamiento de las mquinas reales (coputadoras). Esta
es:
Seleccione una respuesta.
a. Las mquinas reales tienen mayor poder de cmputo que
las Mquinas de Turing, aunque resuelvan los mismos
Incorrecto
problemas.
b. Toda funcin computable tiene un algoritmo decidible pro
una MT
c. Una MUT es funcional y eficiente tanto como una mquina
real.
d. La mquina de Turing, tiene mayor poder de cmputo que
las reales, aunque resuelvan los mismos problemas.
Incorrecto

Question4
Puntos: 1
Las transiciones de una Mquina de Turing de varias cintas (MT), tienen las
siguientes caractersticas:
a. La transicin solo afecta a una cinta (escribir o
desplazar).
b. La transicin depende de los smbolos actuales de
todas las cintas.
Correcto: Hace referencia al funcionamiento de

una MT.
c. Las transiciones se pueden hacer en varias cintas
Incorrecto
simultneamente
d. La transicin le asigna el carcter de entrada a las
Incorrecto
dems cintas

Question5
Puntos: 1
La codificacin redundante tiene como objetivo introducir smbolos para asegurar la veracidad en
la trasmisin. Esto se logra por medio de algoritmos que aseguran la veracidad de la informacin
transmitida procurando no perder velocidad en la trasmisin. Los algoritmos para la veracidad
son:
a. Los de codificacin de ruido

b. Los de codificacin de fuente:
c. Los de codificacin de canal
Correcto: Esto se logra por medio de algoritmos que

adapten la informacin teniendo en cuenta las
caractersticas estadsticas del ruido que presenta el
canal.
d. Los de codificacin AWGN

Correcto

Question6
Puntos: 1
A las computadoras reales y las MT se les asocian muchas similitudes y diferencias: Cules diferencias
entre una computadora Real y una mquina de Turing (MT) son verdaderas:
a. En una computadora, el nmero de estados viene
representado por el contenido de la memoria.
b. En una MT el orden de ejecucin de las instrucciones
no necesariamente debe estar definido.
c. En una MT el Nmero de estados depende de la
cadena, palabra o dato que lea.
Correcto: es la asociacin entre una MR y una

MT.
Incorrecto: Si debe definirse el orden de
ejecucin de instrucciones.
Incorrecto: la palabra o cadena de lectura no
determina la cantidad de estados que deba
tener una MT. Puede determinar pro que
estados recorre la mquina.
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.

1
Puntos: 1
Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los
Problemas de decisin (PD).
Que aspectos en anlisis son vlidos para apoyar esta teora

a. Mientras que los lenguajes computables son una infinidad
numerable, los lenguajes no computables son una infinidad no
numerable.
b. Un PD podra ser aqul formulado por una pregunta (referida a Correcto

alguna propiedad) que requiere una respuesta de tipo si/no.
Hay problemas de decisin de tipo soluble, parcialmente
soluble e insoluble
c. Si se presenta un lenguaje decidible, es por que hay un
Correcto
algoritmo que la MT reconoce.

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


Question2
Puntos: 1
Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las
computadoras reales.
a. 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
Correcto
espacio.
b. En las mquinas reales estn definidos procesos
de manera jerrquica. En las MT estos procesos
estn definidos por el nmero 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 situacin por un estado y un
puntero a una direccin (la que contiene a la
instruccin que va a ejecutarse).
c. Las MUT son de un solo propsito. Las mquinas Incorrecto: Esta mquina Universal no debe ser diseada
reales interpretan muchos programas escritos en
para realizar un clculo especfico, sino para procesar
cualquier informacin (realizar cualquier clculo especfico diferentes lenguajes (multipropsito).
MT particular- sobre cualquier configuracin inicial de
entrada correcta para esa MT particular).
d. Los lenguajes de programacin, tienen a lo sumo Correcto
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

Question3
Puntos: 1
Con referencia a una Mquina de Turing (MT) de dos direcciones: Una Mquina de Turing con una
cinta infinita en un sentido puede simular una Mquina de Turing con la cinta infinita en los dos
sentidos. Sea M una Mquina de Turing con una cinta infinita en los dos sentidos, entonces:
Para que se logre o se d esta mquina se debe cumplir:

a. La pista inferior contiene tanto la parte izquierda como la
derecha de la cinta M (en orden inverso).
Incorrecto: La cinta superior por orden

contiene la informacin de la parte derecha.
b. La Mquina de Turing M que tiene una Cinta Infinita en un Correcto: La pista superior maneja un
sentido, puede simular a M si tiene una cinta con dos
sentido y la inferior maneja otro sentido
(direccin).
pistas.
c. La pista inferior y superior leen los datos simultneamente Incorrecto
en ambos sentidos. Luego y dependiendo de los estado
repetitivos, se detiene una pista y contina la que menos
celdas tenga ocupada.
d. La cinta superior contiene informacin correspondiente a
la parte derecha de la cinta M a partir de un punto de
referencia dado.

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

verdaderas).
a. El problema de Halting es el primer problema
Correcto
indecidible mediante maquinas de Turing

b. Equivale a construir un programa que te diga si un
Correcto
problema de ordenador finaliza alguna vez o no (entrando a
un bucle infinito, por ejemplo)
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. El problema de la parada o problema de la detencin es
de hecho soluble y la Teora de la Computacin lo defini
Incorrecto
como tal
El problema de Halting es el primer problema indecidible mediante mquinas

de Turing. Equivale a construir un programa que te diga si un problema de
ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo)
Correcto

Question5
Puntos: 1
Una Mquina de Turing (MT) se puede comportar como un aceptador de lenguaje, de la misma forma
que lo hace un Autmata finito (AF) o un Autmata de Pila (AP) as: Colocando una cadena en la
cinta, situando la cabeza de lectura/escritura sobre el smbolo del extremo izquierdo de la cadena y
al poner en marcha la mquina a partir de su estado inicial. Entonces es aceptada si, despus de
una secuencia de movimientos, la MT llega a un estado final y para.
Que aspectos son vlidos para el comportamiento de una MT..?

a. 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. Para rechazar una cadena que no es aceptable, Correcto
lo nico que hay que hacer es evitar que se llegue
a un estado final.
c. Es vlido empezar el diseo de una MT por el
diseo de un AF. Ambos son aceptadores de
lenguajes.
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
(acepta cadenas vlidas).
d. La MT es un mecanismo abstracto avanzado

que tiene el mismo poder computacional que las
Incorrecto: La
mquinas reales.
Correcto: Al
Mquina de Turing es un
mecanismo de computacin notoriamente
primitivo, y sin embargo permite llevar a cabo
cualquier cmputo que podamos hacer en
nuestro PC

Question6
Puntos: 1
Los problemas indecidibles, son tambin parte del estudio de Autmatas y

lenguajes Formales. La indecibilidad de estos problemas lleva a ratificar
afirmaciones que han sido demostradas mediante algoritmos complejos
computables que concluyen en afirmaciones como:
a. Las MT por ser la mquina abstracta ms poderosa, soluciona
cualquier problema que en teora sea indecidible.
b. Hay infinitos problemas para los que no se va a tener una MT
Correcto
que los resuelva (ni siquiera los reconozca).

c. Con un computador real, se puede determinar con certeza
cualquier problema en el sentido si es decidible o no.
d. Decidir si un lenguaje que se genera es vaco o no, es un
problema que s tiene solucin por una MT.
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

Question7
Puntos: 1
Acerca del tipo de cadenas que puede aceptar una Mquina de Turing,
determine cul afirmacin es vlida.
a. Una mquina de Turing cuyo estado inicial coincida con el
estado de parada acepta toda cadena
b. 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
c. Es posible que un lenguaje sea estructurado por frases pero Incorrecto
no exista ninguna mquina de Turing que se detenga
exclusivamente cuando las cadenas escritas en su cinta
pertenezcan al lenguaje
d. Cuando se desea que una MT no acepte una palabra,
simplemente se debe configurar para que llegue a un estado
halt de parada o stop.
Al 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.
Incorrecto

Question8
Puntos: 1
Indique cul de las siguientes afirmaciones es cierta con referencia a las Mquinas de Turing:
a. El diseo de una MT es procedimentalmente
sencillo para programar lenguajes de mquinas
Por ser tan de demasiado de Bajo

Nivel no resultan prcticas para programar
Incorrecto:
reales.
b. Cualquier lenguaje puede ser reconocido por una
Incorrecto
mquina de Turing
c. Una mquina de Turing cuyo estado inicial
coincida con el estado de parada acepta toda
cadena
d. El diseo de las MT bsicamente es el de un
autmata finito pero un Autmata con mayor poder
de reconocimiento y proceso de lenguajes, que
tomas y fusiona aspectos de un PDA.
Correcto: Bsicamente se trata del diseo de un Autmata

con mayor poder de reconocimiento y proceso de lenguajes,
que tomas y fusiona aspectos de un AF y de un PDA.
Question9
Puntos: 1
Seale los aspectos de diseo vlidos de una Mquina de Turing (MT).

a. No est permitido realizar ningn movimiento hacia la izquierda Correcto
a partir de la celda del extremo izquierdo.
b. En una Mquina de Turing (MT) que usa una cinta que se
extiende infinitamente en una nica direccin, generalmente est
Correcto
extendida hacia la derecha.

c. La Mquina Universal de Turing no debe ser diseada para
realizar un clculo especfico, sino para procesar cualquier
Correcto
informacin
d. Una palabra de entrada a reconocer en una MT se escribe
smbolo por smbolo en la cinta
Correcto

Question10
Puntos: 1
Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx
a. La mquina acepta la cadena

b. Hay una terminacin anormal.
c. La mquina solo acepta cadenas con nmeros de
Incorrecto
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.
Incorrecto

1
Puntos: 1
Dada la siguiente Mquina de Turing (MT), determine que afirmaciones son vlidas para su anlisis:

a. La mquina acepta palabras que empiezan
con a
b. Si la primera letra no es una a la MT cae
en un ciclo infinito leyendo y escribiendo
Incorrecto: Al empezar con b la MT entra en un bucle

escribiendo b.
a
c. Si la primera letra no es una a, la MT cae
en un ciclo infinito leyendo y escribiendo
Correcto: As est determinado el ciclo de

instrucciones.
b
d. La mquina acepta palabras que empiezan
con b

Question2
Puntos: 1
Incorrecto: Al empezar con b la MT entra en un bucle

escribiendo b.
Un diagrama de estados puede representar un codificador convolucional porque:

a. Es acotado y tiene memoria infinita.
Incorrecto: Un
codificador convolucional
puede ser fcilmente representado por un
diagrama de estados de transicin ya que
tiene memoria finita
b. Es lineal y los desplazamientos de los bits

redundantes se pueden realizaren ambas
direcciones.
c. El diagrama de estados tiene transiciones y maneja Correcto: Un codificador convolucional
memoria finita
ser fcilmente representado por un
puede
diagrama de estados de transicin ya que

tiene memoria finita.
d. Se comporta como una mquina con diferentes
Correcto
estados
Correcto

Question3
Puntos: 1
Una analoga funcional, operacional de una Mquina de Turing con un

componente fsico real podra ser:
a. Un codificador secuencial con estados fijos pero con memoria (ej:
codificador convolucional)
b. Soluciones computacionales de arquitecturas hbridas de
Incorrecto
algoritmos infinitos.
c. Sistemas de cmputo basados en arquitecturas como las de
Neumann
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

Question4
Puntos: 1
Dada la siguiente Maquia de Turing (MT). Analice su comportamiento.

a. Esta mquina de Turing que se comporta como
transductor, porque simplemente genera una salida en
Correcto. Escribe en la cinta y la recorre.
la cinta.
b. Si se convierte el estado q0 en final, aceptar todas
las posibles combinaciones de {01}. Aceptar
secuencias de ceros y uso.
c. Es una mquina que solo acepta lenguajes
Correcto: Si adems se exige que el transductor

termine en un estado final y pare, si la entrada es
correcta, es decir, una simple secuencia de ceros
y unos
Incorrecto: Acepta lenguajes sin restricciones.
regulares.
d. No es una maquina vlida ya que no define un
estado final que acepta unas cadenas (no interpreta un
lenguaje definido).
Correcto

Question5
Puntos: 1
Para las siguientes afirmaciones Indique cul es verdadera:

a. Un autmata finito nunca puede meterse en un ciclo que se ejecute
indefinidamente
b. Una mquina de Turing multicinta nunca entrar en un bucle (ciclo que
se ejecute indefinidamente.)
c. Un autmata de pila determinista nunca puede meterse en un ciclo
que se ejecute indefinidamente
Incorrecto
d. Una mquina de Turing determinista 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.
Incorrecto

Question6
Puntos: 1
Acerca de los cdigos convolucionales, seleccione las propiedades vlidas:

a. Poseen un registro de desplazamiento lineal
b. Por ser cdigos no lineales, la secuencia de

bits codificada no depende de los bits previos.
Esto es manejado por los estados
c. Reducen el nmero de mensajes que se
envan por un canal afectado por ruido.
d. Son cdigos lineales:
Incorrecto: La
codificacin convolucional es una

codificacin continua en la que la secuencia de
bits codificada depende de los bits previos
Correcto: el
codificador convolucional, es una

manera de reducir el nmero de mensajes que
enviamos por el canal, cumpliendo de esta
forma la recomendacin de Shannon.
Correcto: que
tienen la propiedad de que la suma

de dos palabras de cdigo cualesquiera
tambin es una palabra de cdigo

Question7
Puntos: 1
La caracterstica por la que se defini o formul una Maquina Universal de Turing (MUT) fue:
a. Es una mquina que es capaz de simular cualquier otra Correcto: De all su nombre de universal.
mquina de Turing. (MT)
b. La MUT se dise para simular algoritmos que

solucionan problemas infinitos
c. Es una mquina programable, pues la entrada tiene el
Correcto
cdigo de cualquier MT con sus datos de entrada.

d. Simula cualquier lenguaje generado por una gramtica
Incorrecto
dada.
Correcto

Question8
Puntos: 1
La demostracin de que haba problemas que una mquina no poda resolver ,

obedece a:
a. Church
b. Hilbert
Incorrecto
c. Greibach
d. Halting

Incorrecto

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

a. El mtodo determina como la solucin de un problema, puede llevar a
solucionar otro
b. El mtodo soluciona un problema en un conjunto de varios problemas Incorrecto
tratado de forma independiente.
c. El mtodo no hace referencia a como se solucionan dos o mas
Correcto
problemas simultneamente
d. El mtodo no garantiza la solucin de ningn problema pero si su
Incorrecto
decibilidad
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

Question10
Puntos: 1
Dependiendo de los diferentes tipos de Mquinas de Turing (MT), estas se

comportan de manera diferente en la solucin de problemas. Para una MT
MULTIPISTA, indique una propiedad vlida de esta.
a. La cinta esta dividida en un nmero finito de k pistas
b. La cinta est en un nmero infinito de k pistas. Por eso
es MULTIPISTA
c. Por cada cinta , requiere de un estado de aceptacin
halt
Incorrecto: El nmero de estados no

define el tipo de mquina.
d. En esta MT no se inicializan las cintas por que tienen

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

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

a. 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.
b. 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.
c. 2( potencia k(n-1)) Dnde: K= es el nmero de bits de
la cadena a evaluar (antes de ser codificada). m= la
salida codificada (nmero de bits). Si K =1 ; n= 3. El total
de estados es cuatro.
d. 2( potencia k(m-1)) Dnde: K= la secuencia en
cantidad de bits que van a entrar al codificador. m= la
Incorrecto: La frmula est errada

salida codificada (nmero de bits).
Incorrecto

Question12
Puntos: 1
Cuando se realizan simulaciones ya sea con software con JFLAV o VAS o con
cualquier herramienta de software que cumpla las bases de simulacin de
automatizacin, o acogindose a los teoremas y funciones propias de cada
autmata, se puede afirmar:
a. La simulacin de MT es posible solo si es una MT
de una sola cinta. Para MT multicinta basta con
Incorrecto: Se pueden simular tanto

varias pistas como cintas en una MT
cambiar el estado o salida final

b. Los autmatas (AFD,AFN) y los autmatas de pila
(AFDP o AFPN) se pueden simular con mquinas de
Turing.
c. La simulacin no permite determinar el poder
computacional de la mquina
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.
Incorrecto

Question13
Puntos: 1
La mquina universal de Turing esta disea para realizar cualquier calculo

especifico particular debido a que:
a. Es un intrprete de la informacin de salida
b. Parar cuando el clculo sea indeterminado.
c. Las instrucciones se basan en una fase del algoritmo
universal
Respuesta Incorrecta: Se analiza

todo el algoritmo.
d. Es capaz de ejecutar cualquier algoritmo
Esta 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).
Incorrecto

Question14
Puntos: 1
Las mquinas de Turing han ayudado a:

a. El modelo de mquina abstracta, su diseo fue
basado la lgica y la teora de las decisiones.
b. Demostrar que los lenguajes de programacin no

resuelven todos los problemas computacionales
Incorrecto: A
Turing propuso en los aos 30 un

modelo de maquina abstracta, como una
extensin de los autmatas finitos, que result
ser de una gran simplicidad y podero a la vez
Correcto: Gracias
a su equivalencia con los

lenguajes de programacin, entonces facilitan
la demostracin de que cierto problema, no se
puede resolver con un lenguaje de
programacin
c. Poder reconocer y procesa mas lenguajes.
Correcto: Bsicamente se trata del diseo de un Autmata
d. Construir lenguajes de programacin por ser tan
Incorrecto: Por
sencillas en su diseo.
con mayor poder de reconocimiento y proceso de lenguajes,

que tomas y fusiona aspectos de un AF y de un PDA.
ser tan de demasiado de Bajo

Nivel no resultan prcticas para programar
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

Question15
Puntos: 1
El comportamiento de la siguiente mquina de Turing es:

a. Reconoce solo cadenas que inicien con cero,
Incorrecto
independiente de los uso seguidos o ceros que contenga

b. Cualquier cadena la recorre la cinta y se posiciona en el
Incorrecto
extremo derecho
c. Al recorrer solo cadenas de unos , la cabeza lectora se
Correcto
posiciona en el extremo ms izquierdo

d. No acepta cadenas de unos seguidos. Debe al menos
Correcto
existir un cero
Correcto
Puntos: 1
Cuando se transmite informacin, las variables a evaluar, medir, seguir y monitorear son:
a. Redundancia
b. Nivel de ruido
c. La velocidad que se mantenga.
d. La veracidad de los datos en todo su sentido.
Correcto

Question2
Puntos: 1
En el campo de la complejidad algortmica (problemas de algoritmos y de

lgica) se presenta la Decibilidad de teoras lgicas. Una tcnica para
resolver problemas de este tipo es reducir un problema a otro para comprobar
si tiene o no solucin efectiva. Al hacer uso de esta estrategia en el caso que la
respuesta sea negativa, se da:

a. Si se reduce de forma efectiva un problema sin solucin efectiva a otro problema, se
determina la clase de complejidad siendo esta la solucin
b. Si se reduce de forma efectiva un problema sin solucin efectiva a otro problema, se
convierte en un problema parcialmente soluble (existe una Mquina de Turing que
resuelve el problema, pero puede no parar)
c. Si se reduce de forma efectiva un problema sin solucin efectiva a otro problema,
entonces es probable que solo se solucione usando una Mquina de Turing (MT).
d. Si se reduce de forma efectiva un problema sin solucin efectiva a otro problema,
entonces este nuevo problema tampoco tendr solucin efectiva.
Incorrecto

Question3
Puntos: 1
Cules diferencias entre una computadora Real y una mquina de Turing (MT) son verdaderas:
a. En una computadora, el nmero de estados viene representado por el contenido de la
memoria.
b. En una MT el orden de ejecucin de las instrucciones no est definido.
c. 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.
d. En una MT el n de estados depende del algoritmo.
Correcto

Question4
Puntos: 1
Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que
requiere una respuesta de tipo si/no. Para la Teora de Lenguajes, un problema de decisin
es insoluble cuando:
a. Si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no
existe una Mquina de Turing MT).
b. Si no existe un algoritmo total para determinar si la propiedad y objetivo del problema es
verdadera.
c. Si no se logra representar con un diagrama de Moore el problema.
d. Existe un procedimiento definido que determina la ambigedad del problema
Correcto
Question5
Puntos: 1
De la teora de la codificacin se puede decir: (seale las apreciaciones verdaderas):

a. Los algoritmos matemticos son mtodos para lograr que la informacin se adapte mejor
a las condiciones de las transmisiones.
b. La codificacin es una parte de la teora de informacin.
c. La codificacin de canales con ruido se trata nicamente con la codificacin de canal.
d. La veracidad se consigue introduciendo una redundancia

Question6
Puntos: 1
Analice la codificacin de la siguiente Mquina: Si lee 0101 (de izquierda a derecha), la salida
correspondiente es:

a. 0110
b. 0111
c. 0011
d. 0101
Correcto

1
Puntos: 1
De las siguientes caractersticas marque dos de las que corresponden con la

cinta de una Mquina de Turing
a. Cinta Infinita hacia la izquierda
b. Cinta Finita hacia la derecha, por que al extremo izquierdo siempre esta un
topeo carcter blanco.
c. Se puede escribir en ella
d. Puede contener un caracter por celda
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

Question2
Puntos: 1
Los problemas indecidibles, son tambin parte del estudio de Autmatas y

lenguajes Formales. La indecibilidad de estos problemas lleva a ratificar
afirmaciones que han sido demostradas mediante algoritmos complejos
computables que concluyen en afirmaciones como:
a. Hay infinitos problemas para los que no se va a tener una MT que los resuelva (ni
siquiera los reconozca).
b. Las MT por ser la mquina abstracta ms poderosa, soluciona cualquier problema
que en teora sea indecidible.
c. Decidir si un lenguaje que se genera es vaco o no, es un problema que s tiene
solucin por una MT.
d. Con un computador real, se puede determinar con certeza cualquier problema en el
sentido si es decidible o no.
Una MT que los resuelva (ni siquiera los reconozca). Tambin se ha formulado
la tesis de Church-Turing, que determina el lmite de los computadores
actuales
Correcto

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

a. Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena
b. El diseo de las MT bsicamente es el de un autmata finito pero un Autmata con mayor poder de
reconocimiento y proceso de lenguajes, que tomas y fusiona aspectos de un PDA.
c. Cualquier lenguaje puede ser reconocido por una mquina de Turing
d. El diseo de una MT es procedimentalmente sencillo para programar lenguajes de mquinas
reales.

Question4
Puntos: 1
Un cdigo convolucional se disea cuando a partir de registros de desplazamiento lineal.

Los cdigos convolucionales, suelen describirse mediante:
a. rboles, Trellis y Diagrama de estados.
b. Autmatas finitos (grafos). Mquinas de estados
c. Autmatas finitos (grafos). Mquinas de estados
d. rboles y diagramas de estados
Correcto

Question5
Puntos: 1
Dado los siguientes tres codificadores convolucionales, diseados para trabajar de forma lineal
secuencial redundante:
Se da como entrada el bit 1 en el codificador 1. Haga el recorrido completo hasta llegar a la
salida del codificador 3. Los bits de salida codificados finales son:
Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (segn el caso) se
deben sobrescribir o reemplazar.

a. 00
b. 10
c. 11
d. 01
Correcto

Question6
Puntos: 1
De los modelos creados para realizar cmputos y desarrollar problemas, es

vlido afirmar:
a. Las funciones computables hacen referencia o son iguales a afirmar que son modelos
computables.
b. La MT no es un modelo Computable ya que solo se basa en simulacin.
c. Las llamadas mquinas de Turing no constituyen ni el primero ni el nico formalismo
para expresar cmputos, pero s el que ms ha perdurado
d. Los modelos propuestos por Hilbert, solucionan cualquier problema "No soluble"
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

Question7
Puntos: 1
Seale los aspectos de diseo vlidos de una Mquina de Turing (MT).

a. En una Mquina de Turing (MT) que usa una cinta que se extiende infinitamente en una
nica direccin, generalmente est extendida hacia la derecha.
b. No est permitido realizar ningn movimiento hacia la izquierda a partir de la celda del
extremo izquierdo.
c. Una palabra de entrada a reconocer en una MT se escribe smbolo por smbolo en la
cinta
d. La Mquina Universal de Turing no debe ser diseada para realizar un clculo
especfico, sino para procesar cualquier informacin
Correcto

Question8
Puntos: 1
Con referencia alas (MT) Mquinas de Turing, indique cul afirmacin es cierta
cuando de reconocer lenguajes se trata:
a. Una Mquina de Turing (MT) acepta su entrada si, partiendo de la configuracin inicial,
durante el cmputo alcanza la configuracin aceptadora.
b. Una mquina de Turing (MT) cuyo estado inicial coincida con el estado de parada,
acepta toda cadena.
c. Cualquier Lenguaje puede ser reconocido por una Mquina de Turing (MT)
d. Una Mquina de Turing (MT) no puede aceptar el lenguaje de palndromos, por que
entrara en un ciclo repetitivo sin encontrar un estado Halt.
Incorrecto

Question9
Puntos: 1
Acerca del tipo de cadenas que puede aceptar una Mquina de Turing,
determine cul afirmacin es vlida.
a. Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda
cadena
b. Cuando se desea que una MT no acepte una palabra, simplemente se debe configurar para
que llegue a un estado halt de parada o stop.
c. Es posible que un lenguaje sea estructurado por frases pero no exista ninguna mquina de
Turing que se detenga exclusivamente cuando las cadenas escritas en su cinta pertenezcan al
lenguaje
d. 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

salida.
Correcto

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

a. Mediante un autmata de pila, pero no mediante un autmata finito
b. Mediante una mquina de Turing, pero no mediante un autmata de pila
c. No es un problema soluble. Es un problema de decisin
d. 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

1
Puntos: 1
Dada la siguiente Mquina de Turing (MT), determine que afirmaciones son vlidas para su anlisis:
a. La mquina acepta palabras que empiezan con a

b. Si la primera letra no es una a la MT cae en un ciclo infinito leyendo y escribiendo
a
c. Si la primera letra no es una a, la MT cae en un ciclo infinito leyendo y
escribiendo b
d. La mquina acepta palabras que empiezan con b
Correcto

Question2
Puntos: 1
Acerca de los problemas de HALTING, seleccione dos definiciones vlidas para

esa teora:
a. Estos problemas los solucionan las mquinas de Pila combinadas con AF por contener una
memoria que le da mayor capacidad de anlisis.
b. Es un problema que puede tener solucin pero tiene un bucle infinito que no soluciona la
MT.
c. El problema de Halting es el primer problema indecidible mediante mquinas de Turing.
d. Corresponde a problemas que tienen solucin pero no se pueden representar por un
algoritmo
El concepto de problema indecidible o irresoluble se aplica a problemas de

decisin, es decir, problemas a los que podemos decir si tienen solucin o no.
Dentro de estos problemas, existe un conjunto al que no le podemos asignar
una respuesta, ni afirmativa ni negativa: no existe un algoritmo que nos
permita determinar si el problema tiene solucin.
Correcto

Question3
Puntos: 1
Una analoga funcional, operacional de una Mquina de Turing con un

componente fsico real podra ser:
a. Un codificador secuencial con estados fijos pero con memoria (ej: codificador convolucional)
b. Un compilador
c. Soluciones computacionales de arquitecturas hbridas de algoritmos infinitos.
d. Sistemas de cmputo basados en arquitecturas como las de Neumann
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

Question4
Puntos: 1
Seleccione cul de las siguientes situaciones no es posible cuando una

mquina de Turing determinista examina una cadena:
a. Se produce una terminacin anormal (es decir, la cabeza lectora se desplaza a la
izquierda de la primera celda de la cinta)
b. La mquina no se detiene nunca
c. El problema de parada solo aplica a Mquinas de Turing no deterministas. Las
Deterministas solucionan este problema
d. La mquina abandona los clculos por no encontrar ninguna transicin aplicable
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

Question5
Puntos: 1
Dada la siguiente Maquia de Turing (MT). Analice su comportamiento.

a. No es una maquina vlida ya que no define un estado final que acepta unas cadenas (no
interpreta un lenguaje definido).
b. Si se convierte el estado q0 en final, aceptar todas las posibles combinaciones de {01}.
Aceptar secuencias de ceros y uso.
c. Es una mquina que solo acepta lenguajes regulares.
d. Esta mquina de Turing que se comporta como transductor, porque simplemente genera
una salida en la cinta.
Correcto

Question6
Puntos: 1
Dentro de la teora de la informacin, algunas de las labores identificadas de la Decodificacin

es
a. La deteccin y en algunos casos, la correccin de los errores usando los bits
redundantes y algoritmos.
b. Entrega al destinatario la informacin sin la redundancia.
c. Seleccionar datos de etrada.
d. Asignar espacios de memoria (definir estados en este caso).

Question7
Puntos: 1
Si se disea una MT se est diseando.

a. Se est diseando una AFND que puede tener lambda transiciones (dado este por
su capacidad y potencia)
b. Se est diseando una mquina abstracta sin memoria y sin procesos. Solo con
cambios de estado.
c. Se est diseando un autmata finito que controla la cabeza y la cinta, el cual es un
autmata con salida.
d. Se est diseando una mquina universal que representa lenguajes generados pro
gramticas de tipo 2

salida As, podemos usar la notacin grfica utilizada para aquellos autmatas
para indicar su funcionamiento.
Correcto

Question8
Puntos: 1
Para las siguientes afirmaciones Indique cul es verdadera:

a. Una mquina de Turing multicinta nunca entrar en un bucle (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 determinista 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

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

a. 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.
b. 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.
c. 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).
d. 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.
Correcto

Question10
Puntos: 1
Cuando se realizan simulaciones ya sea con software con JFLAV o VAS o con
cualquier herramienta de software que cumpla las bases de simulacin de
automatizacin, o acogindose a los teoremas y funciones propias de cada
autmata, se puede afirmar:
a. La simulacin no permite determinar el poder computacional de la mquina
b. La simulacin de MT es posible solo si es una MT de una sola cinta. Para MT multicinta
basta con cambiar el estado o salida final
c. La simulacin de Autmatas de PILA no tiene en cuenta el manejo de memoria, sino el de
estados.
d. Los autmatas (AFD,AFN) y los autmatas de pila (AFDP o AFPN) se pueden simular con
mquinas de Turing.
La simulacin de autmatas parte del principio bsico de representar un

autmata Finito.
Correcto

Question11
Puntos: 1
La demostracin de que haba problemas que una mquina no poda resolver ,

obedece a:
a. Halting
b. Hilbert
c. Church
d. Greibach

Correcto

Question12
Puntos: 1
Un diagrama de estados puede representar un codificador convolucional porque:

a. Es acotado y tiene memoria infinita.
b. El diagrama de estados tiene transiciones y maneja memoria finita
c. Es lineal y los desplazamientos de los bits redundantes se pueden realizaren ambas
direcciones.
d. Se comporta como una mquina con diferentes estados
Correcto

Question13
Puntos: 1
La decodificacin para canales con ruido usando las tcnicas de codificacin convolucional, se
hace mediante el algoritmo de Viterbi. El objetivo de aplicar este mtodo es:
a. Encontrar el ltimo estado que posee el error.
b. 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.
c. Reducir la cantidad de transiciones y clculos cuando se presentan los bits
redundantes y datos codificados.
d. Identificar la mayor cantidad de bits de control para compararlos con los bits de datos.
La 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

Question14
Puntos: 1
La teora de Shannon pudo comprobar que para canales ruidosos al considerar que existe una
probabilidad de error en la transmisin de rfagas de smbolos para cualquier velocidad, dentro de la
capacidad del canal e independientemente del tipo de informacin que se envi.
Su tcnica de deteccin de errores se bas en:

a. Reducir la cantidad de bits a transmitir fraccionndolos en paquetes.
b. Introducir bits redundantes dentro de una cadena.
c. Para canales con ruido, separar en fracciones paquetes de bits enviados por paridad.
d. Aumentarla velocidad de 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
Correcto

Question15
Puntos: 1
La mquina universal de Turing esta disea para realizar cualquier calculo

especifico particular debido a que:
a. Las instrucciones se basan en una fase del algoritmo universal
b. Es un intrprete de la informacin de salida
c. Parar cuando el clculo sea indeterminado.
d. Es capaz de ejecutar cualquier algoritmo
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

Ayuda Automatas PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Ayuda Automatas PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

RESUESTAS AUTOMATAS UNIDAD 3

tienen nada que ver con la determinacin si es

c. Si no existe un procedimiento efectivo para

Correcto: Los diagramas de Moore y de Transicin o

una Mquina de Turing MT).

Incorrecto: Los problemas pueden formularse

Puntos para este envo: 1/1.

Puntos para este envo: 0.5/1.

Correcto: En una MT de Turing no es cierto

Puntos para este envo: 0/1.

Correcto: Hace referencia al funcionamiento de

c. Las transiciones se pueden hacer en varias cintas

Puntos para este envo: 0.5/1.

a. Los de codificacin de ruido

Correcto: Esto se logra por medio de algoritmos que

d. Los de codificacin AWGN

Puntos para este envo: 1/1.

Correcto: es la asociacin entre una MR y una

d. En cuanto al orden de ejecucin de las instrucciones,

Puntos para este envo: 0.5/1.

Que aspectos en anlisis son vlidos para apoyar esta teora

b. Un PD podra ser aqul formulado por una pregunta (referida a Correcto

algoritmo que la MT reconoce.

una MT que los puede reconocer.

Puntos para este envo: 0.8/1.

una MT el n de estados depende

Puntos para este envo: 1/1.

Para que se logre o se d esta mquina se debe cumplir:

Seleccione al menos una respuesta.

Incorrecto: La cinta superior por orden

Puntos para este envo: 0.5/1.

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

indecidible mediante maquinas de Turing

El problema de Halting es el primer problema indecidible mediante mquinas

Puntos para este envo: 1/1.

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

disear una MT que acepte un

d. La MT es un mecanismo abstracto avanzado

Puntos para este envo: 0.7/1.

Los problemas indecidibles, son tambin parte del estudio de Autmatas y

que los resuelva (ni siquiera los reconozca).

Puntos para este envo: 1/1.

Al disear una MT que acepte un cierto lenguaje, en realidad diseamos el

Puntos para este envo: 0/1.

Por ser tan de demasiado de Bajo

Puntos para este envo: 0.5/1.

Correcto: Bsicamente se trata del diseo de un Autmata

Seale los aspectos de diseo vlidos de una Mquina de Turing (MT).

extendida hacia la derecha.

Puntos para este envo: 1/1.

Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx

Seleccione una respuesta.

a. La mquina acepta la cadena

Decimos que en la MT se llega al final de un clculo cuando se alcanza un

Puntos para este envo: 0/1.

Seleccione al menos una respuesta.

Incorrecto: Al empezar con b la MT entra en un bucle

Correcto: As est determinado el ciclo de

Puntos para este envo: 0.5/1.

Incorrecto: Al empezar con b la MT entra en un bucle

Un diagrama de estados puede representar un codificador convolucional porque:

b. Es lineal y los desplazamientos de los bits

diagrama de estados de transicin ya que