Вы находитесь на странице: 1из 55

Act 3: Reconocimiento Unidad No.

1
Revisin del intento 1
Finalizar revisin

Comenzado el domingo, 23 de marzo de 2014, 12:20
Completado el domingo, 23 de marzo de 2014, 13:17
Tiempo empleado 56 minutos 9 segundos
Puntos 4.5/6
Calificacin 7.5 de un mximo de 10 (75%)
Comentario - Correcto: Contest la totalidad de las preguntas.
Question1
Puntos: 1
Un alfabeto es un conjunto finito de smbolos. De esta definicin podemos afirmar
correctamente:
Seleccione al menos una respuesta.

a. Por ser un alfabeto un conjunto finito de
elementos, las posibles cadenas que se formen no
pueden ser vacas


b. Las cadenas que se forman a partir de un
alfabeto finito, resultan ser infinitas.


c. Por smbolo no se est haciendo referencia a un
slo carcter. Los smbolos pueden ser
nombres.
Correcto: Lenguaje Formal: Un alfabeto es un
conjunto finito de smbolos. De esta definicin se
debe resaltar lo siguiente. (1) Los alfabetos son
finitos. (2) Por smbolo no se est haciendo
referencia a un slo carcter. Los smbolos pueden
ser nombres

d. Dado un alfabeto, podemos formar palabras o
cadenas con los smbolos del alfabeto
Correcto: Es el principio bsico para empezar a
tratar con lenguajes.
Correcto
Puntos para este envo: 1/1.
Question2
Puntos: 1
Del tratado y temtica de Autmatas, los principales objetivos de las ciencias de la computacin es:
Seleccione al menos una respuesta.

a. Traducir lenguajes de mquina a programas
escritos en lenguajes de alto nivel.
Incorrecto: estas son tareas de mquina que surgen del
anlisis formulacin de tratados como los de los algoritmos

b. La solucin de problemas por medio de un
computador.
Correcto: Fundamentalmente se trata de resolver
problemas haciendo uso de un sistema computacional.

c. Reducir problemas en otros ms
pequeos.


d. Proporcionar mecanismos para analizar
algoritmos, construir y expresar programas
Correcto: Fundamentalmente se trata de resolver
problemas haciendo uso de un sistema computacional.
Correcto
Puntos para este envo: 1/1.
Question3
Puntos: 1
Existen diferencias marcadas entre los lenguajes de programacin (LP) y los lenguajes naturales
(LN). Identifique cules son vlidas.
Seleccione al menos una respuesta.

a. Los LP tienen unas reglas de sintaxis y de semntica
mucho ms rgidas, (cerradas) lo que les hace manejables en
los computadores
Correcto: Tienen unas estructuras claramente
definidas y determinadas por sus reglas
gramaticales
(sintcticas y semnticas).

b. En los lenguajes naturales, las reglas pretenden explicar la
estructura del lenguaje.
Correcto: En los LN, las reglas gramaticales se
desarrollan para reglamentar" de alguna forma la
propia
evolucin del lenguaje. Se trata pues de
"explicar" la estructura del lenguaje, y no
delimitarla. Esto obliga a reglas muy
complejas y que se quedan obsoletas
rpidamente.

c. Las reglas en sintaxis de los LP so las mismas para los
LN. Difieren nicamente en la interpretacin semntica que
se les d.


d. En los LN, las reglas gramaticales son interpretadas y
manejadas por los computadores con instrucciones guales o
similares alas de los LP.

Correcto
Puntos para este envo: 1/1.
Question4
Puntos: 1
Acerca de los autmatas finitos no deterministas (AFND), cules apreciaciones
son verdaderas cuando se analiza su comportamiento para aceptar lenguajes:
Seleccione al menos una respuesta.

a. Un autmata finito no determinista (AFND) acepta
una cadena cuando es posible que su anlisis deje a
la mquina en un estado de aceptacin.


b. Un autmata finito no determinista (AFND) solo
puede utilizarse para aceptar lenguajes finitos.
Incorrecto: la condicin de determinismo no define
esta limitante.

c. Un autmata finito no determinista (AFND) se puede
convertir a un AFD y solo ser vlido si aceptan el
mismo lenguaje.
Correcto: Corresponde a la condicin de
determinismo.

d. Nunca se puede afirmar con seguridad que un
autmata finito no determinista (AFND) acepta una

cadena.
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question5
Puntos: 1
Sea el vocabulario {a,b,c}, la expresin regular (a|b)*c indica el conjunto de todas las cadenas formadas con los smbolos a, b y c
. Cules sentencias o cadenas son vlidas:
Seleccione al menos una respuesta.

a. bbaccaa


b.ababaabbc
Correcto: Es una combinacin vlida. Pueden formarse
cadenas con los smbolos a y b, sucedindose
cualquier nmero de veces ( y en cualquier orden) y
siempre terminando la cadena en el smbolo c

c. bbaaac
Correcto: Es una combinacin vlida. Pueden formarse
cadenas con los smbolos a y b, sucedindose
cualquier nmero de veces ( y en cualquier orden) y
siempre terminando la cadena en el smbolo c

d. acbbaa

Correcto
Puntos para este envo: 1/1.
Question6
Puntos: 1
Cuando se trata de simplificar Autmatas, se deben tener en cuenta aspectos como: (Identifique cul paso o concepto es vlido
en este proceso de Minimizacin).
Seleccione una respuesta.

a. Para saber si dos estados q1 y q2 son equivalentes, se
les pone a ambos como estado final de los autmatas M1
y M2, y se procede a comparar dichos autmatas. Si estos
ltimos son equivalentes, quiere decir que los estados q1
y q2 son equivalentes


b. Dos estados son equivalentes si al intercambiar uno por
otro en cualquier configuracin no altera la aceptacin o
rechazo de toda la palabra.


c. Se entiende por minimizacin de autmatas finitos al
proceso de obtencin de un autmata con el menor
nmero de transiciones posibles
Incorrecto: la minimizacin est dada en la
reduccin del nmero de estados. De all
surge la reduccin de transiciones.

d. Dos estados son distinguibles si son compatibles (es
decir, si ambos son finales o ambos son inciales).

Incorrecto
Puntos para este envo: 0/1.
Act 4: Leccin Evaluativa Unidad No.1
Revisin del intento 1
Finalizar revisin

Comenzado el lunes, 31 de marzo de 2014, 23:31
Completado el martes, 1 de abril de 2014, 00:30
Tiempo empleado 58 minutos 38 segundos
Puntos 7/10
Calificacin 21 de un mximo de 30 (70%)
Comentario - Correcto
Question1
Puntos: 1
Si es un alfabeto, se le llama (potencia n) al conjunto de todas las palabras de longitud n sobre .
Identifique las notaciones de conjuntos vlidas para la creacin de palabras sobre el alfabeto
Seleccione al menos una respuesta.

a. (potencia 0) = Conjunto de
todas las cadenas sobre el
alfabeto excepto la vaca.


b. *= Conjunto de todas las
cadenas de cualquier longitud
sobre
Correcto: La longitud de una cadena que se denota como || es el
nmero de letras que aparecen en . A la cadena que no tiene smbolos
o que es lo mismo decir que tiene longitud cero, se le llama palabra
vaca. Si es un alfabeto, se le llama n al conjunto de todas las
palabras de longitud n sobre . la estrella * genera el conjunto de todas
las cadena de cualquier longitud sobre . Si se analiza + esta
representa al conjunto de todas las cadenas sobre el alfabeto excepto
la vaca.

c. (potencia 0) = {lambda}
Conjunto cuyo nico elemento
es la palabra vaca.
Correcto: La longitud de una cadena que se denota como || es el
nmero de letras que aparecen en . A la cadena que no tiene smbolos
o que es lo mismo decir que tiene longitud cero, se le llama palabra
vaca. Si es un alfabeto, se le llama n al conjunto de todas las
palabras de longitud n sobre . la estrella * genera el conjunto de todas
las cadena de cualquier longitud sobre . Si se analiza + esta
representa al conjunto de todas las cadenas sobre el alfabeto excepto
la vaca.

d. (potencia +) = Conjunto de
todas las cadenas positivas
excepto la vaca
Incorrecto: Conjunto de todas las cadenas excepto la
vaca
Correcto
Puntos para este envo: 1/1.
Question2
Puntos: 1
Para el siguiente Autmata Finito denotado como: A2= (E. Q, f, q1, F) donde E = {0,1}, F = {q2} y Q
= {q1, q2, q3, q4}, identifique correctamente el Lenguaje que genera y la expresin regular:




Seleccione una respuesta.

