Evaluaciones Finales

Act 3: Reconocimiento Unidad No.
1
Revisión del intento 1
Finalizar revisión
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
Calificación 7.5 de un máximo de 10 (75%)
Comentario - Correcto: Contestó la totalidad de las preguntas.
Question1
Puntos: 1
Un alfabeto es un conjunto finito de símbolos. De esta definición 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 vacías
b. Las cadenas que se forman a partir de un
alfabeto finito, resultan ser infinitas.
c. Por símbolo no se está haciendo referencia a un Correcto: Lenguaje Formal: Un alfabeto es un
sólo carácter. Los símbolos pueden ser conjunto finito de símbolos. De esta definición se
nombres. debe resaltar lo siguiente. (1) Los alfabetos son
finitos. (2) Por símbolo no se está haciendo
referencia a un sólo carácter. Los símbolos pueden
ser nombres
d. Dado un alfabeto, podemos formar palabras o Correcto: Es el principio básico para empezar a
cadenas con los símbolos del alfabeto tratar con lenguajes.
Correcto
Puntos para este envío: 1/1.
Question2
Puntos: 1
Del tratado y temática de Autómatas, los principales objetivos de las ciencias de la computación es:
a. Traducir lenguajes de máquina a programas Incorrecto: estas son tareas de máquina que surgen del
escritos en lenguajes de alto nivel. análisis formulación de tratados como los de los algoritmos
b. La solución de problemas por medio de un Correcto: Fundamentalmente se trata de resolver

computador. problemas haciendo uso de un sistema computacional.
c. Reducir problemas en otros más

pequeños.
d. Proporcionar mecanismos para analizar Correcto: Fundamentalmente se trata de resolver
algoritmos, construir y expresar programas problemas haciendo uso de un sistema computacional.
Correcto
Question3
Puntos: 1
Existen diferencias marcadas entre los lenguajes de programación (LP) y los lenguajes naturales
(LN). Identifique cuáles son válidas.
a. Los LP tienen unas reglas de sintaxis y de semántica Correcto: Tienen unas estructuras claramente
mucho más rígidas, (cerradas) lo que les hace manejables en definidas y determinadas por sus reglas
los computadores gramaticales
(sintácticas y semánticas).
b. En los lenguajes naturales, las reglas pretenden explicar la Correcto: En los LN, las reglas gramaticales se
estructura del lenguaje. desarrollan para reglamentar" de alguna forma la
propia
evolución 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
rápidamente.
c. Las reglas en sintaxis de los LP so las mismas para los
LN. Difieren únicamente en la interpretación semántica 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
Question4
Puntos: 1
Acerca de los autómatas finitos no deterministas (AFND), cuáles apreciaciones

son verdaderas cuando se analiza su comportamiento para aceptar lenguajes:
a. Un autómata finito no determinista (AFND) acepta

una cadena cuando es posible que su análisis deje a
la máquina en un estado de aceptación.
b. Un autómata finito no determinista (AFND) solo Incorrecto: la condición de determinismo no define
puede utilizarse para aceptar lenguajes finitos. esta limitante.
c. Un autómata finito no determinista (AFND) se puede Correcto: Corresponde a la condición de

convertir a un AFD y solo será válido si aceptan el determinismo.
mismo lenguaje.
d. Nunca se puede afirmar con seguridad que un
autómata finito no determinista (AFND) acepta una
cadena.
Parcialmente correcto
Puntos para este envío: 0.5/1.
Question5
Puntos: 1
Sea el vocabulario {a,b,c}, la expresión regular (a|b)*c indica el conjunto de todas las cadenas formadas con los símbolos a, b y c
. Cuáles sentencias o cadenas son válidas:
a. bbaccaa
b.ababaabbc Correcto: Es una combinación válida. Pueden formarse

cadenas con los símbolos a y b, sucediéndose
cualquier número de veces ( y en cualquier orden) y
siempre terminando la cadena en el símbolo c
c. bbaaac Correcto: Es una combinación válida. Pueden formarse

cadenas con los símbolos a y b, sucediéndose
cualquier número de veces ( y en cualquier orden) y
siempre terminando la cadena en el símbolo c
d. acbbaa
Correcto
Question6
Puntos: 1
Cuando se trata de simplificar Autómatas, se deben tener en cuenta aspectos como: (Identifique cuál paso o concepto es válido
en este proceso de Minimización).
Seleccione una respuesta.
a. Para saber si dos estados q1 y q2 son equivalentes, se

les pone a ambos como estado final de los autómatas M1
y M2, y se procede a comparar dichos autómatas. 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 configuración no altera la aceptación o
rechazo de toda la palabra.
c. Se entiende por minimización de autómatas finitos al Incorrecto: la minimización está dada en la
proceso de obtención de un autómata con el menor reducción del número de estados. De allí
número de transiciones posibles surge la reducción de transiciones.
d. Dos estados son distinguibles si son compatibles (es

decir, si ambos son finales o ambos son iníciales).
Incorrecto
Act 4: Lección Evaluativa Unidad No.1
Finalizar revisión
Comenzado el lunes, 31 de marzo de 2014, 23:31

Completado el martes, 1 de abril de 2014, 00:30
Puntos 7/10
Calificación 21 de un máximo 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 válidas para la creación de palabras sobre el alfabeto ∑
a. ∑ (potencia 0) = Conjunto de
todas las cadenas sobre el
alfabeto ∑ excepto la vacía.
b. ∑ *= Conjunto de todas las Correcto: La longitud de una cadena ω que se denota como |ω| es el
cadenas de cualquier longitud número de letras que aparecen en ω. A la cadena que no tiene símbolos
sobre ∑ o que es lo mismo decir que tiene longitud cero, se le llama palabra
vacía. 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 vacía.
c. ∑ (potencia 0) = {lambda} Correcto: La longitud de una cadena ω que se denota como |ω| es el
Conjunto cuyo único elemento número de letras que aparecen en ω. A la cadena que no tiene símbolos
es la palabra vacía. o que es lo mismo decir que tiene longitud cero, se le llama palabra
vacía. 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 vacía.
d. ∑ (potencia +) = Conjunto de Incorrecto: Conjunto de todas las cadenas excepto la
todas las cadenas positivas
vacía
excepto la vacía
Correcto
Question2
Puntos: 1
Para el siguiente Autómata 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 expresión regular:
a. L = (A2 ) = {0, 001, 01111, …} = { 1(10)n |n ≤

0} La expresión regular es: 0(01) *
b. L = (A2 ) = {0, 111, 11100, …} = { 1(10)n |n =
0} La expresión regular es: 1(01)+
c. L = (A2 ) = {0, 001, 00100, …} = { 1(01)n |n ≠
0} La expresión regular es: 0(01) *
d. L = (A 2) = {1, 101, 10101, …} = { 1(01)n |n ≥ Correcto: El lenguaje generado se obtiene
0} La expresión regular es: 1(01) * partiendo del estado inicial y recorriendo todos los
caminos posibles para alcanzar el estado final
Correcto
Question3
Puntos: 1
La expresión regular que se asocia la siguiente autómata es:

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
Question4
Puntos: 1
Dado un alfabeto ∑, los símbolos Ø, lambda y los operadores + (unión), ∙ (punto) (concatenación) y * (clausura), se define una
EXPRESION REGULAR (ER) sobre el alfabeto ∑ en la que son válidas las siguientes relaciones:
Nota. ω es una cadena sobre un lenguaje L
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
Question5
Puntos: 1
Que representa la siguiente figura:
a. Que representa la siguiente figura:

b. No representa un autómata válido por que
el mismo estado inicial es el mismo estado
final.
c. Un Autómata de tipo AFND válido. Correcto: Es un Autómata Finito No Determinístico

(AFND) válido. Es una extensión válida de un AFD.
Permite que de cada nodo del diagrama de estados
salga un número de flechas mayor o menor que |∑|
d. Un Autómata que acepta palabras o
cadenas que contienen únicamente b´s o
a´s
Correcto
Question6
Puntos: 1
Dado los autómatas M1 y M2 siguientes, cuáles relaciones entre estas dos máquinas son válidas.
a. Los Autómatas M1 y M2 son iguales pero no

equivalentes
b. Los Autómatas M 1 y M2 son equivalentes: M1 ≈ Correcto: La equivalencia se da por la aceptación
M2 , por que aceptan exactamente el mismo de lenguajes. Ambos aceptan el lenguaje a * y
lenguaje aceptan exactamente el mismo lenguaje
c. Los Autómatas M1 y M2 aceptan ambos el lenguaje Correcto: La equivalencia se da por la aceptación

a* de lenguajes. Ambos aceptan el lenguaje a * y
aceptan exactamente el mismo lenguaje
d. Los Autómatas M1 y M2 no son equivalentes
porque ambos rechazan el lenguaje b*. La
equivalencia se da en la aceptación de lenguajes.
Correcto
Question7
Puntos: 1
Analice el siguiente Autómata y determine cuáles apreciaciones son válidas en
su análisis:
a. La función de transición puede no estar definida para