a. L = (A2 ) = {0, 001, 01111, } = { 1(10)n |n
0} La expresin regular es: 0(01) *


b. L = (A2 ) = {0, 111, 11100, } = { 1(10)n |n =
0} La expresin regular es: 1(01)+


c. L = (A2 ) = {0, 001, 00100, } = { 1(01)n |n
0} La expresin regular es: 0(01) *


d. L = (A 2) = {1, 101, 10101, } = { 1(01)n |n
0} La expresin regular es: 1(01) *
Correcto: El lenguaje generado se obtiene
partiendo del estado inicial y recorriendo todos los
caminos posibles para alcanzar el estado final
Correcto
Puntos para este envo: 1/1.
Question3
Puntos: 1
La expresin regular que se asocia la siguiente autmata es:


Seleccione una respuesta.

a. r = (10 + 0) *
Correcto: Las cadenas que tengan varios unos
consecutivos son rechazadas

b. r = (10) * + 1*


c. r = (1)* + (0) + lambda


d. r = (1 + 0) + 1*

Correcto
Puntos para este envo: 1/1.
Question4
Puntos: 1
Dado un alfabeto , los smbolos , lambda y los operadores + (unin), (punto) (concatenacin) y * (clausura), se define una
EXPRESION REGULAR (ER) sobre el alfabeto en la que son vlidas las siguientes relaciones:
Nota. es una cadena sobre un lenguaje L
Seleccione al menos una respuesta.

a. Si = entonces L () =
Correcto: Esta es una ER

b. Si * es una ER entonces L (*) no es una ER


c. Si = a y a pertenece entonces L () no
pertenece


d. Si = lambda entonces L (lambda) = { lambda}
Correcto: Esta es una ER
Correcto
Puntos para este envo: 1/1.
Question5
Puntos: 1
Que representa la siguiente figura:



Seleccione una respuesta.

a. Que representa la siguiente figura:


b. No representa un autmata vlido por que
el mismo estado inicial es el mismo estado
final.


c. Un Autmata de tipo AFND vlido.
Correcto: Es un Autmata Finito No Determinstico
(AFND) vlido. Es una extensin vlida de un AFD.
Permite que de cada nodo del diagrama de estados
salga un nmero de flechas mayor o menor que ||

d. Un Autmata que acepta palabras o
cadenas que contienen nicamente bs o
as

Correcto
Puntos para este envo: 1/1.
Question6
Puntos: 1
Dado los autmatas M1 y M2 siguientes, cules relaciones entre estas dos mquinas son vlidas.



Seleccione al menos una respuesta.

a. Los Autmatas M1 y M2 son iguales pero no
equivalentes


b. Los Autmatas M 1 y M2 son equivalentes: M1
M2 , por que aceptan exactamente el mismo
lenguaje
Correcto: La equivalencia se da por la aceptacin
de lenguajes. Ambos aceptan el lenguaje a * y
aceptan exactamente el mismo lenguaje

c. Los Autmatas M1 y M2 aceptan ambos el lenguaje
a *
Correcto: La equivalencia se da por la aceptacin
de lenguajes. Ambos aceptan el lenguaje a * y
aceptan exactamente el mismo lenguaje

d. Los Autmatas M1 y M2 no son equivalentes
porque ambos rechazan el lenguaje b*. La
equivalencia se da en la aceptacin de lenguajes.

Correcto
Puntos para este envo: 1/1.
Question7
Puntos: 1
Analice el siguiente Autmata y determine cules apreciaciones son vlidas en
su anlisis:



Seleccione al menos una respuesta.

a. La funcin de transicin puede no estar definida para
alguna combinacin (0,1) y, por el contrario, puede definir
para otras combinaciones (0,1) ms de un estado.


b. Es un autmata no determinstico (AFND), con un
conjunto finito de estados y smbolos de entrada, un estado
inicial, un conjunto de estados finales, y una funcin de
transicin de estados.


c. La funcin de transicin define para cada posible
combinacin (0,1) un estado nuevo.
Incorrecto

d. Es un autmata determinstico (AFD), con un conjunto
finito de estados y smbolos de entrada, un estado inicial,
un conjunto de estados finales, y una funcin de transicin
de estados.
Incorrecto. Es un AFND
Incorrecto
Puntos para este envo: 0/1.
Question8
Puntos: 1
Cules afirmaciones son vlidas cuando se trata de analizar el funcionamiento de los Autmatas Finitos (AF):
Seleccione al menos una respuesta.

a. Los AF son mquinas de memoria amplia por ser
mquinas abstractas (no reales).


b. En una mquina de estados finitos, la funcin de
transicin almacena los datos de entrada del
Autmata.


c. Los estados son el nico medio de que disponen los AF
para recordar los eventos que ocurren (por ejemplo que
caracteres se han ledo hasta el momento).
Correcto: Los estados son el nico medio
de que disponen los AF para recordar los
eventos que ocurren (por ejemplo, qu
caracteres se han ledo hasta el momento);
esto quiere decir que son mquinas de
memoria limitada.

d. Los AF son mquinas de memoria limitada.
Correcto: Los estados son el nico medio
de que disponen los AF para recordar los
eventos que ocurren (por ejemplo, qu
caracteres se han ledo hasta el momento);
esto quiere decir que son mquinas de
memoria limitada.
Correcto
Puntos para este envo: 1/1.
Question9
Puntos: 1
Dado el siguiente Autmata Finito cuyo diagrama de transicin corresponde al de la siguiente figura, determine cual
afirmacin es vlida cuando se analiza la ejecucin del autmata.




Seleccione una respuesta.

a. El conjunto de cadenas que es capaz de
reconocer este autmata es. {b, bb, bbb, bbbb,
}


b. El conjunto de cadenas que es capaz de
reconocer este autmata es {b, bb, bbb}


c. El conjunto de cadenas que es capaz de
reconocer este autmata es. {, b, bb, bbb,
bbbb, }
Incorrecto: bbbb no es aceptada, ni tampoco el
smbolo vaco. La cadena vaca es diferente.

d. El conjunto de cadenas que es capaz de
reconocer este autmata es. {b}

Incorrecto
Puntos para este envo: 0/1.
Question10
Puntos: 1
Dado el Autmata con la siguiente tabla de transicin, identifique las cadenas
que son vlidas para el lenguaje que acepta



Seleccione una respuesta.

a. Solo acepta cadenas vacas (lambda).
Incorrecto: Es un AND de landa transiciones.
Aceptar las cadenas que inicien con un orden
jerrquico de nmeros (es decir de menor a
mayor, siendo vlida la repeticin de los mismos),
Ej 012, 12 pero nunca 210, 20 entre otros.

b. Es un AFND y acepta cualquier cadena que inicie
con cero (0)


c. {22, 0,1,001122, 12, 012, 022}


d. {101, 210, 20,110, 200}

Incorrecto
Puntos para este envo: 0/1.
Act 5: Quiz 1 - Unidad No. 1
Revisin del intento 1
Finalizar revisin

Comenzado el jueves, 3 de abril de 2014, 20:58
Completado el jueves, 3 de abril de 2014, 21:58
Tiempo empleado 1 hora
Puntos 10/15
Calificacin 20 de un mximo de 30 (67%)
Comentario - Contesto parcialmente
Question1
Puntos: 1
Cules afirmaciones son vlidas y que surgen de un anlisis de las ER (Expresiones Regulares):
Analice los autmatas dados:



Seleccione al menos una respuesta.

a. La ER (0+1)*01 genera las mismas cadenas para el Autmata B y del autmata
A


b. La ER (0+1)*01 genera cadenas vlidas para el autmata A, pero no para las del
autmata B.
Incorrecto

c. La ER (1*00*1(00*1)*1)*1*00*1(00*1)* genera las mismas cadenas para el
Autmata A el autmata B.


d. La ER (0+1)*11(01)* genera cadenas vlidas para el autmata B pero no para
las del autmata A.
Incorrecto
Incorrecto
Puntos para este envo: 0/1.
Question2
Puntos: 1
Dado los siguientes dos autmatas: identifique las apreciaciones verdaderas con respecto al
comportamiento de los dos autmatas:



Seleccione una respuesta.

a. Ambos autmatas aceptan las mismas cadenas, como por ejemplo:
{012,011,11,2222,1122,001122}
Incorrecto: La cadena 00
por ejemplo no son
aceptadas por el segundo
autmata

b. Solo un autmata es una mquina de estados que representa un lenguaje
regular


c. Un autmata es AFD y el otro es AFND


d. Ambos autmatas son AFD

Incorrecto
Puntos para este envo: 0/1.
Question3
Puntos: 1
Apoyado en las caractersticas funcionales y de diseo de los AFD y de os AFND; identifique las
apreciaciones vlidas de su comportamiento:
Seleccione al menos una respuesta.

a. Un AFND puede reconocer el mismo lenguaje que un AFD. Solo
que el AFND consume ms estados de memoria por la caracterstica
del no determinismo.


b. Si se tiene un AFND seguramente ser posible encontrar otro
autmata AFD que sea equivalente a el.
Correcto:

c. Los AFND y os AFD pueden resolver los mismos problemas
Correcto:

d. Los AFD y los AFND tienen la misma capacidad de operacin y
poder computacional.

Parcialmente correcto
Puntos para este envo: 0.7/1.
Question4
Puntos: 1
Dentro de la jerarqua y clasificacin de los lenguajes (Chomsky) identifique que asociaciones
estn erradas.
Seleccione al menos una respuesta.

a. Los lenguajes libres de contexto o de tipo 2,
pueden ser generados por los autmatas de pila
(AP)


b. Los lenguajes regulares pueden ser pueden ser
descritos mediante expresiones regulares (ER)
Esta afirmacin es verdadera. Un lenguaje puede
ser descrito mediante una expresin regular
(expresar de forma compacta cmo son todas las
cadenas de smbolos que le pertenecen).

c. Una gramtica regular o de tipo 3, puede generar
Autmatas finitos (AF)
Correcto: esta afirmacin es errada ya que las
gramticas generan lenguajes. Las mquinas o
autmatas reconocen es lenguajes.

d. Los lenguajes que no poseen restricciones o de
tipo 0, son reconocidos mediante Autmatas Finitos
No Deterministas (AFND)
Correcto: esta afirmacin est errada. Los
lenguajes que no poseen restricciones o de tipo
0, son reconocidos mediante Mquinas de Turing
(MT)
Parcialmente correcto
Puntos para este envo: 0.7/1.
Question5
Puntos: 1
Sean dos lenguajes L1 y L2 definidos sbre el mismo alfabeto , la operacin que se representa a continuacin es:
L = L1L2 = {xy / x pertenece L1 y pertenece L2}
Seleccione una respuesta.

a. Unin de lenguajes


b. Asociacin de lenguajes


c. Operacin cerrada de dos lenguajes


d. Concatenacin de lenguajes
Correcto: La concatenacin de ambos lenguajes
estar formada por todas las palabras obtenidas
al concatenar una palabra cualquiera de L1 con
otra de L2.
Correcto
Puntos para este envo: 1/1.
Question6
Puntos: 1
Expresiones regulares: Determine que igualdades son vlidas:
Seleccione al menos una respuesta.

a. a*=a*.a*=(a*)*
Correcto: Por asociacin

b. a+a=a
Correcto: dada las propiedades de las
ER

c. a(aa+b)* + a(aa+b)* = a(aa+b)*
Correcto

d. aa+b*a = (aa+b*)a
Incorrecto
Correcto
Puntos para este envo: 1/1.
Question7
Puntos: 1
Acerca de la clasificacin de los lenguajes, identifique las afirmaciones vlidas con referencia a la
jerarqua y comportamiento de los mismos:
Seleccione al menos una respuesta.

a. Los lenguajes son en s conjuntos de secuencias de smbolos y las
clases de lenguajes son conjuntos de conjuntos de secuencias de
smbolos.
Correcto

b. Al clasificar lenguajes, no se estn clasificando mquinas que los
reconozcan, Se clasifican gramticas que los generan.


c. Se llama clase de lenguajes a conjuntos de lenguajes que
comparten cierta propiedad dada.


d. Segn la clasificacin de lenguajes definida por Chomsky y que la
llam jerarqua de lenguajes, los Lenguajes Regulares es la clase
ms pequea en la jerarqua, e incluye a los lenguajes ms simples.
Estos se llaman as porque sus palabras contienen regularidades o
repeticiones de los mismos componentes.
Correcto
Parcialmente correcto
Puntos para este envo: 0.7/1.
Question8
Puntos: 1
Para el siguiente autmata determine cuales afirmaciones son vlidas cando se trata de evaluar
que cadenas acepta el autmata.



Seleccione al menos una respuesta.

a. Si una cadena tiene 5 unos o ms, entonces
contiene un nmero par de unos.


b. Todas las cadenas que tengan igual nmero de
unos y de ceros son aceptadas.
Incorrecto: No corresponden el nmero de unos
descritos en la cadena

c. Si una cadena tiene menos de 5 unos, entonces
tiene un nmero par de unos.
Correcto: Al recorrer el autmata, se confirma la
relacin de unos descrita.

d. Si una cadena tiene 5 unos o ms, entonces
contiene un nmero impar de unos.

Parcialmente correcto
Puntos para este envo: 0.5/1.
Question9
Puntos: 1
Analice el siguiente diagrama de Moore e identifique las apreciaciones vlidas:


Seleccione al menos una respuesta.

a. Es un AF.
Correcto

b. Es una aplicacin de los autmatas. Un
interruptor de luz
Correcto

c. No es un autmata vlido en diseo