alguna combinación (0,1) y, por el contrario, puede definir
para otras combinaciones (0,1) más de un estado.
b. Es un autómata no determinístico (AFND), con un
conjunto finito de estados y símbolos de entrada, un estado
inicial, un conjunto de estados finales, y una función de
transición de estados.
c. La función de transición define para cada posible Incorrecto
combinación (0,1) un estado nuevo.
d. Es un autómata determinístico (AFD), con un conjunto Incorrecto. Es un AFND
finito de estados y símbolos de entrada, un estado inicial,
un conjunto de estados finales, y una función de transición
de estados.
Incorrecto
Question8
Puntos: 1
Cuáles afirmaciones son válidas cuando se trata de analizar el funcionamiento de los Autómatas Finitos (AF):
a. Los AF son máquinas de memoria amplia por ser

máquinas abstractas (no reales).
b. En una máquina de estados finitos, la función de
transición almacena los datos de entrada del
Autómata.
c. Los estados son el único medio de que disponen los AF Correcto: Los estados son el único medio
para recordar los eventos que ocurren (por ejemplo que de que disponen los AF para recordar los
caracteres se han leído hasta el momento). eventos que ocurren (por ejemplo, qué
caracteres se han leído hasta el momento);
esto quiere decir que son máquinas de
memoria limitada.
d. Los AF son máquinas 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 leído hasta el momento);
esto quiere decir que son máquinas de
memoria limitada.
Correcto
Question9
Puntos: 1
Dado el siguiente “Autómata Finito” cuyo diagrama de transición corresponde al de la siguiente figura, determine cual afirmación
es válida cuando se analiza la ejecución del autómata.
a. El conjunto de cadenas que es capaz de

reconocer este autómata es. {b, bb, bbb, bbbb,
…}
b. El conjunto de cadenas que es capaz de
reconocer este autómata es {b, bb, bbb}
c. El conjunto de cadenas que es capaz de Incorrecto: “bbbb” no es aceptada, ni tampoco el
reconocer este autómata es. {Ø, Øb, bb, bbb, símbolo vacío. La cadena vacía es diferente.
bbbb, …}
d. El conjunto de cadenas que es capaz de
reconocer este autómata es. {b}
Incorrecto
Question10
Puntos: 1
Dado el Autómata con la siguiente tabla de transición, identifique las cadenas

que son válidas para el lenguaje que acepta
a. Solo acepta cadenas vacías (lambda). Incorrecto: Es un AND de landa transiciones.

Aceptará las cadenas que inicien con un orden
jerárquico de números (es decir de menor a
mayor, siendo válida la repetición 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
Act 5: Quiz 1 - Unidad No. 1

Finalizar revisión
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
Comentario - Contesto parcialmente
Question1
Puntos: 1
Cuáles afirmaciones son válidas y que surgen de un análisis de las ER (Expresiones Regulares):
Analice los autómatas dados:
a. La ER (0+1)*01 genera las mismas cadenas para el Autómata “B” y del autómata
“A”
b. La ER (0+1)*01 genera cadenas válidas para el autómata “A”, pero no para las del Incorrecto
autómata “B”.
c. La ER (1*00*1(00*1)*1)*1*00*1(00*1)* genera las mismas cadenas para el
Autómata “A” el autómata “B”.
d. La ER (0+1)*11(01)* genera cadenas válidas para el autómata “B” pero no para Incorrecto
las del autómata “A”.
Incorrecto
Question2
Puntos: 1
Dado los siguientes dos autómatas: identifique las apreciaciones verdaderas con respecto al
comportamiento de los dos autómatas:
a. Ambos autómatas aceptan las mismas cadenas, como por ejemplo: Incorrecto: La cadena 00
{012,011,11,2222,1122,001122} por ejemplo no son
aceptadas por el segundo
autómata
b. Solo un autómata es una máquina de estados que representa un lenguaje
regular
c. Un autómata es AFD y el otro es AFND
d. Ambos autómatas son AFD
Incorrecto
Question3
Puntos: 1
Apoyado en las características funcionales y de diseño de los AFD y de os AFND; identifique las
apreciaciones válidas de su comportamiento:
a. Un AFND puede reconocer el mismo lenguaje que un AFD. Solo

que el AFND consume más estados de memoria por la característica
del “no” determinismo.
b. Si se tiene un AFND seguramente será posible encontrar otro Correcto:
autómata AFD que sea equivalente a el.
c. Los AFND y os AFD pueden resolver los mismos problemas Correcto:

d. Los AFD y los AFND tienen la misma capacidad de operación y
poder computacional.
Question4
Puntos: 1
Dentro de la jerarquía y clasificación de los lenguajes (Chomsky) identifique que asociaciones

están erradas.
a. Los lenguajes libres de contexto o de tipo 2,

pueden ser generados por los autómatas de pila
(AP)
b. Los lenguajes regulares pueden ser pueden ser Esta afirmación es verdadera. Un lenguaje puede
descritos mediante expresiones regulares (ER) ser descrito mediante una expresión regular
(expresar de forma compacta cómo son todas las
cadenas de símbolos que le pertenecen).
c. Una gramática regular o de tipo 3, puede generar Correcto: esta afirmación es errada ya que las
Autómatas finitos (AF) gramáticas generan lenguajes. Las máquinas o
autómatas reconocen es lenguajes.
d. Los lenguajes que no poseen restricciones o de Correcto: esta afirmación está errada. Los
tipo 0, son reconocidos mediante Autómatas Finitos lenguajes que no poseen restricciones o de tipo
No Deterministas (AFND) 0, son reconocidos mediante Máquinas de Turing
(MT)
Question5
Puntos: 1
Sean dos lenguajes L1 y L2 definidos sbre el mismo alfabeto ∑, la operación que se representa a continuación es:
L = L1L2 = {xy / x pertenece L1 Ʌ y pertenece L2}
a. Unión de lenguajes
b. Asociación de lenguajes
c. Operación cerrada de dos lenguajes
d. Concatenación de lenguajes Correcto: La concatenación de ambos lenguajes

estará formada por todas las palabras obtenidas
al concatenar una palabra cualquiera de L1 con
otra de L2.
Correcto
Question6
Puntos: 1
Expresiones regulares: Determine que igualdades son válidas:
a. a*=a*.a*=(a*)* Correcto: Por asociación
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
Question7
Puntos: 1
Acerca de la clasificación de los lenguajes, identifique las afirmaciones válidas con referencia a la
jerarquía y comportamiento de los mismos:
a. Los lenguajes son en sí conjuntos de secuencias de símbolos y las Correcto

clases de lenguajes son conjuntos de conjuntos de secuencias de
símbolos.
b. Al clasificar lenguajes, no se están clasificando máquinas que los
reconozcan, Se clasifican gramáticas que los generan.
c. Se llama “clase de lenguajes” a conjuntos de lenguajes que
comparten cierta propiedad dada.
d. Según la clasificación de lenguajes definida por Chomsky y que la Correcto
llamó “jerarquía de lenguajes”, los “Lenguajes Regulares” es la clase
más pequeña en la jerarquía, e incluye a los lenguajes más simples.
Estos se llaman así porque sus palabras contienen “regularidades” o
repeticiones de los mismos componentes.
Question8
Puntos: 1
Para el siguiente autómata determine cuales afirmaciones son válidas cando se trata de evaluar
que cadenas acepta el autómata.
a. Si una cadena tiene 5 unos o más, entonces

contiene un número par de unos.
b. Todas las cadenas que tengan igual número de Incorrecto: No corresponden el número de unos
unos y de ceros son aceptadas. descritos en la cadena
c. Si una cadena tiene menos de 5 unos, entonces Correcto: Al recorrer el autómata, se confirma la
tiene un número par de unos. relación de unos descrita.
d. Si una cadena tiene 5 unos o más, entonces

contiene un número impar de unos.
Question9
Puntos: 1
Analice el siguiente diagrama de Moore e identifique las apreciaciones válidas:
a. Es un AF. Correcto
b. Es una aplicación de los autómatas. Un Correcto

interruptor de luz
c. No es un autómata válido en diseño

d. No tiene alfabeto definido Incorrecto: se puede asociar a estados de 1 y 0
(encendido, apagado) como impulsos eléctricos
Correcto
Question10
Puntos: 1
Sea el autómata A = (∑, Q, f, q1, F) donde:

∑ ={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la función f vienen dada por la siguiente tabla:
Determine qué aspectos son válidos para el autómata
a. El lenguaje reconocido por el autómata es: a (b* | a* Correcto: Es un AFND. El lenguaje que reconoce
) ba* es : a (b*b | a*b) a* o también a (b* | a* ) ba* para
efectos de mejor comprensión, hay que recrear o
realizar el autómata mediante un diagrama de
Moore
b. Es un Autómata Finito Determinístico con lambda
transiciones
c. Es un Autómata Finito Determinístico (AFD)
d. El lenguaje reconocido por el autómata es: a (b*b | Correcto: Es un AFND. El lenguaje que reconoce
a*b) a* es : a (b*b | a*b) a* o también a (b* | a* ) ba* para
efectos de mejor comprensión, hay que recrear o
realizar el autómata mediante un diagrama de
Moore
Correcto
Question11
Puntos: 1
Acerca del comportamiento de los estados en un autómata, indique que apreciaciones son
válidas con respecto a su función y comportamiento:

a. Se define como el estado de un autómata es Correcto
toda la información necesaria en un momento
dado, para poder deducir, dado un símbolo de
entrada en ese momento, cuál será el símbolo de
salida.
b. Un estado de un autómata funciona de tal forma Incorrecto: Un autómata es reconocedor de
que cuando reciba a su entrada una determinada lenguajes si tiene esa función. Pero un solo estado
cadena de símbolos, indica si dicha cadena no puede determinar si reconoce o no una cadena.
pertenece o no al lenguaje Depende de otros estados y más aún si no es de
aceptación
c. Un estado de aceptación también puede ser
inicial. Solo para autómatas finitos no
d. Conocer el estado de un autómata, es lo mismo Correcto
que conocer toda la historia de símbolos de
entrada, así como el estado inicial. Estado en que
se encontraba el autómata al recibir el primero de
los símbolos de entrada.
Correcto
Question12
Puntos: 1
Con los símbolos del alfabeto ∑ se forman cadenas, frases o palabras que se denotan por la letra ω. Algunas operaciones entre
palabras son la concatenación y la inversa.
Que afirmaciones son válidas para estas propiedades y en algunas particularidades para el
comportamiento de las cadenas o palabras (que se forman con los símbolos de un alfabeto) y que
harían parte de un lenguaje.
a. La Inversión (ω potencia R) consiste en una operación sobre

palabras o cadenas que escribe al revés una palabra. La
palabra resultante se denomina inversa.
b. El Palíndromo se puede definir como: (ω = ω potencia R
).
c. La concatenación por ejemplo no tiene la propiedad Correcto
conmutativa, es decir: ω1 ω2 ≠ ω2 ω 1 .
d. En general (ω1 ω2 ) potencia R ≠ ω1 potencia R ω1 potencia Correcto
R pero (ω1 ω2) potencia R = ω2 potencia R ω 1 potencia R
Question13
Puntos: 1
Dado el siguiente autómata: Cambie los símbolos del alfabeto asociando a = 0 y b =1 . Para las
siguientes opciones,(que están en base 10 o decimal), conviértalas a base 2 (binario) y recorra
el autómata e identifique cuál número acepta el autómata.
a. 253 Incorrecto: equivale a la cadena 11111101 y esta no

es reconocida
b. 73
c. 182
d. 205
Incorrecto
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 válidas.
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
Question15
Puntos: 1
Dado el siguiente autómata, analice si es posible su minimización y seleccione las opciones

válidas para su análisis:
a. Los estados q2 y q3 son equivalentes. Dado que transitan igual Correcto

para los dos símbolos del alfabeto. Por tanto se pueden fusionar en
no solo.
b. El autómata no se puede minimizar. No hay estados equivalentes
y los estados distinguibles no se pueden modificar.
c. Si es posible minimizarlos y el autómata resultante tendrá tres Correcto
estados
d. El estado final q1 es equivalente con el inicial. (teorema de
equivalencia de estados). Por tanto el autómata es candidato a
minimizarse.
Correcto
Act 7: Reconocimiento Unidad No. 2

Finalizar revisión
Comenzado el miércoles, 16 de abril de 2014, 16:02

Completado el miércoles, 16 de abril de 2014, 16:47
Puntos 5/6
Comentario - Correcto:
Question1
Puntos: 1
Dado el alfabeto ∑= {a,b}, identifique cuál afirmación es falsa.

a. La expresión regular (b*ab*ab*a) * representa al Esta afirmación (ER) es errada para las
lenguaje de las cadenas con un número múltiplo de cadenas que dice generar.
3 de letras “a”
b. La expresión regular b*a*b* representa al lenguaje
de las cadenas que pueden o no tener “a”
c. La expresión regular b*(ab*ab*)* representa al
lenguaje de las cadenas con un número par de
letras a
d. La expresión regular b*ab* (ab*ab*)* representa al
lenguaje de las cadenas con un número impar de
letras a
Correcto
Question2
Puntos: 1
Dada la Gramática S→aS; S→aSbS; S→. Indique cuáles de las siguientes

afirmaciones no corresponden al desarrollo de la misma o al tipo de cadenas o palabras ω que pueda
generar.
a. Las cadenas ω que acepta la gramática siempre Esta afirmación es cierta en el contexto. Pero la
van a empezar por a. Además el lenguaje pregunta está solicitando cuáles apreciaciones son
generado por la gramática es “estructurado por falsas.
frases”.
b. Las cadenas que acepta la gramática siempre
van a empezar por b. Además el lenguaje
generado por la gramática es “no es estructurado
por frases”.
c. Cualquier cadena ω generada por la gramática Es cierto que: Las cadenas ω van a empezar por a.
contiene una subcadena no vacía donde el El lenguaje generado por la gramática es
número de letras a es igual al número de letras estructurado por frases. Solo algunas cadenas
b. generadas contiene igual número de a´s que de b´s
d. Para cualquier prefijo de una cadena generada Esta afirmación es cierta en el contexto. Pero la
por la gramática se verifica que el número de pregunta está solicitando cuáles apreciaciones son
letras a es mayor o igual al número de letras b. falsas.
Prefijo de una cadena ω es toda cadena no vacía
x para la que existe una cadena u tal que
ω=xu
Question3
Puntos: 1
Dada la Gramática S→aS; S→aSbS; S→.
Indique cuáles de las siguientes afirmaciones no corresponden al desarrollo de la misma o al tipo de
cadenas o palabras ω que pueda generar.
a. Las cadenas ω que acepta la Las cadenas ω van a empezar por

Correcto: Correcto:
gramática siempre van a empezar por
a. Además el lenguaje generado por la
a. El lenguaje generado por la gramática es
gramática es estructurado por estructurado por frases. Solo algunas cadenas
frases generadas contiene igual número de a´s que de b´s.
b. Para cualquier prefijo de una cadena Incorrecto
generada por la gramática se verifica
que el número de letras a es mayor o
igual al número de letras b. Prefijo de
una cadena ω es toda cadena no vacía
x para la que existe una cadena u tal
que ω=xu
c. Cualquier cadena ω generada por la Las cadenas ω van a empezar por
Correcto: Correcto:
gramática contiene una subcadena no
vacía donde algunas veces el número
a. El lenguaje generado por la gramática es
de letras a es igual al número de letras estructurado por frases. Solo algunas cadenas
b. generadas contiene igual número de a´s que de b´s.
d. Las cadenas que acepta la gramática
siempre van a empezar por b. Además
el lenguaje generado por la gramática
es “no es estructurado por frases”.
Las gramáticas 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 gramáticas se les llama regulares.
Correcto
Question4
Puntos: 1
Un árbol de derivación, para una derivación dada se construye: (seleccione que las operaciones que son necesarias):
Teniendo en cuenta el siguiente árbol.
a. Todos los nodos hoja están etiquetados con símbolos Correcto

terminales.
b. Los nodos que no tienen hijos, deben ser etiquetados con Correcto
símbolos terminales.
c. Creando un nodo raíz que se etiqueta con el símbolo Correcto
inicial.
d. El nodo raíz tiene unos hijos para cada símbolo que aparece Correcto
en el lado derecho de la producción usada para reemplazar el
símbolo inicial.
Correcto
Question5
Puntos: 1
Cuando se diseñan AP o se formalizan, se utilizan notaciones gráficas parecidas a la de los diagramas de los AF. Con respecto a
esto: ¿qué aspectos de diseños son válidos para formalizar un AP.?
a. Si se da la transición “a/x/c” indica que Incorrecto: indica que se consume de la entrada

se consume de la entrada un carácter “a”,
se avanza una posición “x” y se mete “c” a un carácter “a”, no se saca nada de la pila, y se
la pila.
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 transición “a/x/c” indica que Correcto: Ese es el funcionamiento en sintaxis de la pila o la
se consume de la entrada un carácter “a”, forma como se alimenta el autómata..
no se saca nada de la pila, y se mete “c” a
la pila.
d. Si se da la transición “a/x/c” indica que Incorrecto No es la sintaxis de recorrido de un AP.
se saca de la pila un carácter “a”, luego
se avanza una posición “x” en la pila, y se
mete “c” a la pila.
Question6
Puntos: 1
Con referencia las gramáticas de Tipo 2, que aspectos válidos hacen referencia a la forma de generar lenguajes de tipo 2 y
su comportamiento y descripción:
a. Si M es un AP, entonces L(M) es un LLC Correcto
b. Los autómatas de pila aceptan exactamente los LLC Correcto

(Lenguajes Libres de Contexto).
c. Las producciones son de la forma: A - aa Dado que hay un

carácter de lectura y uno de escritura
d. Si L es un LLC, entonces hay un AP M tal que L(M) = L Correcto
Correcto
Finalizar revisión
Act 8: Lección Evaluativa Unidad No. 2

Finalizar revisión

Puntos 8.5/10
Comentario - Correcto
Question1
Puntos: 1
De entre las cuatro clases de gramáticas de la clasificación de Chomsky, el

grupo más importante, desde el punto de vista de la aplicabilidad en teoría de
compiladores, es el de las gramáticas independientes o libres del contexto. Las
gramáticas de este tipo se pueden usar para expresar la mayoría de
estructuras sintácticas de un lenguaje de programación.
Aspectos que caracterizan este tipo de gramáticas son:
a. La representación de las derivaciones de la gramática Incorrecto

siempre se hacen de forma vertical. Nunca de forma
comprimida u horizontal
b. Un árbol ordenado y etiquetado D es un árbol de derivación Correcto
para una gramática libre de contexto G(A)
c. La longitud de las cadenas de derivaciones nunca puede Incorrecto
ser nula y siempre se grafican en el Arbol de derivación
iniciando por la Izquierda La representación de las
derivaciones de la gramática siempre se hacen de forma
vertical. Nunca de forma comprimida u horizontal
d. El lenguaje definido por una gramática G, denotado L(G) es Correcto
el conjunto de cadenas de símbolos terminales, que se
pueden derivar partiendo del axioma de la gramática, y
empleando para las derivaciones las reglas de producción de
P
Una gramática es un conjunto de reglas para formar correctamente las frases
de un lenguaje; así tenemos la gramática del español, del francés, etc. La
formalización que presentaremos de la noción de gramática es debida a N.
Chomsky, y está basada en las llamadas reglas gramaticales.
Correcto
Question2
Puntos: 1
Dado el siguiente autómata finito (AF), reconoce el lenguaje generado por la gramática:
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
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 válidas para la creación de
palabras sobre el alfabeto ∑
a. ∑ * = Conjunto de todas las cadenas de Correcto

cualquier longitud sobre ∑
b. ∑0 = {lambda} Conjunto cuyo único elemento Correcto
es la palabra vacía.
c. ∑0 = Conjunto de todas las cadenas sobre el
alfabeto ∑ excepto la vacía.
d. ∑+ = Conjunto de todas las cadenas positivas Incorrecto
excepto la vacía
La longitud de una cadena ω que se denota como |ω| es el número de letras
que aparecen en ω. A la cadena que no tiene símbolos o que es lo mismo decir
que tiene longitud cero, se le llama palabra vacía. 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 vacía.
Correcto
Question4
Puntos: 1
Del diseño y naturaleza de los autómatas de pila (PDA), es válido afirmar:
a. Para poder simular un autómata de Pila se debe

tener en cuenta: Las columnas de una traza de
ejecución para un AP son: el estado en que se
encuentra el autómata, lo que ha leido hasta el
momento o estado actual al inicio de la simulación,
y el contenido de la memoria al final del recorrido.
b. Un autómata de pila no puede hacer las

funciones de "contador" ya que sus recorridos
varían en la cinta y lo que le importa a esta
automatización es el estado final y la salida del
dato.
c. Un Autómata de Pila al igual que una Máquina de
Turing o un Autómata Finito, su definición básica es
de naturaleza no determinista
d. A la hora de diseñar un AP tenemos que repartir Respuesta Correcta: Aunque en el caso de
lo que requiere ser “recordado” entre los estados y
la pila. Distintos diseños para un mismo problema
los AP no hay metodologías tan
pueden tomar decisiones diferentes en cuanto a que generalmente aplicables como era el caso
recuerda cada cual de los autómatas finitos, siguen siendo
válidas las ideas básicas del diseño
sistemático, 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 diseñar un AP tenemos que repartir lo que requiere ser
“recordado” entre los estados y la pila. Distintos diseños para un mismo
problema pueden tomar decisiones diferentes en cuanto a que recuerda cada
cual.
Correcto
Question5
Puntos: 1
Para que una palabra de entrada sea aceptada en un AP se deben cumplir las
condiciones siguientes:
a. La pila debe estar vacía. Correcto: la pila debe estar vacía.
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 vacía.
c. La palabra de entrada se debe haber agotado Correcto; para que una palabra de
(consumido totalmente). 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 vacía.
d. La pila debe tener lambda como elemento final.
A la hora de diseñar un AP tenemos que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos diseños para
un mismo problema pueden tomar decisiones diferentes en cuanto a qué recuerda cada cual.
Correcto
Question6
Puntos: 1
En un autómata de pila (AP), la función de transición aplica o interviene a:
a. A cada símbolo topo de la pila Correcto
b. A cada estado Correcto
c. A cada símbolo de entrada (Incluyendo la cadena Correcto

vacía)
d. A cada movimiento de la pila
La función de transición aplica cada estado, cada símbolo de entrada

(incluyendo la cadena vacía) y cada símbolo tope de la pila en un conjunto de
posibles movimientos. Cada movimiento parte de un estado, un símbolo de la
cinta de entrada y un símbolo tope de la pila. El movimiento en sí consiste en
un cambio de estado, en la lectura del símbolo de entrada y en la substitución
del símbolo tope de la pila por una cadena de símbolos.
Question7
Puntos: 1
Indique cuál de las siguientes afirmaciones es verdadera:
a. Para reconocer un lenguaje regular mediante Correcto: Cualquier lenguaje independiente del contexto
un autómata de pila no es necesario que el puede ser aceptado por un autómata de pila, y todos
alfabeto de la pila contenga ningún símbolo lenguajes regulares son independientes del contexto.
b. Cuando se dice que un AFPD (autómata de Correcto:

pila determinista) es más sencillo , se refiere a
que es menos potente y no se refiere ala
sencillez de su diseño.
c. Con un autómata de pila no puede Esta opción es falsa: Para reconocer un lenguaje
reconocerse un lenguaje regular regular mediante un autómata de pila no es necesario
que el alfabeto de la pila contenga ningún símbolo, ya
que en realidad no se necesita usar la pila.
d. Para reconocer un lenguaje regular mediante
un autómata de pila el alfabeto de la pila debe
contener al menos un símbolo
Correcto
Question8
Puntos: 1
Identifique los aspectos que se deben tener para garantizar el determinismo en un Autómata de pila finito determinista
(AFPD).
Tenga en cuenta además de los componentes (tupla) de la pila que::
f: es la función de transición:
e: es una transición dada espontanea.
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 simultáneamente definidos o
declarados.
b. La definición de la función de transición (f) requiere que haya por Correcto
lo menos un símbolo en la pila. No se permiten operaciones con la
pila vacía.
c. El determinismo se da cuando no hay alternativas de movimiento Correcto
para el mismo estado, usando la misma entrada y el mismo símbolo
de pila.
d. Las transiciones lambda en un AFPD permiten que el autómata Correcto
cambie el contenido de la pila, sin procesar (o consumir) símbolos
sobre la cinta de entrada.
Question9
Puntos: 1
Sea un autómata (finito o de pila) M y una cadena x ∈ L(M). Si el autómata lee la cadena x,
¿llegará necesariamente a un estado de aceptación?
a. Si, si M es un autómata finito.
b. Nunca, Queda en un bucle ya que solo recorre un símbolo.
c. Sí, siempre.
d. No todas las veces, dado que puede tratarse de un autómata no Correcto

determinista.
Correcto
Question10
Puntos: 1
Respecto a la relación entre un AF y un AP cuál afirmación es cierta:
a. Un AP es infinito por su capacidad de

memoria. Un AF es finito por su número de
estados.
b. Los AF y los AP tienen la misma
capacidad de memoria
c. Todo lenguaje aceptado por un AF es Correcto: Este resultado debe quedar
también aceptado por un AP intuitivamente claro, puesto que los AP son una
extensión de los AF.
d. Las gramáticas que generan los
lenguajes que pueden representar estos
autómatas o máquinas, son las GLC
En los AP también es posible aplicar métodos de combinación modular de
autómatas, como se hizo con los autómatas finitos. En particular, es posible
obtener AP que acepten la unión y concatenación de los lenguajes aceptados
por dos AP dados.
Correcto
Act 9: Quiz 2 - Unidad No. 2

Finalizar revisión

Puntos 11/15
Question1
Puntos: 1
La combinación de autómatas se demostró en los Autómatas Finitos de la

Unidad 1 en as que era viable combinar dos Autómatas que generaban el miso
lenguaje y obtener otro que genera las mismas cadenas que los autómatas
combinados.
Con referencia a los Autómatas de Pila (AP), este tema de combinación tiene
aspectos a analizar. identifique cuál es válido para estas operaciones:
a. Las operaciones de combinar AP solo es viable cuando los Incorrecto

dos Autónomas leen el mismo alfabeto.
b. Se pueden obtener AP que acepten operaciones de Unión
y Concatenación de los lenguajes aceptados por los
Autónomas de Pila dados.
c. Un AP se puede combinar con una MT siempre y cuando
lean y acepten el mismo lenguaje.
d. Solo la operación de Unión de los lenguajes de dos AP es
permitida.
En los AP también es posible aplicar métodos de combinación modular de
autómatas, como se hizo con los autómatas finitos. En particular, es posible
obtener AP que acepten la unión y concatenación de los lenguajes aceptados
por dos AP dados.
Incorrecto
Question2
Puntos: 1
Considere la gramática: S→ 0S, S→ 1S, S→ S0, S→ λ. Indique cuáles de las

siguientes afirmaciones son verdaderas
a. La gramática es equivalente a S→0S, S→ 1S, S→ λ Correcto
b. Existen derivaciones distintas que generan cadenas Correcto

idénticas
c. Las cadenas {0101, 1001] no son parte del lenguaje que
genera
d. La regla S→ S0 es innecesaria Correcto
Correcto
Question3
Puntos: 1
Dado el lenguaje L = {a, abb, ba, bbba, b} indique cuántas cadenas de longitud estrictamente menor que 3 hay en L*:
a. 6
b. 7 Correcto: L* ∩ {w ∈ L* | |w| < 3}= { λ, a,b,aa,ab,ba,bb}
c. 5
d. 4
Correcto
Question4
Puntos: 1
Indique cuál de las siguientes afirmaciones es falsa:
a. La unión de un número finito de lenguajes estructurados por Incorrecto

frases es un lenguaje estructurado por frases
b. La intersección de dos lenguajes estructurados por frases es
un lenguaje estructurado por frases
c. La intersección 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
Question5
Puntos: 1
Indique cuál de las siguientes afirmaciones es verdadera:
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 autómatas finitos no deterministas son más potentes que los
autómatas finitos deterministas
c. En un diagrama completo que represente a un autómata finito Correcto
determinista, de cada estado sale un arco por símbolo y sólo uno
d. Un PDA es siempre no determinista por que la cinta es infinita y
puede generar muchas combinaciones en las cadenas que lee.
Correcto
Question6
Puntos: 1
En la descripción de las gramáticas, las producciones unitarias tienen la forma:
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
Question7
Puntos: 1
Si a un Autómata se le adiciona un almacenamiento auxiliar, se está

construyendo entonces:
a. Un Pushdown Automaton (PA)
b. Un Autómata Determinístico Finito.
c. Un Autómata No determinístico pero Finito
d. Una Turing Machine (TM) Incorrecto
Añadir al AF un almacenamiento auxiliar, que llamaremos pila, donde se

podrían ir depositando caracter por caracter cadenas arbitrariamente grandes,
es el primer paso a la construcción de un AP a partir de un simple AF.
Incorrecto
Question8
Puntos: 1
Cual de las siguientes afirmaciones es VERDADERA
a. En un árbol de derivación cada nodo solamente

puede tener otro hijo nodo. De lo contrario se formaría
otro nodo.
b. En los arboles de derivación, los nodos raíces
siempre derivan en dos ramas.
c. Los lenguajes generados por una Gramática
Independiente del Contexto son llamados Lenguajes
Regulares
d. En un árbol de derivación, una gramática es Correcto. En este caso es ambigua por
ambigua, cuando hay dos o más árboles de
cuanto puede tener varias soluciones
derivación distintos para una misma cadena.
Es posible probar que cualquier palabra que sea aceptada por el AFD M, puede
ser generada por la gramática regular G. Esto significa que L(G) = L(M).
Correcto
Question9
Puntos: 1
Considere la gramática S →Rc, R → aRbR, R → λ. Siendo w una cadena cualquiera generada por
dicha gramática, indique cuál de las siguientes afirmaciones es falsa:
a. Las cadenas {abc, c} son aceptadas
b. El número de letras a es igual al de letras b en w
c. w = xc | x ∈ (a∪ b)* Esta afirmación es falsa y es la respuesta

correcta: Por ejemplo la cadena w = ac no
es generada por la gramática
d. El número 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 vacía x para la que existe una cadena u tal que w =
xu.
Correcto
Question10
Puntos: 1
Considere la gramática 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
símbolo ⊂ denota la relación de inclusión estricta):

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
Question11
Puntos: 1
Si una gramática 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 más terminales, y A y Bson símbolos no terminales, entonces el lenguaje generado por dicha
gramática es:
a. Estructurado por frases y no independiente del contexto
b. Decidible
c. Regular Correcto
d. Independiente del contexto no regular
Correcto
Question12
Puntos: 1
Para simular el funcionamiento de un Autómata de Pila lo más recomendable

es hacer primero:
a. Simular su ejecución en un software (podría ser como

Visual Autómata Simulator) iniciando con una cadena no
válida para determinar si el ciclo de la cinta inicia o no.
b. Simularlo en JFLAP con la cadena vacía Lambda para
determinar si la pila inicia o no.
c. Simular su ejecución, listando las situaciones sucesivas en Correcto
que se encuentra, mediante una tabla llamada “traza de
ejecución
d. Simular su ejecución en una MT que se comporta de igual
forma
Para verificar el funcionamiento del autómata, podemos simular su ejecución,
listando las situaciones sucesivas en que se encuentra, mediante una tabla que
llamaremos “traza de ejecución”. Las columnas de una traza de ejecución para
un AP son: el estado en que se encuentra el autómata, lo que falta por leer de
la palabra de entrada, y el contenido de la pila.
Correcto
Question13
Puntos: 1
Cual de las siguientes afirmaciones se asocia correctamente al diseño y

funcionamiento de los árboles de derivación.
a. En un árbol de derivación, una gramática es Respuesta Correcta: Una gramática es

ambigua cuando hay dos o más árboles de derivación
“ambigüa” cuando hay dos o más
distintos para una misma cadena. árboles de derivación distintos para una
misma cadena
b. Los lenguajes generados por una Gramática
Independiente del Contexto son llamados Lenguajes
Regulares
c. En un árbol de derivación cada nodo solamente
puede tener otro hijo nodo
d. En los árboles de derivación, no es necesario usar
nodo raíz
Al derivar una cadena a través de una GIC, el símbolo inicial se sustituye por
alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras
cadenas hasta que ya no quedan símbolos no terminales, queda una cadena
con sólo símbolos terminales. A veces es útil realizar un gráfico de la
derivación. Tales gráficos tienen forma de árbol y se llaman “árbol de
derivación” o “árbol de análisis”. Para una derivación dada, el símbolo inicial
“S” etiqueta la raíz del árbol. El nodo raíz tiene unos nodos hijos para cada
símbolo que aparezca en el lado derecho de la producción, usados para
reemplazar el símbolo inicial. De igual forma, cada símbolo no terminal tiene
unos nodos hijos etiquetados con símbolos del lado derecho de la producción
usada para sustituir ese no terminal.
Correcto
Question14
Puntos: 1
Dada la siguiente gramática con las siguientes producciones: Determine que opciones son
verdaderas y aplican al diseño y análisis de la misma.
a. Genera le lenguaje : L = {x (potencia m) y Correcto

(potencia n) | 0 <= n <= m <= 3n }
b. Es una gramática independiente de Correcto
contexto
c. La gramática debe aplicar las reglas 2n Incorrecto: la
cadena se genera aplicando 2n–m veces
veces para que genere el lenguaje L = {x
(potencia m) y (potencia n) | 0 <= n <= m } la primera regla y m–n veces la segunda; si
2n ≤ m ≤3n hay que aplicar 3n–m veces la segunda
regla y m–2n veces la segunda.)
d. Reconoce las cadenas {xx, yy} Correcto
Correcto
Question15
Puntos: 1
La relación entre un AP y un LLC (Lenguaje Libre de contexto) permite que dada una Gramática G, existe entonces un AP que
acepta exactamente el lenguaje generado por G.
Dado el siguiente autómata de pila (AP) cuyo funcionamiento se representa en la siguiente tabla, identifique la gramática correcta
y sus reglas que aceptan el LLC dado por el AP.
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 evalúa .Esta gramática no es la que
recorre el árbol que permite esa salida:
c. S –> 0A0 | 1S1 | 2
d. S –> 0A0 | 1S0 | 2 | 0
Incorrecto
Finalizar revisión
Usted se ha autentificado como SAHIRA LISETH LARA (Salir)