d. No tiene alfabeto definido
Incorrecto: se puede asociar a estados de 1 y 0
(encendido, apagado) como impulsos elctricos
Correcto
Puntos para este envo: 1/1.
Question10
Puntos: 1
Sea el autmata A = (, Q, f, q1, F) donde:
={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la funcin f vienen dada por la siguiente tabla:

Determine qu aspectos son vlidos para el autmata
Seleccione al menos una respuesta.

a. El lenguaje reconocido por el autmata es: a (b* | a*
) ba*
Correcto: Es un AFND. El lenguaje que reconoce
es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para
efectos de mejor comprensin, hay que recrear o
realizar el autmata mediante un diagrama de
Moore

b. Es un Autmata Finito Determinstico con lambda
transiciones


c. Es un Autmata Finito Determinstico (AFD)


d. El lenguaje reconocido por el autmata es: a (b*b |
a*b) a*
Correcto: Es un AFND. El lenguaje que reconoce
es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para
efectos de mejor comprensin, hay que recrear o
realizar el autmata mediante un diagrama de
Moore
Correcto
Puntos para este envo: 1/1.
Question11
Puntos: 1
Acerca del comportamiento de los estados en un autmata, indique que apreciaciones son
vlidas con respecto a su funcin y comportamiento:
Seleccione al menos una respuesta.

a. Se define como el estado de un autmata es
toda la informacin necesaria en un momento
dado, para poder deducir, dado un smbolo de
entrada en ese momento, cul ser el smbolo de
salida.
Correcto

b. Un estado de un autmata funciona de tal forma
que cuando reciba a su entrada una determinada
cadena de smbolos, indica si dicha cadena
pertenece o no al lenguaje
Incorrecto: Un autmata es reconocedor de
lenguajes si tiene esa funcin. Pero un solo estado
no puede determinar si reconoce o no una cadena.
Depende de otros estados y ms an si no es de
aceptacin

c. Un estado de aceptacin tambin puede ser
inicial. Solo para autmatas finitos no


d. Conocer el estado de un autmata, es lo mismo
que conocer toda la historia de smbolos de
entrada, as como el estado inicial. Estado en que
se encontraba el autmata al recibir el primero de
los smbolos de entrada.
Correcto
Correcto
Puntos para este envo: 1/1.
Question12
Puntos: 1
Con los smbolos del alfabeto se forman cadenas, frases o palabras que se denotan por la letra . Algunas operaciones entre
palabras son la concatenacin y la inversa.
Que afirmaciones son vlidas para estas propiedades y en algunas particularidades para el
comportamiento de las cadenas o palabras (que se forman con los smbolos de un alfabeto) y que
haran parte de un lenguaje.
Seleccione al menos una respuesta.

a. La Inversin ( potencia R) consiste en una operacin sobre
palabras o cadenas que escribe al revs una palabra. La
palabra resultante se denomina inversa.


b. El Palndromo se puede definir como: ( = potencia R
).


c. La concatenacin por ejemplo no tiene la propiedad
conmutativa, es decir: 1 2 2 1 .
Correcto

d. En general (1 2 ) potencia R 1 potencia R 1 potencia
R pero (1 2) potencia R = 2 potencia R 1 potencia R
Correcto
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question13
Puntos: 1
Dado el siguiente autmata: Cambie los smbolos del alfabeto asociando a = 0 y b =1 . Para las
siguientes opciones,(que estn en base 10 o decimal), convirtalas a base 2 (binario) y recorra
el autmata e identifique cul nmero acepta el autmata.



Seleccione una respuesta.

a. 253
Incorrecto: equivale a la cadena 11111101 y esta no
es reconocida

b. 73


c. 182


d. 205

Incorrecto
Puntos para este envo: 0/1.
Question14
Puntos: 1
Dada la siguiente ER, el lenguaje que define esta, es el de todas las cadenas que alternan entre 0 y 1.
(((01)*+(01)*0)+((10)*+(10)*1))
Identifique las cadenas no vlidas.
Seleccione una respuesta.

a. {01,10,101,010}


b. {11, 0110, 00,11,1011}
Correcto: estas son cadenas no
validas

c. {010010, 101101,1}


d. {0,1}

Correcto
Puntos para este envo: 1/1.
Question15
Puntos: 1
Dado el siguiente autmata, analice si es posible su minimizacin y seleccione las opciones
vlidas para su anlisis:


Seleccione al menos una respuesta.

a. Los estados q2 y q3 son equivalentes. Dado que transitan igual
para los dos smbolos del alfabeto. Por tanto se pueden fusionar en
no solo.
Correcto

b. El autmata no se puede minimizar. No hay estados equivalentes
y los estados distinguibles no se pueden modificar.


c. Si es posible minimizarlos y el autmata resultante tendr tres
estados
Correcto

d. El estado final q1 es equivalente con el inicial. (teorema de
equivalencia de estados). Por tanto el autmata es candidato a
minimizarse.

Correcto
Puntos para este envo: 1/1.
Act 7: Reconocimiento Unidad No. 2
Revisin del intento 1
Finalizar revisin

Comenzado el mircoles, 16 de abril de 2014, 16:02
Completado el mircoles, 16 de abril de 2014, 16:47
Tiempo empleado 45 minutos 14 segundos
Puntos 5/6
Calificacin 8.3 de un mximo de 10 (83%)
Comentario - Correcto:
Question1
Puntos: 1
Dado el alfabeto = {a,b}, identifique cul afirmacin es falsa.
Seleccione una respuesta.

a. La expresin regular (b*ab*ab*a) * representa al
lenguaje de las cadenas con un nmero mltiplo de
3 de letras a
Esta afirmacin (ER) es errada para las
cadenas que dice generar.

b. La expresin regular b*a*b* representa al lenguaje
de las cadenas que pueden o no tener a


c. La expresin regular b*(ab*ab*)* representa al
lenguaje de las cadenas con un nmero par de
letras a


d. La expresin regular b*ab* (ab*ab*)* representa al
lenguaje de las cadenas con un nmero impar de
letras a

Correcto
Puntos para este envo: 1/1.
Question2
Puntos: 1
Dada la Gramtica SaS; SaSbS; S. Indique cules de las siguientes
afirmaciones no corresponden al desarrollo de la misma o al tipo de cadenas o palabras que pueda
generar.
Seleccione al menos una respuesta.

a. Las cadenas que acepta la gramtica siempre
van a empezar por a. Adems el lenguaje
generado por la gramtica es estructurado por
frases.
Esta afirmacin es cierta en el contexto. Pero la
pregunta est solicitando cules apreciaciones son
falsas.

b. Las cadenas que acepta la gramtica siempre
van a empezar por b. Adems el lenguaje
generado por la gramtica es no es estructurado
por frases.


c. Cualquier cadena generada por la gramtica
contiene una subcadena no vaca donde el
nmero de letras a es igual al nmero de letras
b.
Es cierto que: Las cadenas van a empezar por a.
El lenguaje generado por la gramtica es
estructurado por frases. Solo algunas cadenas
generadas contiene igual nmero de as que de bs

d. Para cualquier prefijo de una cadena generada
por la gramtica se verifica que el nmero de
letras a es mayor o igual al nmero de letras b.
Prefijo de una cadena es toda cadena no vaca
x para la que existe una cadena u tal que
=xu
Esta afirmacin es cierta en el contexto. Pero la
pregunta est solicitando cules apreciaciones son
falsas.
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question3
Puntos: 1
Dada la Gramtica SaS; SaSbS; S.
Indique cules de las siguientes afirmaciones no corresponden al desarrollo de la misma o al tipo de
cadenas o palabras que pueda generar.

Seleccione al menos una respuesta.

a. Las cadenas que acepta la
gramtica siempre van a empezar por
a. Adems el lenguaje generado por la
gramtica es estructurado por
frases
Correcto: Correcto: Las cadenas van a empezar por
a. El lenguaje generado por la gramtica es
estructurado por frases. Solo algunas cadenas
generadas contiene igual nmero de as que de bs.

b. Para cualquier prefijo de una cadena
generada por la gramtica se verifica
que el nmero de letras a es mayor o
igual al nmero de letras b. Prefijo de
una cadena es toda cadena no vaca
x para la que existe una cadena u tal
que =xu
Incorrecto

c. Cualquier cadena generada por la
gramtica contiene una subcadena no
vaca donde algunas veces el nmero
de letras a es igual al nmero de letras
b.
Correcto: Correcto: Las cadenas van a empezar por
a. El lenguaje generado por la gramtica es
estructurado por frases. Solo algunas cadenas
generadas contiene igual nmero de as que de bs.

d. Las cadenas que acepta la gramtica
siempre van a empezar por b. Adems
el lenguaje generado por la gramtica
es no es estructurado por frases.

Las gramticas cuyas reglas son de la forma A ---> aB o bien A ---> a, donde A y B son variables, y a es un caracter terminal. A
estas gramticas se les llama regulares.
Correcto
Puntos para este envo: 1/1.
Question4
Puntos: 1
Un rbol de derivacin, para una derivacin dada se construye: (seleccione que las operaciones que son necesarias):
Teniendo en cuenta el siguiente rbol.



Seleccione al menos una respuesta.

a. Todos los nodos hoja estn etiquetados con smbolos
terminales.
Correcto

b. Los nodos que no tienen hijos, deben ser etiquetados con
smbolos terminales.
Correcto

c. Creando un nodo raz que se etiqueta con el smbolo
inicial.
Correcto

d. El nodo raz tiene unos hijos para cada smbolo que aparece
en el lado derecho de la produccin usada para reemplazar el
smbolo inicial.
Correcto
Correcto
Puntos para este envo: 1/1.
Question5
Puntos: 1
Cuando se disean AP o se formalizan, se utilizan notaciones grficas parecidas a la de los diagramas de los AF. Con respecto a
esto: qu aspectos de diseos son vlidos para formalizar un AP.?
Seleccione al menos una respuesta.

a. Si se da la transicin a/x/c indica que
se consume de la entrada un carcter a,
se avanza una posicin x y se mete c a
la pila.
Incorrecto: indica que se consume de la entrada
un carcter a, no se saca nada de la pila, y se
mete c a la pila.

b. Para que una palabra de entrada sea
aceptada en un AP debe cumplir tres
condiciones. Una de ellas es que el AP se
debe encontrar en un estado final.


c. Si se da la transicin a/x/c indica que
se consume de la entrada un carcter a,
no se saca nada de la pila, y se mete c a
la pila.
Correcto: Ese es el funcionamiento en sintaxis de la pila o la
forma como se alimenta el autmata..

d. Si se da la transicin a/x/c indica que
se saca de la pila un carcter a, luego
se avanza una posicin x en la pila, y se
mete c a la pila.
Incorrecto No es la sintaxis de recorrido de un AP.
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question6
Puntos: 1
Con referencia las gramticas de Tipo 2, que aspectos vlidos hacen referencia a la forma de generar lenguajes de tipo 2 y
su comportamiento y descripcin:
Seleccione al menos una respuesta.

a. Si M es un AP, entonces L(M) es un LLC
Correcto

b. Los autmatas de pila aceptan exactamente los LLC
(Lenguajes Libres de Contexto).
Correcto

c. Las producciones son de la forma: A - aa Dado que hay un
carcter de lectura y uno de escritura


d. Si L es un LLC, entonces hay un AP M tal que L(M) = L
Correcto
Correcto
Puntos para este envo: 1/1.
Finalizar revisin

Act 8: Leccin Evaluativa Unidad No. 2
Revisin del intento 1
Finalizar revisin

Comenzado el mircoles, 23 de abril de 2014, 20:03
Completado el mircoles, 23 de abril de 2014, 21:02
Tiempo empleado 58 minutos 16 segundos
Puntos 8.5/10
Calificacin 25.5 de un mximo de 30 (85%)
Comentario - Correcto
Question1
Puntos: 1
De entre las cuatro clases de gramticas de la clasificacin de Chomsky, el
grupo ms importante, desde el punto de vista de la aplicabilidad en teora de
compiladores, es el de las gramticas independientes o libres del contexto. Las
gramticas de este tipo se pueden usar para expresar la mayora de
estructuras sintcticas de un lenguaje de programacin.

Aspectos que caracterizan este tipo de gramticas son:
Seleccione al menos una respuesta.

a. La representacin de las derivaciones de la gramtica
siempre se hacen de forma vertical. Nunca de forma
comprimida u horizontal
Incorrecto

b. Un rbol ordenado y etiquetado D es un rbol de derivacin
para una gramtica libre de contexto G(A)
Correcto

c. La longitud de las cadenas de derivaciones nunca puede
ser nula y siempre se grafican en el Arbol de derivacin
iniciando por la Izquierda La representacin de las
derivaciones de la gramtica siempre se hacen de forma
vertical. Nunca de forma comprimida u horizontal
Incorrecto

d. El lenguaje definido por una gramtica G, denotado L(G) es
el conjunto de cadenas de smbolos terminales, que se
pueden derivar partiendo del axioma de la gramtica, y
empleando para las derivaciones las reglas de produccin de
P
Correcto
Una gramtica es un conjunto de reglas para formar correctamente las frases
de un lenguaje; as tenemos la gramtica del espaol, del francs, etc. La
formalizacin que presentaremos de la nocin de gramtica es debida a N.
Chomsky, y est basada en las llamadas reglas gramaticales.
Correcto
Puntos para este envo: 1/1.
Question2
Puntos: 1
Dado el siguiente autmata finito (AF), reconoce el lenguaje generado por la gramtica:


Seleccione una respuesta.

a. G={S ---> 0A| lambda,, A ---> 0A | 1B, B ---> 1B|lambda}


b. G = { S --->A |lambda , A ---> 0B | lambda,, B --->
lambda}


c. G= {S -->0B | 0A , A ---> 1B | lambda , B ---> lambda
Incorrecto

d. G = { S --->B |lambda , A ---> 1B | lambda,, B --->
lambda}

Incorrecto
Puntos para este envo: 0/1.
Question3
Puntos: 1
Si es un alfabeto, se le llama
n
al conjunto de todas las palabras de longitud n sobre .
Identifique las notaciones de conjuntos vlidas para la creacin de
palabras sobre el alfabeto
Seleccione al menos una respuesta.

a. * = Conjunto de todas las cadenas de
cualquier longitud sobre
Correcto

b. 0 = {lambda} Conjunto cuyo nico elemento
es la palabra vaca.
Correcto

c. 0 = Conjunto de todas las cadenas sobre el
alfabeto excepto la vaca.


d. + = Conjunto de todas las cadenas positivas
excepto la vaca
Incorrecto
La longitud de una cadena que se denota como || es el nmero de letras
que aparecen en . A la cadena que no tiene smbolos o que es lo mismo decir
que tiene longitud cero, se le llama palabra vaca. Si es un alfabeto, se le
llama n al conjunto de todas las palabras de longitud n sobre . La estrella *
genera el conjunto de todas las cadena de cualquier longitud sobre . Si se
analiza + esta representa al conjunto de todas las cadenas sobre el alfabeto
excepto la vaca.
Correcto
Puntos para este envo: 1/1.
Question4
Puntos: 1
Del diseo y naturaleza de los autmatas de pila (PDA), es vlido afirmar:
Seleccione una respuesta.

a. Para poder simular un autmata de Pila se debe
tener en cuenta: Las columnas de una traza de
ejecucin para un AP son: el estado en que se
encuentra el autmata, lo que ha leido hasta el
momento o estado actual al inicio de la simulacin,
y el contenido de la memoria al final del recorrido.



b. Un autmata de pila no puede hacer las
funciones de "contador" ya que sus recorridos
varan en la cinta y lo que le importa a esta
automatizacin es el estado final y la salida del
dato.


c. Un Autmata de Pila al igual que una Mquina de
Turing o un Autmata Finito, su definicin bsica es
de naturaleza no determinista


d. A la hora de disear un AP tenemos que repartir
lo que requiere ser recordado entre los estados y
la pila. Distintos diseos para un mismo problema
pueden tomar decisiones diferentes en cuanto a que
recuerda cada cual
Respuesta Correcta: Aunque en el caso de
los AP no hay metodologas tan
generalmente aplicables como era el caso
de los autmatas finitos, siguen siendo
vlidas las ideas bsicas del diseo
sistemtico, en particular establecer
claramente qu es lo que recuerda cada
estado del AP antes de ponerse a trazar
transiciones a diestra y siniestra.
A la hora de disear un AP tenemos que repartir lo que requiere ser
recordado entre los estados y la pila. Distintos diseos para un mismo
problema pueden tomar decisiones diferentes en cuanto a que recuerda cada
cual.
Correcto
Puntos para este envo: 1/1.
Question5
Puntos: 1
Para que una palabra de entrada sea aceptada en un AP se deben cumplir las
condiciones siguientes:
Seleccione al menos una respuesta.

a. La pila debe estar vaca.
Correcto: la pila debe estar vaca.

b. El AP se debe encontrar en un estado final.
Correcto: para que una palabra de
entrada sea aceptada en un AP se deben
cumplir todas las condiciones siguientes:
1. La palabra de entrada se debe haber
agotado (consumido totalmente). 2. El AP
se debe encontrar en un estado final. 3.
La pila debe estar vaca.

c. La palabra de entrada se debe haber agotado
(consumido totalmente).
Correcto; para que una palabra de
entrada sea aceptada en un AP se deben
cumplir todas las condiciones siguientes:
1. La palabra de entrada se debe haber
agotado (consumido totalmente). 2. El AP
se debe encontrar en un estado final. 3.
La pila debe estar vaca.

d. La pila debe tener lambda como elemento final.

A la hora de disear un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos diseos para
un mismo problema pueden tomar decisiones diferentes en cuanto a qu recuerda cada cual.
Correcto
Puntos para este envo: 1/1.
Question6
Puntos: 1
En un autmata de pila (AP), la funcin de transicin aplica o interviene a:
Seleccione al menos una respuesta.

a. A cada smbolo topo de la pila
Correcto

b. A cada estado
Correcto

c. A cada smbolo de entrada (Incluyendo la cadena
vaca)
Correcto

d. A cada movimiento de la pila

La funcin de transicin aplica cada estado, cada smbolo de entrada
(incluyendo la cadena vaca) y cada smbolo tope de la pila en un conjunto de
posibles movimientos. Cada movimiento parte de un estado, un smbolo de la
cinta de entrada y un smbolo tope de la pila. El movimiento en s consiste en
un cambio de estado, en la lectura del smbolo de entrada y en la substitucin
del smbolo tope de la pila por una cadena de smbolos.
Parcialmente correcto
Puntos para este envo: 0.8/1.
Question7
Puntos: 1
Indique cul de las siguientes afirmaciones es verdadera:
Seleccione al menos una respuesta.

a. Para reconocer un lenguaje regular mediante
un autmata de pila no es necesario que el
alfabeto de la pila contenga ningn smbolo
Correcto: Cualquier lenguaje independiente del contexto
puede ser aceptado por un autmata de pila, y todos
lenguajes regulares son independientes del contexto.

b. Cuando se dice que un AFPD (autmata de
pila determinista) es ms sencillo , se refiere a
que es menos potente y no se refiere ala
sencillez de su diseo.
Correcto:

c. Con un autmata de pila no puede
reconocerse un lenguaje regular
Esta opcin es falsa: Para reconocer un lenguaje
regular mediante un autmata de pila no es necesario
que el alfabeto de la pila contenga ningn smbolo, ya
que en realidad no se necesita usar la pila.

d. Para reconocer un lenguaje regular mediante
un autmata de pila el alfabeto de la pila debe
contener al menos un smbolo

Correcto
Puntos para este envo: 1/1.
Question8
Puntos: 1
Identifique los aspectos que se deben tener para garantizar el determinismo en un Autmata de pila finito determinista
(AFPD).
Tenga en cuenta adems de los componentes (tupla) de la pila que::
f: es la funcin de transicin:
e: es una transicin dada espontanea.
Seleccione al menos una respuesta.

a. Las operaciones: f(q,a,s)y f(q,e,s) con a ,, q Q y s (pertenecen)
al alfabeto de la pila y no pueden estar simultneamente definidos o
declarados.


b. La definicin de la funcin de transicin (f) requiere que haya por
lo menos un smbolo en la pila. No se permiten operaciones con la
pila vaca.
Correcto

c. El determinismo se da cuando no hay alternativas de movimiento
para el mismo estado, usando la misma entrada y el mismo smbolo
de pila.
Correcto

d. Las transiciones lambda en un AFPD permiten que el autmata
cambie el contenido de la pila, sin procesar (o consumir) smbolos
sobre la cinta de entrada.
Correcto
Parcialmente correcto
Puntos para este envo: 0.8/1.
Question9
Puntos: 1
Sea un autmata (finito o de pila) M y una cadena x L(M). Si el autmata lee la cadena x,
llegar necesariamente a un estado de aceptacin?
Seleccione una respuesta.

a. Si, si M es un autmata finito.


b. Nunca, Queda en un bucle ya que solo recorre un smbolo.


c. S, siempre.


d. No todas las veces, dado que puede tratarse de un autmata no
determinista.
Correcto
Correcto
Puntos para este envo: 1/1.
Question10
Puntos: 1
Respecto a la relacin entre un AF y un AP cul afirmacin es cierta:
Seleccione una respuesta.

a. Un AP es infinito por su capacidad de
memoria. Un AF es finito por su nmero de
estados.


b. Los AF y los AP tienen la misma
capacidad de memoria


c. Todo lenguaje aceptado por un AF es
tambin aceptado por un AP
Correcto: Este resultado debe quedar
intuitivamente claro, puesto que los AP son una
extensin de los AF.

d. Las gramticas que generan los
lenguajes que pueden representar estos
autmatas o mquinas, son las GLC

En los AP tambin es posible aplicar mtodos de combinacin modular de
autmatas, como se hizo con los autmatas finitos. En particular, es posible
obtener AP que acepten la unin y concatenacin de los lenguajes aceptados
por dos AP dados.
Correcto
Puntos para este envo: 1/1.
Act 9: Quiz 2 - Unidad No. 2
Revisin del intento 1
Finalizar revisin

Comenzado el mircoles, 23 de abril de 2014, 21:03
Completado el mircoles, 23 de abril de 2014, 21:58
Tiempo empleado 55 minutos 44 segundos
Puntos 11/15
Calificacin 22 de un mximo de 30 (73%)
Comentario - Correcto: Contest la totalidad de las preguntas.
Question1
Puntos: 1
La combinacin de autmatas se demostr en los Autmatas Finitos de la
Unidad 1 en as que era viable combinar dos Autmatas que generaban el miso
lenguaje y obtener otro que genera las mismas cadenas que los autmatas
combinados.
Con referencia a los Autmatas de Pila (AP), este tema de combinacin tiene
aspectos a analizar. identifique cul es vlido para estas operaciones:
Seleccione una respuesta.

a. Las operaciones de combinar AP solo es viable cuando los
dos Autnomas leen el mismo alfabeto.
Incorrecto

b. Se pueden obtener AP que acepten operaciones de Unin
y Concatenacin de los lenguajes aceptados por los
Autnomas de Pila dados.


c. Un AP se puede combinar con una MT siempre y cuando
lean y acepten el mismo lenguaje.


d. Solo la operacin de Unin de los lenguajes de dos AP es
permitida.

En los AP tambin es posible aplicar mtodos de combinacin modular de
autmatas, como se hizo con los autmatas finitos. En particular, es posible
obtener AP que acepten la unin y concatenacin de los lenguajes aceptados
por dos AP dados.
Incorrecto
Puntos para este envo: 0/1.
Question2
Puntos: 1
Considere la gramtica: S 0S, S 1S, S S0, S . Indique cules de las
siguientes afirmaciones son verdaderas
Seleccione al menos una respuesta.

a. La gramtica es equivalente a S0S, S 1S, S
Correcto

b. Existen derivaciones distintas que generan cadenas
idnticas
Correcto

c. Las cadenas {0101, 1001] no son parte del lenguaje que
genera

d. La regla S S0 es innecesaria
Correcto
Correcto
Puntos para este envo: 1/1.
Question3
Puntos: 1
Dado el lenguaje L = {a, abb, ba, bbba, b} indique cuntas cadenas de longitud estrictamente menor que 3 hay en L*:
Seleccione una respuesta.

a. 6


b. 7
Correcto: L* {w L* | |w| < 3}= { , a,b,aa,ab,ba,bb}

c. 5


d. 4

Correcto
Puntos para este envo: 1/1.
Question4
Puntos: 1
Indique cul de las siguientes afirmaciones es falsa:
Seleccione una respuesta.

a. La unin de un nmero finito de lenguajes estructurados por
frases es un lenguaje estructurado por frases
Incorrecto

b. La interseccin de dos lenguajes estructurados por frases es
un lenguaje estructurado por frases


c. La interseccin de un lenguaje regular con un lenguaje
independiente del contexto es siempre un lenguaje regular.


d. Todo lenguaje cuyo complementario sea un lenguaje finito es
independiente del contexto

Incorrecto
Puntos para este envo: 0/1.
Question5
Puntos: 1
Indique cul de las siguientes afirmaciones es verdadera:
Seleccione una respuesta.

a. Los AP son siempre deterministas. El no determinismo no se hace
presente por que los AP poseen un mecanismo adicional de manejo
de memoria


b. Los autmatas finitos no deterministas son ms potentes que los
autmatas finitos deterministas


c. En un diagrama completo que represente a un autmata finito
determinista, de cada estado sale un arco por smbolo y slo uno
Correcto

d. Un PDA es siempre no determinista por que la cinta es infinita y
puede generar muchas combinaciones en las cadenas que lee.

Correcto
Puntos para este envo: 1/1.
Question6
Puntos: 1
En la descripcin de las gramticas, las producciones unitarias tienen la forma:
Seleccione una respuesta.

a. A -->sB


b. S-->ABs


c. A --> B
Correcto

d. S-->a

Las producciones unitarias son las que tienen la forma A B
Correcto
Puntos para este envo: 1/1.
Question7
Puntos: 1
Si a un Autmata se le adiciona un almacenamiento auxiliar, se est
construyendo entonces:
Seleccione una respuesta.

a. Un Pushdown Automaton (PA)


b. Un Autmata Determinstico Finito.


c. Un Autmata No determinstico pero Finito


d. Una Turing Machine (TM)
Incorrecto
Aadir al AF un almacenamiento auxiliar, que llamaremos pila, donde se
podran ir depositando caracter por caracter cadenas arbitrariamente grandes,
es el primer paso a la construccin de un AP a partir de un simple AF.
Incorrecto
Puntos para este envo: 0/1.
Question8
Puntos: 1
Cual de las siguientes afirmaciones es VERDADERA
Seleccione una respuesta.

a. En un rbol de derivacin cada nodo solamente
puede tener otro hijo nodo. De lo contrario se formara
otro nodo.


b. En los arboles de derivacin, los nodos races
siempre derivan en dos ramas.


c. Los lenguajes generados por una Gramtica
Independiente del Contexto son llamados Lenguajes
Regulares


d. En un rbol de derivacin, una gramtica es
ambigua, cuando hay dos o ms rboles de
derivacin distintos para una misma cadena.
Correcto. En este caso es ambigua por
cuanto puede tener varias soluciones
Es posible probar que cualquier palabra que sea aceptada por el AFD M, puede
ser generada por la gramtica regular G. Esto significa que L(G) = L(M).
Correcto
Puntos para este envo: 1/1.
Question9
Puntos: 1
Considere la gramtica S Rc, R aRbR, R . Siendo w una cadena cualquiera generada por
dicha gramtica, indique cul de las siguientes afirmaciones es falsa:
Seleccione una respuesta.

a. Las cadenas {abc, c} son aceptadas


b. El nmero de letras a es igual al de letras b en w


c. w = xc | x (a b)*
Esta afirmacin es falsa y es la respuesta
correcta: Por ejemplo la cadena w = ac no
es generada por la gramtica

d. El nmero de letras a es mayor o igual al de letras b en
todo prefijo de w. Prefijo de una cadena w es toda cadena
no vaca x para la que existe una cadena u tal que w =
xu.

Correcto
Puntos para este envo: 1/1.
Question10
Puntos: 1
Considere la gramtica G1 = {S aS/ aA/ a, A aB/ bS, B aB/ bB, C aA/ bC}
y G2 = {S aS/ aA/ a, A bS}. Sean L1 y L2 los lenguajes generados respectivamente por G1 y G2; entonces: (Nota: el
smbolo denota la relacin de inclusin estricta):
Seleccione una respuesta.

a. L1 L2


b. L1 = L2
Correcto: Las reglas que implican a los no terminales B y C no generan
ninguna cadena.

c. L2 L1


d. L1 L2

Correcto
Puntos para este envo: 1/1.
Question11
Puntos: 1
Si una gramtica independiente del contexto tiene todas sus reglas de la forma: A wB, o bien de la forma A w,
donde w es una cadena de uno o ms terminales, y A y Bson smbolos no terminales, entonces el lenguaje generado por
dicha gramtica es:
Seleccione una respuesta.

a. Estructurado por frases y no independiente del contexto


b. Decidible


c. Regular
Correcto

d. Independiente del contexto no regular

Correcto
Puntos para este envo: 1/1.
Question12
Puntos: 1
Para simular el funcionamiento de un Autmata de Pila lo ms recomendable
es hacer primero:
Seleccione una respuesta.

a. Simular su ejecucin en un software (podra ser como
Visual Autmata Simulator) iniciando con una cadena no
vlida para determinar si el ciclo de la cinta inicia o no.


b. Simularlo en JFLAP con la cadena vaca Lambda para
determinar si la pila inicia o no.


c. Simular su ejecucin, listando las situaciones sucesivas en
que se encuentra, mediante una tabla llamada traza de
ejecucin
Correcto

d. Simular su ejecucin en una MT que se comporta de igual
forma

Para verificar el funcionamiento del autmata, podemos simular su ejecucin,
listando las situaciones sucesivas en que se encuentra, mediante una tabla que
llamaremos traza de ejecucin. Las columnas de una traza de ejecucin para
un AP son: el estado en que se encuentra el autmata, lo que falta por leer de
la palabra de entrada, y el contenido de la pila.
Correcto
Puntos para este envo: 1/1.
Question13
Puntos: 1
Cual de las siguientes afirmaciones se asocia correctamente al diseo y
funcionamiento de los rboles de derivacin.
Seleccione una respuesta.

a. En un rbol de derivacin, una gramtica es
ambigua cuando hay dos o ms rboles de derivacin
distintos para una misma cadena.
Respuesta Correcta: Una gramtica es
ambiga cuando hay dos o ms
rboles de derivacin distintos para una
misma cadena

b. Los lenguajes generados por una Gramtica
Independiente del Contexto son llamados Lenguajes
Regulares


c. En un rbol de derivacin cada nodo solamente
puede tener otro hijo nodo


d. En los rboles de derivacin, no es necesario usar
nodo raz

Al derivar una cadena a travs de una GIC, el smbolo inicial se sustituye por
alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras
cadenas hasta que ya no quedan smbolos no terminales, queda una cadena
con slo smbolos terminales. A veces es til realizar un grfico de la
derivacin. Tales grficos tienen forma de rbol y se llaman rbol de
derivacin o rbol de anlisis. Para una derivacin dada, el smbolo inicial
S etiqueta la raz del rbol. El nodo raz tiene unos nodos hijos para cada
smbolo que aparezca en el lado derecho de la produccin, usados para
reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tiene
unos nodos hijos etiquetados con smbolos del lado derecho de la produccin
usada para sustituir ese no terminal.
Correcto
Puntos para este envo: 1/1.
Question14
Puntos: 1
Dada la siguiente gramtica con las siguientes producciones: Determine que opciones son
verdaderas y aplican al diseo y anlisis de la misma.



Seleccione al menos una respuesta.

a. Genera le lenguaje : L = {x (potencia m) y
(potencia n) | 0 <= n <= m <= 3n }
Correcto

b. Es una gramtica independiente de
contexto
Correcto

c. La gramtica debe aplicar las reglas 2n
veces para que genere el lenguaje L = {x
(potencia m) y (potencia n) | 0 <= n <= m }

Incorrecto: la cadena se genera aplicando 2nm veces
la primera regla y mn veces la segunda; si
2n m 3n hay que aplicar 3nm veces la segunda
regla y m2n veces la segunda.)

d. Reconoce las cadenas {xx, yy}
Correcto
Correcto
Puntos para este envo: 1/1.
Question15
Puntos: 1
La relacin entre un AP y un LLC (Lenguaje Libre de contexto) permite que dada una Gramtica G, existe entonces un AP que
acepta exactamente el lenguaje generado por G.
Dado el siguiente autmata de pila (AP) cuyo funcionamiento se representa en la siguiente tabla, identifique la gramtica correcta
y sus reglas que aceptan el LLC dado por el AP.


Seleccione una respuesta.

a. S > 0A0 | 1S2 | 1 | 0


b. S > 0A0 | 1S2 | 10
Incorrecto: En la pila lo que falta por leer viene siendo la
cadena que se evala .Esta gramtica no es la que
recorre el rbol que permite esa salida:

c. S > 0A0 | 1S1 | 2


d. S > 0A0 | 1S0 | 2 | 0

Incorrecto
Puntos para este envo: 0/1.
Finalizar revisin

Usted se ha autentificado como SAHIRA LISETH LARA (Salir)
301405A
Act 11: Reconocimiento Unidad No. 3
Revisin del intento 1
Finalizar revisin

Comenzado el jueves, 15 de mayo de 2014, 19:04
Completado el jueves, 15 de mayo de 2014, 19:30
Tiempo empleado 26 minutos 32 segundos
Puntos 4/6
Calificacin 6.7 de un mximo de 10 (67%)
Comentario - Correcto: Contest la totalidad de las preguntas.
Question1
Puntos: 1
Las transiciones de una Mquina de Turing de varias cintas (MT), tienen las
siguientes caractersticas:
Seleccione al menos una respuesta.

a. La transicin 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.

b. La transicin le asigna el carcter de entrada a las dems
cintas


c. Las transiciones se pueden hacer en varias cintas
simultneamente
Incorrecto

d. La transicin depende de los smbolos actuales de todas las
cintas.

Parcialmente correcto
Puntos para este envo: 0.5/1.
Question2
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 Reduccin Reducibilidad de
Turing
Correcto: La reducibilidad ha permitido llegar a
determinar la indecibilidad en algunos problemas
computacionales

b. Usando el mtodo de Halting


c. Usando el mtodo de las Funciones
computables


d. Usando el mtodo de Decibilidad de Teoras
Lgicas

Correcto
Puntos para este envo: 1/1.
Question3
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 una Tabla de transiciones
el problema.


b. Si no se representa con un diagrama de Moore el
problema


c. Si no existe un algoritmo total para determinar si la
propiedad y objetivo del problema es verdadera.


d. Si no existe un procedimiento efectivo para
determinar si la propiedad es verdadera (no existe
una Mquina de Turing MT).
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
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question4
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:
Seleccione una respuesta.

a. Si se reduce de forma efectiva un problema sin
solucin efectiva a otro problema, entonces este
nuevo problema tampoco tendr solucin
efectiva.
Correcto: El reducir estos problemas implica que lo
que se obtenga es evaluable en trminos de
equivalencia. Si la reduccin da como resultado
otro problema indecidible, entonces seguir sin
tener 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, se determina la
clase de complejidad siendo esta la solucin

Correcto
Puntos para este envo: 1/1.
Question5
Puntos: 1
Analice la codificacin de la siguiente Mquina: Si lee 0101 (de izquierda a derecha), la salida correspondiente es:



Seleccione una respuesta.

a. 0110


b. 0111


c. 0011


d. 0101
Incorrecto: El enunciado del ejercicio dice que
se lee de izquierda a derecha.
Incorrecto
Puntos para este envo: 0/1.
Question6
Puntos: 1
Cuando se transmite informacin, las variables a evaluar, medir, seguir y monitorear son:
Seleccione al menos una respuesta.

a. La velocidad que se mantenga.
Correcto: Cuando se transmite informacin, las
variables ms importantes son: la velocidad y la
veracidad (libre de errores).

b. Nivel de ruido


c. La veracidad de los datos en todo su sentido.
Correcto: Cuando se transmite informacin, las
variables ms importantes son: la velocidad y la
veracidad (libre de errores).

d. Redundancia
Incorrecto
Correcto
Puntos para este envo: 1/1.
Act 12: Leccin Evaluativa Unidad No. 3
Revisin del intento 1
Finalizar revisin

Comenzado el domingo, 18 de mayo de 2014, 12:04
Completado el domingo, 18 de mayo de 2014, 12:40
Tiempo empleado 36 minutos 9 segundos
Puntos 9/10
Calificacin 27 de un mximo de 30 (90%)
Comentario - Correcto: Contest la totalidad de las preguntas.
Question1
Puntos: 1
Acerca del tipo de cadenas que puede aceptar una Mquina de Turing,
determine cul afirmacin es vlida.
Seleccione una respuesta.

a. Una mquina de Turing cuyo estado inicial
coincida con el estado de parada acepta toda
cadena
Correcto: 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

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

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

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 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.
Correcto
Puntos para este envo: 1/1.
Question3
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. Con un computador real, se puede determinar con certeza
cualquier problema en el sentido si es decidible o no.


b. Decidir si un lenguaje que se genera es vaco o no, es un
problema que s tiene solucin por una MT.


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


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). Tambin se ha formulado
la tesis de Church-Turing, que determina el lmite de los computadores
actuales
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 tipo "insoluble" define que hay un algoritmo
que lo soluciona pero que no se puede llevar a una MT o una
mquina abstracta.


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


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