301405A
Act 11: Reconocimiento Unidad No. 3

Finalizar revisión
Comenzado el jueves, 15 de mayo de 2014, 19:04

Completado el jueves, 15 de mayo de 2014, 19:30
Puntos 4/6
Question1
Puntos: 1
Las transiciones de una Máquina de Turing de varias cintas (MT), tienen las
siguientes características:
a. La transición solo afecta a una cinta (escribir o Correcto: Hace referencia al funcionamiento
desplazar). de una MT. Las transiciones solo afectan a
una cinta a la vez cuando la MT es multicinta.
b. La transición le asigna el carácter de entrada a las demás
cintas
c. Las transiciones se pueden hacer en varias cintas Incorrecto
simultáneamente
d. La transición depende de los símbolos actuales de todas las
cintas.
Question2
Puntos: 1
Una de las técnicas usadas que permite determinar la indecibilidad en algunos problemas computacionales es:
a. Usando el método de Reducción “Reducibilidad de Correcto: La reducibilidad ha permitido llegar a

Turing” determinar la indecibilidad en algunos problemas
computacionales
b. Usando el método de “Halting”
c. Usando el método de las “Funciones

computables”
d. Usando el método de “ Decibilidad de Teorías
Lógicas”
Correcto
Question3
Puntos: 1
Un problema de decisión (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de
tipo “si/no”. Para la Teoría de Lenguajes, un problema de decisión es “insoluble” cuando:

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 Correcto: Los diagramas de Moore y de Transición
determinar si la propiedad es verdadera (no existe o la forma como se representen los problemas, no
una Máquina de Turing MT). tienen nada que ver con la determinación si es
insoluble o no
Question4
Puntos: 1
En el campo de la complejidad algorítmica (problemas de algoritmos y de

lógica) se presenta la “Decibilidad de teorías lógicas”. Una técnica para
resolver problemas de este tipo es reducir un problema a otro para comprobar
si tiene o no solución efectiva. Al hacer uso de esta estrategia en el caso que la
respuesta sea negativa, se da:
a. Si se reduce de forma efectiva un problema sin Correcto: El reducir estos problemas implica que lo
solución efectiva a otro problema, entonces este que se obtenga es evaluable en términos de
nuevo problema tampoco tendrá solución equivalencia. Si la reducción da como resultado
efectiva. otro problema indecidible, entonces seguirá sin
tener solución.
b. Si se reduce de forma efectiva un problema sin
solución efectiva a otro problema, se convierte en
un problema parcialmente soluble (existe una
Máquina de Turing que resuelve el problema, pero
puede no parar)
c. Si se reduce de forma efectiva un problema sin
solución efectiva a otro problema, entonces es
probable que solo se solucione usando una
Máquina de Turing (MT).
d. Si se reduce de forma efectiva un problema sin
solución efectiva a otro problema, se determina la
clase de complejidad siendo esta la solución
Correcto
Question5
Puntos: 1
Analice la codificación de la siguiente Máquina: Si lee 0101 (de izquierda a derecha), la salida correspondiente es:
a. 0110
b. 0111
c. 0011
d. 0101 Incorrecto: El enunciado del ejercicio dice que

se lee de izquierda a derecha.
Incorrecto
Question6
Puntos: 1
Cuando se transmite información, las variables a evaluar, medir, seguir y monitorear son:
a. La velocidad que se mantenga.

Correcto: Cuando se transmite información, las
variables más 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 información, las
variables más importantes son: la velocidad y la
veracidad (libre de errores).
d. Redundancia Incorrecto
Correcto
Act 12: Lección Evaluativa Unidad No. 3

Finalizar revisión
Comenzado el domingo, 18 de mayo de 2014, 12:04
Completado el domingo, 18 de mayo de 2014, 12:40
Puntos 9/10
Question1
Puntos: 1
Acerca del tipo de cadenas que puede aceptar una Máquina de Turing,
determine cuál afirmación es válida.
a. Una máquina de Turing cuyo estado inicial Correcto: Decimos que en la MT se llega al “final de
coincida con el estado de parada acepta toda
un cálculo” cuando se alcanza un estado especial
cadena llamado halt en el control finito, como resultado de
una transición. Representaremos al halt por “h”
b. Por ser una máquina tan simple pero a la
vez tan potente, resulta fácil que cualquier
lenguaje puede ser reconocido por una
máquina 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 máquina de Turing que se detenga
exclusivamente cuando las cadenas escritas
en su cinta pertenezcan al lenguaje
Al diseñar una MT que acepte un cierto lenguaje, en realidad diseñamos el
autómata finito que controla la cabeza y la cinta, el cual es un autómata con
salida.
Correcto
Question2
Puntos: 1
De los modelos creados para realizar cómputos y desarrollar problemas, es

válido afirmar:
a. Las llamadas máquinas de Turing no constituyen ni el primero ni el Correcto

único formalismo para expresar cómputos, pero sí el que más ha
perdurado
b. La MT no es un modelo Computable ya que solo se basa en
simulación.
c. Los modelos propuestos por Hilbert, solucionan cualquier
problema "No soluble"
d. Las funciones computables hacen referencia o son iguales a
afirmar que son modelos computables.
Las llamadas máquinas de Turing no constituyen ni el primero ni el único
formalismo para expresar cómputos, pero sí el que más ha perdurado.
Su creador, el matemático inglés Alan Turing (1912-1954) estaba convencido
de que no existía un algoritmo para el problema de decisión planteado por
Hilbert y su intención era demostrar dicha no existencia.
El modelo en el que se inspiró fue el de una persona real llevando a cabo un

cálculo mecánico, por ejemplo una multiplicación de dos grandes números en
el sistema decimal.
Correcto
Question3
Puntos: 1
Los problemas indecidibles, son también parte del estudio de Autómatas y

lenguajes Formales. La indecibilidad de estos problemas lleva a ratificar
afirmaciones que han sido demostradas mediante algoritmos complejos
computables que concluyen en afirmaciones como:
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 vacío o no, es un
problema que sí tiene solución por una MT.
c. Las MT por ser la máquina abstracta más poderosa, soluciona
cualquier problema que en teoría sea indecidible.
d. Hay infinitos problemas para los que no se va a tener una MT Correcto
que los resuelva (ni siquiera los reconozca).
Una MT que los resuelva (ni siquiera los reconozca). También se ha formulado
la tesis de Church-Turing, que determina el límite de los computadores
actuales
Correcto
Question4
Puntos: 1
Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione las opciones

verdaderas).
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
máquina abstracta.
b. El problema de la parada o problema de la detención es de
hecho soluble y la Teoría de la Computación lo definió como
tal
c. 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)
d. El problema de “Halting” es el primer problema indecidible Correcto
mediante maquinas de Turing
El problema de “Halting” es el primer problema indecidible mediante máquinas
de Turing. Equivale a construir un programa que te diga si un problema de
ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo)
Correcto
Question5
Puntos: 1
Dado los siguientes tres codificadores convolucionales, diseñados para trabajar de forma lineal secuencial redundante:
Se da como entrada el bit “1” en el codificador 1. Haga el recorrido completo hasta llegar a la salida del codificador 3 y
determine el valor de “m” los bits que quedan en la memoria del código de longitud restringida:
Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (según el caso) se deben sobrescribir o reemplazar.
a. 100
b. 110
c. 001
d. 010 Correcto
Correcto
Question6
Puntos: 1
De las siguientes características marque dos de las que corresponden con la

cinta de una Máquina de Turing
a. Cinta Infinita hacia la izquierda
b. Cinta Finita hacia la derecha, por

que al extremo izquierdo siempre esta
un topeo carácter 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 ejecución. Además, en la MT la cabeza se
mueve bidireccionalmente (izquierda y derecha), por lo
que puede pasar repetidas veces sobre un mismo
segmento de la cinta.
d. Puede contener un caracter por Correcto: En la MT la cabeza lectora es de lectura y
celda escritura, por lo que la cinta puede ser modificada en
curso de ejecución. Además, en la MT la cabeza se
mueve bidireccionalmente (izquierda y derecha), por lo
que puede pasar repetidas veces sobre un mismo
segmento de la cinta
La máquina de Turing (abreviado MT) tiene, como los autómatas finitos, un
control finito, una cabeza lectora y una cinta donde puede haber caracteres, y
donde eventualmente viene la palabra de entrada. La cinta es de longitud
infinita hacia la derecha, hacia donde se extiende indefinidamente, llenándose
los espacios con el caracter blanco
Correcto
Question7
Puntos: 1
Un código convolucional se diseña cuando a partir de registros de desplazamiento lineal.

Los códigos convolucionales, suelen describirse mediante:
a. Árboles, Trellis y Diagrama de estados. Correcto