d. El problema de Halting es el primer problema indecidible
mediante maquinas de Turing
Correcto
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
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. 110


c. 001


d. 010
Correcto
Correcto
Puntos para este envo: 1/1.
Question6
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. 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
Correcto: 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.

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 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
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.
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, Trellis y Diagrama de estados.
Correcto

b. Autmatas finitos (grafos). Mquinas de estados


c. Autmatas finitos (grafos). Mquinas de estados


d. rboles y diagramas de estados

Correcto
Puntos para este envo: 1/1.
Question8
Puntos: 1
Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx



Seleccione una respuesta.

a. La mquina entra en un bucle y no termina nunca.


b. Hay una terminacin anormal.
Incorrecto

c. La mquina acepta la cadena


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

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

b. 11


c. 00


d. 10

Correcto
Puntos para este envo: 1/1.
Question10
Puntos: 1
Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las
computadoras reales.
Seleccione al menos una respuesta.

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

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

c. Las MUT son de un solo propsito. Las mquinas
reales interpretan muchos programas escritos en
diferentes lenguajes (multipropsito).
Incorrecto: 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).

d. 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).
Correcto
Puntos para este envo: 1/1.
Act 13: Quiz 3 Unidad No. 3
Revisin del intento 1
Finalizar revisin

Comenzado el domingo, 18 de mayo de 2014, 12:42
Completado el domingo, 18 de mayo de 2014, 13:22
Tiempo empleado 40 minutos 48 segundos
Puntos 13/15
Calificacin 26 de un mximo de 30 (87%)
Question1
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 de MT es posible solo si es una MT de
una sola cinta. Para MT multicinta basta con cambiar el
estado o salida final


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


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