b. Autómatas finitos (grafos). Máquinas de estados
c. Autómatas finitos (grafos). Máquinas de estados
d. Árboles y diagramas de estados
Correcto
Question8
Puntos: 1
Si iniciamos la máquina de Turing siguiente con la cadena yyxyxx
a. La máquina entra en un bucle y no termina nunca.
b. Hay una terminación anormal. Incorrecto
c. La máquina acepta la cadena
d. La máquina solo acepta cadenas con números de

símbolos pares
Decimos que en la MT se llega al “final de un cálculo” cuando se alcanza un
estado especial llamado halt en el control finito, como resultado de una
transición. Representaremos al halt por “h”. Al llegar al halt, se detiene la
operación de la MT, y se acepta la palabra de entrada. Así, en la MT no hay
estados finales. En cierto sentido el halt sería entonces el único estado final,
sólo que además detiene la ejecución.
Incorrecto
Question9
Puntos: 1
Dado los siguientes tres codificadores convolucionales, diseñados para trabajar de forma lineal secuencial redundante:
Se da como entrada el bit “1” en el codificador 1. Haga el recorrido completo hasta llegar a la salida del codificador 3. Los
bits de salida codificados finales son:
Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (según el caso) se deben sobrescribir o reemplazar.
a. 01 Correcto
b. 11
c. 00
d. 10
Correcto
Question10
Puntos: 1
Indique que características asocian particularidades o semejanzas válidas entre las MT y las
computadoras reales.
a. Los lenguajes de programación, tienen a lo sumo el Correcto