d. Los autmatas (AFD,AFN) y los autmatas de pila
(AFDP o AFPN) se pueden simular con mquinas de
Turing.
Correcto: Un autmata finito es el
inicio a una MT
La simulacin de autmatas parte del principio bsico de representar un
autmata Finito.
Correcto
Puntos para este envo: 1/1.
Question2
Puntos: 1
La ejecucin de esta mquina de Turing indica que:



Seleccione al menos una respuesta.

a. Si se comporta como mquina reconocedora de
lenguajes, aceptara solo cadenas que contengan
pares de uso y pares de ceros sin importar su
combinacin
Incorrecto

b. Si se ejecuta o se comporta como un
Transductor, para la cadena 00110011 , la salida
va a ser 1.
Correcto

c. Mquina que recorrer las cadenas hasta el
final de la cinta pero se devolver al extremo
izquierdo (L)
Incorrecto

d. Es una mquina que recorrer cualquier
cadena (combinacin de 0s y 1s hasta el final
de la cinta
Correcto: Mquina que va al final de la cinta
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. Identificar la mayor cantidad de bits de control para
compararlos con los bits de datos.


b. Encontrar el ltimo estado que posee el error.


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. Reducir la cantidad de transiciones y clculos cuando
se presentan los bits redundantes y datos
codificados.
Correcto: Lo que se consigue aplicando
este mtodo es reducir el nmero de
clculos. Segn el algoritmo de Viterbi,
para reducir el nmero de clculos,
cada vez que dos trayectos (tambin
llamados ramas) se junten en un
estado en el Diagrama de Trellis, el de
mayor mtrica acumulada se desecha
en la bsqueda del trayecto ptimo
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
Seleccione cul de las siguientes situaciones no es posible cuando una
mquina de Turing determinista examina una cadena:
Seleccione una respuesta.

a. La mquina no se detiene nunca


b. La mquina abandona los clculos por no
encontrar ninguna transicin aplicable
Correcto: Puesto que la mquina es determinista,
necesariamente encuentra siempre una 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. El problema de parada solo aplica a
Mquinas de Turing no deterministas. Las
Deterministas solucionan este problema

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.
Question5
Puntos: 1
El comportamiento de la siguiente mquina de Turing es:



Seleccione al menos una respuesta.

a. Cualquier cadena la recorre la cinta y se posiciona en el
extremo derecho
Incorrecto

b. Al recorrer solo cadenas de unos , la cabeza lectora se
posiciona en el extremo ms izquierdo
Correcto

c. No acepta cadenas de unos seguidos. Debe al menos
existir un cero
Correcto

d. Reconoce solo cadenas que inicien con cero,
independiente de los uso seguidos o ceros que
contenga
Incorrecto
Correcto
Puntos para este envo: 1/1.
Question6
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 esta dividida en un nmero finito de k pistas


b. En esta MT no se inicializan las cintas por que tienen
muchas pistas.


c. La cinta est en un nmero infinito de k pistas. Por eso
es MULTIPISTA
Incorrecto: En el modelo multipista, la
cinta est dividida en un nmero
FINITO de k pistas.

d. Por cada cinta , requiere de un estado de aceptacin
halt

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
Puntos para este envo: 0/1.
Question7
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 / 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
Correcto: La operacin de la MT
consta de los siguientes pasos: 1. Lee
un caracter en la cinta 2. Efecta una
transicin de estado 3. Realiza una
accin en la cinta

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


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

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.
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 finita a la derecha y a la izquierda


b. La cinta es infinita a la derecha
Correcto

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


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
Una de las caractersticas del mtodo de Reducibilidad de Turing es:
Seleccione al menos una respuesta.

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

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

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

d. El mtodo no hace referencia a como se solucionan dos o mas
problemas simultneamente
Correcto
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.
Question10
Puntos: 1
El comportamiento de la siguiente Mquina de Turing (MT) es:



Seleccione una respuesta.

a. La mquina recorre todas las as que entren y borra una
a una hasta que encuentra un smbolo blanco en la cinta y
acepta la cadena
Correcto: Mquina que borra todas las as
hasta encontrar otro smbolo blanco

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


c. La mquina entra e un bucle indefinido


d. La mquina recorre todas las as pero no se detiene

Correcto
Puntos para este envo: 1/1.
Question11
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. Estn situados al extremo izquierdo de la cinta.


b. Tambin pertenece al alfabeto de cadenas a reconocer.


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

d. Indica un movimiento nulo de la cabeza lectora.

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

b. Poder reconocer y procesa mas lenguajes.
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.

c. Construir lenguajes de programacin por ser tan
sencillas en su diseo.
Incorrecto: Por ser tan de demasiado de Bajo
Nivel no resultan prcticas para programar

d. Demostrar que los lenguajes de programacin no
resuelven todos los problemas computacionales
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
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.
Question13
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 (11) con entrada de dato 0.
Cambio de estado 11 con salida de dato codificado
{01}
Incorrecto

b. Posicin de estado (01) con entrada de dato 1.
Cambio de estado 10 con salida de dato codificado
{00}


c. Posicin de estado (01) con entrada de dato 0.
Cambio de estado 10 con salida de dato codificado
{11}


d. Posicin de estado (00) con entrada de dato 1.
Cambio de estado 00 con salida de dato codificado
{01}

Incorrecto
Puntos para este envo: 0/1.
Question14
Puntos: 1
Acerca de los problemas de HALTING, seleccione dos definiciones vlidas para
esa teora:
Seleccione al menos una respuesta.

a. El problema de Halting es el primer problema
indecidible mediante mquinas de Turing.
Correcto: Bsicamente, Turing defini las
bases de las computadoras modernas y
planteo un problema sobre ellas, llegando a la
conclusin de que no hay ningn algoritmo
que lo resuelva. Es el problema de la
detencin (Halting problem); el problema de
saber si un problema se cuelga cuando corre
en la computadora. Turing demostr que el
problema de la detencin es indicidible, es
decir, demostr que haba problemas que una
maquina no poda resolver.

b. Estos problemas los solucionan las mquinas
de Pila combinadas con AF por contener una
memoria que le da mayor capacidad de
anlisis.


c. Es un problema que puede tener solucin pero
tiene un bucle infinito que no soluciona la MT.
Correcto: 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)

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
Puntos para este envo: 1/1.
Question15
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. Aumentarla velocidad de transmisin solo para bits
con paridad 1


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

c. Introducir bits redundantes dentro de una
cadena.
Correcto: la parte emisora permite
anticiparse al ruido del canal que pueda
perjudicar la informacin, de este modo,
en tal caso, se le brinda a la parte
receptora la posibilidad de corregir errores

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

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