mismo poder de expresión que el de los programas
para una Máquina de Turing (MT) y en la práctica no
todos lo alcanzan.
b. Los computadores electrónicos, basados en la Correcto
arquitectura Von Neumann así como las máquinas
cuánticas tendrían exactamente el mismo poder de
expresión que el de una Máquina de Turing (MT) si
dispusieran de recursos ilimitados de tiempo y
espacio.
c. Las MUT son de un solo propósito. Las máquinas Incorrecto: Esta máquina Universal no debe ser diseñada para
reales interpretan muchos programas escritos en realizar un cálculo específico, sino para procesar cualquier
diferentes lenguajes (multipropósito). información (realizar cualquier cálculo específico -MT particular-
sobre cualquier configuración inicial de entrada correcta para esa
MT particular).
d. En las máquinas reales están definidos procesos de Incorrecto: En una MT el nº de estados

manera jerárquica. En las MT estos procesos están
depende del algoritmo. En una computadora,
definidos por el número de estados. un estado viene representado por el
contenido de la memoria, y una situación por
un estado y un puntero a una dirección (la
que contiene a la instrucción que va a
ejecutarse).
Correcto
Act 13: Quiz 3 Unidad No. 3

Finalizar revisión
Comenzado el domingo, 18 de mayo de 2014, 12:42

Completado el domingo, 18 de mayo de 2014, 13:22
Puntos 13/15
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 simulación de
automatización, o acogiéndose a los teoremas y funciones propias de cada
autómata, se puede afirmar:
a. La simulación de MT es posible solo si es una MT de

una sola cinta. Para MT multicinta basta con cambiar el
estado o salida final
b. La simulación de Autómatas de PILA no tiene en
cuenta el manejo de memoria, sino el de estados.
c. La simulación no permite determinar el poder
computacional de la máquina
d. Los autómatas (AFD,AFN) y los autómatas de pila Correcto: Un autómata finito es el
(AFDP o AFPN) se pueden simular con máquinas de
inicio a una MT
Turing.
La simulación de autómatas parte del principio básico de representar un
autómata Finito.
Correcto
Question2
Puntos: 1
La ejecución de esta máquina de Turing indica que:
a. Si se comporta como máquina reconocedora de Incorrecto

lenguajes, aceptara solo cadenas que contengan
pares de uso y pares de ceros sin importar su
combinación
b. Si se ejecuta o se comporta como un Correcto
Transductor, para la cadena 00110011 , la salida
va a ser 1.
c. Máquina que recorrerá las cadenas hasta el Incorrecto
final de la cinta pero se devolverá al extremo
izquierdo (L)
d. Es una máquina que recorrerá “cualquier Correcto: Máquina que va al final de la cinta
cadena” (combinación de 0´s y 1´s hasta el final
de la cinta
Correcto
Question3
Puntos: 1
La decodificación para canales con ruido usando las técnicas de codificación convolucional, se
hace mediante el algoritmo de Viterbi. El objetivo de aplicar este método es:
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 acompañan al dato,

ayuden a detectar y corregir errores en la transmisión. El
método separa los bits redundantes y muestra el dato.
d. Reducir la cantidad de transiciones y cálculos cuando Correcto: Lo que se consigue aplicando

se presentan los bits redundantes y datos
este método es reducir el número de
codificados. cálculos. Según el algoritmo de Viterbi,
para reducir el número de cálculos,
cada vez que dos trayectos (también
llamados ramas) se junten en un
estado en el Diagrama de Trellis, el de
mayor métrica acumulada se desecha
en la búsqueda del trayecto óptimo
La codificación convolucional se decodifica con ayuda del algoritmo de Viterbi.
El proceso consiste en desechar algunos de todos los caminos posibles. Lo que
se consigue aplicando este método es reducir el número de cálculos.
Correcto
Question4
Puntos: 1
Seleccione cuál de las siguientes situaciones no es posible cuando una

máquina de Turing determinista examina una cadena:
a. La máquina no se detiene nunca
b. La máquina abandona los cálculos por no Correcto: Puesto que la máquina es determinista,
encontrar ninguna transición aplicable necesariamente encuentra siempre una transición
aplicable.
c. Se produce una terminación 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
Máquinas de Turing no deterministas. Las
Deterministas solucionan este problema
Ya que cualquier máquina de Turing determinista es también no determinista,
es lógico que una máquina de Turing determinista se pueda simular mediante
una no determinista. También una máquina 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
El comportamiento de la siguiente máquina de Turing es:
a. Cualquier cadena la recorre la cinta y se posiciona en el Incorrecto

extremo derecho
b. Al recorrer solo cadenas de unos , la cabeza lectora se Correcto
posiciona en el extremo más izquierdo
c. No acepta cadenas de unos seguidos. Debe al menos Correcto
existir un cero
d. Reconoce solo cadenas que inicien con cero, Incorrecto
independiente de los uso seguidos o ceros que
contenga
Correcto
Question6
Puntos: 1
Dependiendo de los diferentes tipos de Máquinas de Turing (MT), estas se

comportan de manera diferente en la solución de problemas. Para una MT
MULTIPISTA, indique una propiedad válida de esta.
a. La cinta esta dividida en un número finito de k pistas
b. En esta MT no se inicializan las cintas por que tienen

muchas pistas.
c. La cinta está en un número infinito de k pistas. Por eso Incorrecto: En el modelo multipista, la
es MULTIPISTA cinta está dividida en un número
FINITO de k pistas.
d. Por cada cinta , requiere de un estado de aceptación
“halt”
Hay ciertos modelos de computación relacionados con las máquinas de Turing,
que poseen el mismo potencial como reconocedor de lenguajes que el modelo
básico. Dentro de esas modificaciones, una muy particular es la MULTIPISTA
que resulta muy efectiva para solución de problemas extensos.
Incorrecto
Question7
Puntos: 1
La forma correcta de operar una Máquina de Turing (MT) es:
a. Inicialización de la Máquina / 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. Inicialización de la Máquina / La cinta está en blanco / Correcto: La operación de la MT
Introducir la cadena de entrada en la cinta / Se pone la
unidad de control en el estado inicial / Se posiciona la
consta de los siguientes pasos: 1. Lee
cabeza sobre la primera letra de la cadena un caracter en la cinta 2. Efectúa una
introducida transición de estado 3. Realiza una
acción en la cinta
c. Inicialización de la Máquina / 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. Inicialización de la Máquina / 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 máquina de Turing (abreviado MT) tiene, como los autómatas que hemos
visto antes, un control finito, una cabeza lectora y una cinta donde puede
haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta
es de longitud infinita hacia la derecha, hacia donde se extiende
indefinidamente, llenándose 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 ejecución. Además, en la MT la cabeza se mueve
bidireccionalmente (izquierda y derecha), por lo que puede pasar repetidas
veces sobre un mismo segmento de la cinta.
Correcto
Question8
Puntos: 1
El caractér blanco que se ubica en la parte derecha de la cinta de una Máquina

de Turing, está presente dada la condición de:
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 autómatas, pero iniciando a partir de la segunda posición
de la cinta, siendo el primer cuadro un caracter blanco. Como la cinta es
infinita, inicialmente toda la parte de la cinta a la derecha de la palabra de
entrada está llena del caracter blanco
Correcto
Question9
Puntos: 1
Una de las características del método de Reducibilidad de Turing es:
a. El método no garantiza la solución de ningún problema pero si su Incorrecto

decibilidad
b. El método soluciona un problema en un conjunto de varios problemas Incorrecto
tratado de forma independiente.
c. El método determina como la solución de un problema, puede llevar a Correcto
solucionar otro
d. El método no hace referencia a como se solucionan dos o mas Correcto
problemas simultáneamente
La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos
problemas computacionales: Una manera más simple de determinar la
indecibilidad es utilizando el método de reducción
Correcto
Question10
Puntos: 1
El comportamiento de la siguiente Máquina de Turing (MT) es:

a. La máquina recorre todas las a´s que entren y borra una Correcto: Máquina que borra todas las a’s
a una hasta que encuentra un símbolo blanco en la cinta y hasta encontrar otro símbolo blanco
acepta la cadena
b. La máquina tiene un mal diseño. No acepta las cadenas
por que no se ha definido un tope de cinta.
c. La máquina entra e un bucle indefinido
d. La máquina recorre todas las a´s pero no se detiene
Correcto
Question11
Puntos: 1
Dentro de los componentes de una máquina de Turing (MT), está el símbolo “blanco” B. El
comportamiento de este símbolo es:
a. Están situados al extremo izquierdo de la cinta.
b. También pertenece al alfabeto de cadenas a reconocer.
c. Aparece en todas las casillas excepto en aquellas que Correcto

contienen los símbolos de entrada.
d. Indica un movimiento nulo de la cabeza lectora.
Corresponde a la formalización de las Máquinas de Turing (MT) como un séptuplo en la que hace
parte el símbolo blanco.
Correcto
Question12
Puntos: 1
Las máquinas de Turing han ayudado a:

a. El modelo de máquina abstracta, su diseño fue Incorrecto: A
Turing propuso en los años 30
basado la lógica y la teoría de las decisiones. un modelo de maquina abstracta, como una
extensión de los autómatas finitos, que
resultó ser de una gran simplicidad y
poderío a la vez
b. Poder reconocer y procesa mas lenguajes. Correcto: Básicamente se trata del diseño de un Autómata con
mayor poder de reconocimiento y proceso de lenguajes, que
tomas y fusiona aspectos de un AF y de un PDA.
c. Construir lenguajes de programación por ser tan ser tan de demasiado de “Bajo
Incorrecto: Por
sencillas en su diseño. Nivel” no resultan prácticas para programar
d. Demostrar que los lenguajes de programación no Correcto: Graciasa su equivalencia con los
resuelven todos los problemas computacionales lenguajes de programación, entonces
facilitan la demostración de que cierto
problema, no se puede resolver con un
lenguaje de programación
Los modelos abstractos de computación tienen su origen en los años 30, bastante antes de que existieran los ordenadores modernos,
en el trabajo de los lógicos Church, Gödel, Kleene, Post, y (Alan Mathison Turing). Estos primeros trabajos han tenido una profunda
influencia no solo en el desarrollo teórico de las Ciencias de la Computación, sino que muchos aspectos de la práctica de la
computación que son ahora lugar común de los informáticos, fueron presagiados por ellos; incluyendo la existencia de ordenadores
de propósito general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representación de lenguajes
por estructuras formales basados en reglas de producción.
Correcto
Question13
Puntos: 1
El diagrama de Viterbi, dentro de sus interacciones o validación de datos define el cambio de

estados de acuerdo a los datos de entrada. Identifique el dato de entrada correcto y su cambio
de estado con el dato de salida codificado correctamente.
a. Posición de estado (11) con entrada de dato “0”. Incorrecto

Cambio de estado 11 con salida de dato codificado
{01}
b. Posición de estado (01) con entrada de dato “1”.
{00}
c. Posición de estado (01) con entrada de dato “0”.
{11}
d. Posición de estado (00) con entrada de dato “1”.
{01}
Incorrecto
Question14
Puntos: 1
Acerca de los problemas de HALTING, seleccione dos definiciones válidas para

esa teoría:
a. El problema de “Halting” es el primer problema Correcto: Básicamente, Turing definió las

indecidible mediante máquinas de Turing. bases de las computadoras modernas y
planteo un problema sobre ellas, llegando a la
conclusión de que no hay ningún algoritmo
que lo resuelva. Es el problema de la
detención (Halting problem); el problema de
saber si un problema se cuelga cuando corre
en la computadora. Turing demostró que el
problema de la detención es indicidible, es
decir, demostró que había problemas que una
maquina no podía resolver.
b. Estos problemas los solucionan las máquinas
de Pila combinadas con AF por contener una
memoria que le da mayor capacidad de
análisis.
c. Es un problema que puede tener solución pero Correcto: Equivale a construir un programa
tiene un bucle infinito que no soluciona la MT. 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 solución
pero no se pueden representar por un
algoritmo
El concepto de problema indecidible o irresoluble se aplica a problemas de
decisión, es decir, problemas a los que podemos decir si tienen solución 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 solución.
Correcto
Question15
Puntos: 1
La teoría de Shannon pudo comprobar que para canales ruidosos al considerar que existe una probabilidad de error en la
transmisión de ráfagas de símbolos para cualquier velocidad, dentro de la capacidad del canal e independientemente del tipo de
información que se envié.
Su técnica de detección de errores se basó en:
a. Aumentarla velocidad de transmisión solo para bits

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

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

Evaluaciones Finales

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Evaluaciones Finales

Cargado por

Copyright:

Formatos disponibles

Act 3: Reconocimiento Unidad No.

Comenzado el domingo, 23 de marzo de 2014, 12:20

Un alfabeto es un conjunto finito de símbolos. De esta definición podemos afirmar

a. Por ser un alfabeto un conjunto finito de

Seleccione al menos una respuesta.

b. La solución de problemas por medio de un Correcto: Fundamentalmente se trata de resolver

c. Reducir problemas en otros más

Seleccione al menos una respuesta.

Acerca de los autómatas finitos no deterministas (AFND), cuáles apreciaciones

Seleccione al menos una respuesta.

a. Un autómata finito no determinista (AFND) acepta

c. Un autómata finito no determinista (AFND) se puede Correcto: Corresponde a la condición de

Seleccione al menos una respuesta.

b.ababaabbc Correcto: Es una combinación válida. Pueden formarse

c. bbaaac Correcto: Es una combinación válida. Pueden formarse

Seleccione una respuesta.

a. Para saber si dos estados q1 y q2 son equivalentes, se

d. Dos estados son distinguibles si son compatibles (es

Comenzado el lunes, 31 de marzo de 2014, 23:31

Si ∑ es un alfabeto, se le llama ∑ (potencia n) al conjunto de todas las palabras de longitud n sobre ∑.

Seleccione al menos una respuesta.

a. L = (A2 ) = {0, 001, 01111, …} = { 1(10)n |n ≤

La expresión regular que se asocia la siguiente autómata es:

Seleccione una respuesta.

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

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

d. Si ω = lambda entonces L (lambda) = { lambda} Correcto: Esta es una ER

Que representa la siguiente figura:

Seleccione una respuesta.

a. Que representa la siguiente figura:

c. Un Autómata de tipo AFND válido. Correcto: Es un Autómata Finito No Determinístico

Seleccione al menos una respuesta.

a. Los Autómatas M1 y M2 son iguales pero no

c. Los Autómatas M1 y M2 aceptan ambos el lenguaje Correcto: La equivalencia se da por la aceptación

Seleccione al menos una respuesta.

a. La función de transición puede no estar definida para

Seleccione al menos una respuesta.

a. Los AF son máquinas de memoria amplia por ser

Seleccione una respuesta.

a. El conjunto de cadenas que es capaz de

Dado el Autómata con la siguiente tabla de transición, identifique las cadenas

a. Solo acepta cadenas vacías (lambda). Incorrecto: Es un AND de landa transiciones.

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

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

Act 5: Quiz 1 - Unidad No. 1

Comenzado el jueves, 3 de abril de 2014, 20:58

c. Un autómata es AFD y el otro es AFND

d. Ambos autómatas son AFD

Seleccione al menos una respuesta.

a. Un AFND puede reconocer el mismo lenguaje que un AFD. Solo

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

Dentro de la jerarquía y clasificación de los lenguajes (Chomsky) identifique que asociaciones

Seleccione al menos una respuesta.

a. Los lenguajes libres de contexto o de tipo 2,

Seleccione una respuesta.

c. Operación cerrada de dos lenguajes

d. Concatenación de lenguajes Correcto: La concatenación de ambos lenguajes

Seleccione al menos una respuesta.

a. a*=a*.a*=(a*)* Correcto: Por asociación

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

a. a=a.a=(a)* Correcto: Por asociación

d. aa+ba = (aa+b)a Incorrecto