Automatas y Lenguajes Formales

AUTOMATAS Y LENGUAJES FORMALES
301405
Act1: Revisin de Presaberes

Question 1
Puntos: 1
En Octubre de 1950, Alan Turing hizo estudios ms abstractos y trat el tema de la
Inteligencia artificial. Para ello propuso un experimento que hoy se conoce como el test de
Turig. Que consiste bsicamente en: (seleccione la verdadera).

Question 1
Puntos: 1
En Octubre de 1950, Alan Turing hizo estudios ms abstractos y trat el tema de la
Inteligencia artificial. Para ello propuso un experimento que hoy se conoce como el test de
Turig. Que consiste bsicamente en: (seleccione la verdadera).

Seleccione una respuesta.

a. Mtodo para evaluar el rendimiento y
capacidad de una maquia. Poder de
procesamiento

b. Mtodo para determinar si una
mquina puede pensar.
Correcto: El Test de Turing nace como
un mtodo para determinar si una
mquina puede pensar.

c. Prueba de error que determina cuando un
problema tiene solucin o no.

d. Procedimientos para evaluar decisiones
lgicas de una mquina.

2. Turing trabajo desde 1952 1954 en la Biologa Matemtica (Morfognesis). Public un trabajo
titulado Fundamentos qumicos de la morfognesis. Su principal inters era: (seleccione los
verdaderos).

Seleccione al menos una respuesta.

a. Definir los nmeros ureos y sus
caractersticas.
Incorrecto

b. Comprender la existencia de
nmeros de Fibonacci en las
estructuras vegetales.
Correcto

c. Comprender la secuencia de
Fibonacci y determinar si es finta o
infinita.
Incorrecto

d. Comprender la phyllotaxis de
fibonacci.
Correcto: Utiliz ecuaciones de reaccin-
difusin actualmente usadas en el campo de la
formacin de patrones.
Biografa de Alan Turing

3En septiembre de 1939 Inglaterra le declara a guerra a Alemania. A Turing junto con otros
criptgrafos, se les asign el trabajo de descifrar la mquina Enigma del ejrcito Alemn
que transmita de manera codificada las coordenadas y comunicaciones que definan las
estrategias de guerra y la ubicacin de bombarderos y, misiles, tanques y submarinos.
Para este trabajo Turing ideo:

a. La MUT

b. La MT

c. La
Criptografa

d. El Bombe

Correcto. El Bombe replicaba la accin de varias mquinas Enigma
cableadas una con la otra. Casda uno de los rpidos tambores
rotativos. Simulaba la accin de un rotor del enigma
Biografa de Alan turing

4. Identifique los acontecimientos que dentro del marco histrico sucedieron en torno a la vida del
matemtico Alan Turing.


a. En el mismo ao que naci Alan
Mathison Turing, aconteci el
hundimiento del trasatlntico
Britnico El Titanic
Correcto: El hundimiento del Titanic se
desarroll en la noche del 14 al 15 de abril de
1912 en el ocano Atlntico Septentrional frente
a las costas de Terranova. Por otra parte Alan
Mathison Turing naci en Londres, 23 de junio
de 1912

b. Alan Mathison Turing fue criado
siempre al lado de sus padres. Por

eso su cultura y legado que ha
dejado a raz de las enseanzas y
educacin que ellos le dieron.

c. El Padre de Alan Mathison
Turing: Julius Mathison Turing era
de origen Polaco.

d. Alan Mathison Turing muri a los
48 aos de edad. Se cree que fue un
suicidio aunque hay apartes de la
historia que mienten esta versin.


5Turing era ateo. Reafirm sus conceptos superficiales y concretos en los que todos los
fenmenos incluyendo el funcionamiento del cerebro humano, deben ser materialistas. Pese
a ello sigui creyendo en la supervivencia del espritu despus de la muerte. Estas
posiciones fueron dadas a raz de:

a. A empezar estudios del cerebro humano y
descubrir que podra asociarse al funcionamiento de
una mquina mecnica y que no podra haber sido
creacin de Dios.

b. En 1928, con diecisis aos, al descubrir e
interpretar los trabajos de Albert Einstein

c. Dada la muerte de Christopher Morcom, quin
fue el primer amor. Morcom muri repentinamente
el 13 de febrero de 1930 .

d. Al ver el horror de la segunda erra mundial en la
que particip como agente encubierto descifrando
cdigos e interceptando comunicaciones del ejrcito
Alemn.
Incorrecto: Fue por la temprana
muere de su amigo y tambin
cientfico joven Christopher
Morcom,
Incorrecto
Puntos para este envo: 0/1.
Question 6
Puntos: 1
En 1936, Alonzo Churh fue director de tesis del trabajo de grado doctoral de Alan Turing
quin le sigui sus pasos estudios en lgica y computabilidad. El nombre del trabajo
doctoral fue Sistemas de lgica basada en ordinales sobre nmeros computables. Este
tema ya lo haba tratado Davd Gilbert en 1928. Este trabajo es el que hoy en da ha llevado
a:

a. Determinar las teoras de nmeros ordinales y de algoritmos.

b. Establecer los principios de la criptografa.

c. Definir los conceptos modernos de lgica

d. Establecer las nociones de lo que hoy se conoce como la Mquina de
Turing
Correcto
Correcto
Act 3: Reconocimiento Unidad No. 1

1
Puntos: 1
Sea el vocabulario {a,b}y la expresin regular aa*bb* Indique cuales cadenas que se
relacionan a continuacin son vlidas para esa ER

a. {ab, aab, aab, a, aa,bb}

Incorrecto: las cadenas vlidas tienen almenos una b
despus de almenos una a

b. {a, b, ab, ba, aab, bba,
aaab}

c. {ab, aab, aaab, abbb,
abb, aa,bb}

d. {ba, ab, b, a}
Incorrecto
Question 2
Puntos: 1
La definicin formal de un Lenguaje Regular (ele) L, se da solo si cumple ciertas condiciones.
Siendo un alfabeto, el conjunto de los lenguajes regulares sobre = {a,b} puede estar
formado por:

a. La cadena vaca (lambda)
es un lenguaje regular.
Correcto: Lambda es regular.

b. La cadena vaca y el
conjunto vaco no son
lenguajes regulares.

c. {ab} no es regular.

d. {a} y {b} son lenguajes
regulares. {a,b} es regular
pues resulta de la unin de
{a} y {b}.
Correcto: Definicin formal de Lenguaje Regular. Por
la definicin anterior, el conjunto de los lenguajes
regulares
formado por el lenguaje vaco, los lenguajes unitarios
incluido lambda y todos los lenguajes obtenidos a partir
de la unin, concatenacin y cerradura o estrella de
Kleene..
{ab} es regular pues resulta de la concatenacin de
{a} y {b}.
Correcto
Question 3
Puntos: 1
Un alfabeto es un conjunto finito de smbolos. De esta definicin podemos afirmar
correctamente:

a. Por smbolo no se est haciendo referencia a un
slo carcter. Los smbolos pueden ser nombres.

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

c. Las cadenas que se forman a partir de un alfabeto
finito, resultan ser infinitas.
Incorrecto: Las palabras
aceptadas pueden ser infinitas.

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.
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question 4
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).

a. Se entiende por minimizacin de autmatas finitos al proceso de
obtencin de un autmata con el menor nmero de transiciones posibles

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

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

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

Incorrecto
Question 5
Puntos: 1
Los Autmatas finitos no determinsticos (AFND) es una quntupla donde todos los
componentes son como en los AFDs, estos autmatas aceptan exactamente los mismos
lenguajes que los autmatas determinsticos, pero cuentan con una diferencia con relacin a
los AFD como es.

a. El alfabeto de
entrada

b. El conjunto
finito de estados.

c. El estado inicial.

d. La funcin de
transicin.
Correcto: Solo la funcin de transicin puede diferenciar los AFD
de los AFND. Las dems opciones pueden ser comunes a ambos
tipos de autmatas y vlidas.
Correcto
Question 6
Puntos: 1
Dados los siguientes lenguajes del alfabeto = {0,1}: L1= {0
n
1
n
, | n 1} y L2 = {cadenas
con igual nmero de 1s que de 0s} y L3 = {cadenas en que cada 1 va seguido de al menos
un 0}. Seale la afirmacin que es verdadera:
Tenga en cuenta qque se 0n1n (equivale a 0 potencia n 1 potencia n)


a. L1 y L2 son independientes del contexto
Correcto: L1 y L2 son independientes de contexto.

b. Ninguno de los lenguajes es regular.

c. Solo L2 y L3 son regulares.

d. Solo L1 es regular.
Correcto

Act 4: Leccin Evaluativa Unidad No.1
Question 1
Puntos: 1
Algunas operaciones y propiedades sobre lenguajes y ER que se pueden realizar son:

a. El orden de prioridad de los operadores es, de
mayor a menor: *, , + Este orden puede alterarse
mediante parntesis, de forma anloga a como se
hace con las expresiones aritmticas.
Correcto

b. A (B U C) = (A B) U (A C)
Correcto: Se est identificando o
definiendo que la concatenacin de
lenguajes es distributiva con
respecto a la unin

c. La concatenacin de lenguajes sobre un
alfabeto es una operacin cerrada, y tiene un
elemento neutro que es el lenguaje {lambda}.
Correcto. Es parte de las
propiedades de los lenguajes

d. (B U C) A = (B A) U (C A)
Correcto: Se est identificando o
definiendo que la concatenacin de
lenguajes es distributiva con
respecto a la unin.
Correcto
Question 2
Puntos: 1
Si se considera un autmata finito M con transiciones lambda que reconoce el lenguaje L:
De la relacin entre determinista y no determinista de los autmatas, y el comportamiento
de las cadenas vacas (lambda), es vlido afirmar

a. Las transiciones lambda solo son aceptadas en
la descripcin de las gramticas.
Incorrecto: Estas transiciones son
aceptadas en AF.

b. Siempre existe un autmata finito determinista
que reconoce un lenguaje reconocido por un
autmata finito no determinista.
Correcto: Las cadenas vacas
lambda son aceptadas y suelen
presentarse en AFND.

c. Un autmata finito con transiciones lambda es
un autmata no determinista.
Correcto: Las cadenas vacas
lambda son aceptadas y suelen
presentarse en AFND.

d. No existe un autmata finito sin transiciones
(lambda) que reconozca L.
Incorrecto: Si es posible este tipo
de autmatas.
Correcto
Question 3
Puntos: 1
Una cadena vlida para el Autmata siguiente es:


a. xzxxxxzxzzx

b. xxxxzxzxzxzx

Correcto: Toda cadena para ese autmata empezar con x y
terminar en una sola x. Se recorre el autmata con la cadena
xxxxzxzxzxzx

c. xxxzxx

d. xzzxzxzx
Correcto
Question 4
Puntos: 1
Cules afirmaciones son vlidas cuando se trata de analizar el funcionamiento de los
Autmatas Finitos (AF):

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
Correcto: Los estados son el nico medio de
que disponen los AF para recordar los eventos
los eventos que ocurren (por ejemplo
que caracteres se han ledo hasta el
momento).
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
Question 5
Puntos: 1
Una caracterstica que presenta el Autmata Finito siguiente es:


a. Es un Autmata Finito
que acepta la palabra vaca

b. Es un Autmata Finito
Determinista (AFD).
Correcto: Es determinista porque de sus nodos no se
repiten salida pro interacciones con el mismo smbolo. Se
acepta la condicin terico de determinismo.

c. Es un Autmata Finito
No Determinstico (AFND)

d. Es un Autmata Regular

Correcto
Question 6
Puntos: 1
Dado el Autmata con la siguiente tabla de transicin, identifique las cadenas que son
vlidas para el lenguaje que acepta


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. {101, 210, 20,110,
200}

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

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

Incorrecto
Question 7
Puntos: 1
Analice el siguiente Autmata y determine cules apreciaciones son vlidas en su anlisis:


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

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

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

Incorrecto
Question 8
Puntos: 1
Sea el Autmata Finito (AF) A= (, Q, f. q1, F) donde = {0,1} , Q ={q1, q2, q3, q4}, F={
q2} y definimos la funcin de transicin f por la tabla siguiente:

Indique cul es lenguaje generado por el autmata:

a. 0(010)*

b. 1*(1)

c. 1( 1) (0)*

d. 1(01) *

Correcto: La expresin regular genera las cadenas que inician con 1 y
que luego pueden o no tener un 0 o un 1
Correcto
Question 9
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

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

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

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

d. Si * es una ER entonces L (*) no es una ER
Correcto
Question 10
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

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

b. (potencia 0) =
Conjunto de todas las
cadenas sobre el

alfabeto excepto la
vaca.

c. (potencia +) =
Conjunto de todas las
cadenas positivas
excepto la vaca
Incorrecto: Conjunto de todas las cadenas excepto la vaca

d. *= 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.
Correcto

Act 5: Quiz 1 - Unidad No. 1
1
Puntos: 1
Para el siguiente autmata determine cuales afirmaciones son vlidas cando se trata de
evaluar que cadenas acepta el autmata.


a. Todas las cadenas que tengan igual
nmero de unos y de ceros son aceptadas.

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

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

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

Correcto: Al recorrer el autmata, se
confirma la relacin de unos descrita
Correcto
Question 2
Puntos: 1
Las siguientes cadenas:
{Lambda,aaa, bb, bbb, aabb, aba, abaaa, abbaa}
son generadas expresadas por la ER

a. ( a | b)* Correcto

b. (a,b)*

c. (a.b)*

d. (a + b ) *
Correcto
Question 3
Puntos: 1
Este lenguaje:
L (G) = {a
(potencia n)
b (potencia n) / n>=1}
Es generado por la gramtica:

a. S ---> ab| Sab Incorrecto

b. S ---> Sab | aSb

c. S ---> aSb | ab

d. S ---> Sa| Sb
Incorrecto
Question 4
Puntos: 1
Las condiciones mnimas para poder describir un Autmata Finito Determinstico (DFA)
son:

a. Dando la lista de
sus estados.
Correcto: Un autmata puede describirse dando la lista de sus
estados, el alfabeto, el estado inicial, los estados finales, y la
funcin transicin. Esta funcin se puede describir usando
notacin usual para definir funciones o usando una matriz, con
una fila por cada estado y una columna por cada smbolo del
alfabeto. Todas las condiciones son necesarias para describir el
autmata.

b. Identificando el
alfabeto.
Correcto: Un autmata puede describirse dando el alfabeto.

c. Identificando el
estado inicial y los
estados finales.
funcin transicin.

d. Identificando la
funcin de
transicin.
funcin transicin.
Correcto
Question 5
Puntos: 1
Dado los siguientes dos autmatas: identifique las apreciaciones verdaderas con respecto al
comportamiento de los dos autmatas:


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

b. Ambos autmatas aceptan las mismas cadenas, como por ejemplo:
{012,011,11,2222,1122,001122}

c. Un autmata es AFD y el otro es AFND

d. Ambos autmatas son AFD Correcto
Correcto
Question 6
Puntos: 1
Dado el siguiente autmata Finito, es vlido afirmar:


a. La ER que lo representa: (b+ab*a)*ab* Correcto

b. La ER que lo representa es: (b*ab*a)*b*ab* Correcto

c. La Er que lo representa es: (ab*a)*

d. La ER que lo representa es: (b+ab*a)*
Correcto
Question 7
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.

a. {0,1}

b. {01,10,101,010}

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

d. {010010, 101101,1}
Correcto
Question 8
Puntos: 1
Acerca del comportamiento de los estados en un autmata, indique que apreciaciones son
vlidas con respecto a su funcin y comportamiento:

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

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
Question 9
Puntos: 1
Sea el alfabeto = {a,b} con la Expresin Regular: a(a+b), identifique las cadenas vlidas
que se pueden generar:

a. {a, aab, abb}

b. {aa, ab,}

c. {aba, aab,}

d. {a, b, aa, bb}

Incorrecto: Las cadenas siempre van a empezar por a, seguidas de
una a una b
Incorrecto
Question 10
Puntos: 1
Dada la siguiente gramtica con las siguientes producciones,
S --> ab
S aSb
que derivaciones son vlidas al usar sus reglas:

a. Ba

b. aabb Correcto

c. ab

d. Bbaa
Question 11
Puntos: 1
Acerca de la clasificacin de los lenguajes, identifique las afirmaciones vlidas con
referencia a la jerarqua y comportamiento de los mismos:

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

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

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

d. Se llama clase de lenguajes a conjuntos de lenguajes que comparten
cierta propiedad dada.
Correcto
Correcto
Question 12
Puntos: 1
Dentro de la jerarqua y clasificacin de los lenguajes (Chomsky) identifique que
asociaciones estn erradas.

a. Los lenguajes libres de contexto o
de tipo 2, pueden ser generados por
los autmatas de pila (AP)
Correcto: esta afirmacin es errada ya que un
lenguaje es descrito por una mquina y no
generado por la mquina.

b. Los lenguajes que no poseen
restricciones o de tipo 0, son
reconocidos mediante Autmatas
Finitos No Deterministas (AFND)

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 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).
Question 13
Puntos: 1
Analice el siguiente diagrama de Moore e identifique las apreciaciones vlidas:


a. No es un autmata vlido en diseo

b. No tiene alfabeto definido

c. Es un AF. Correcto

d. Es una aplicacin de los autmatas. Un interruptor de luz Correcto
Correcto
Question 14
Puntos: 1
Se pueden generar palndromos (cadenas ) sobre el alfabeto = {0,1}. Evidentemente este
lenguaje tiene infinitas cadenas
Selecciones las afirmaciones vlidas con referencia al anterior postulado.

a. = lambda cadena vaca y = 0 ; Son palndromos Correcto

b. Existe un lenguaje denominado el lenguaje vaco que es un conjunto
vaco y se denota por {}. El lenguaje vaco no debe confundirse con un
lenguaje que contenga una sola cadena.
Correcto

c. Los palndromos son una excepcin de los lenguajes regulares y no hacen
parte de la jerarqua de Chomsky

d. Los smbolos de un alfabeto, definen el tipo de lenguaje a que pertenece.

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

a. El Palndromo se puede definir como: ( = potencia R ).
Correcto:
Ejemplo: =
reconocer

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

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
Correcto

1
Puntos: 1
Analice la relacin que tiene el siguiente autmata con la gramtica.
S xS / S yA / S zB / A yA / A yB / B zB / B Lambda

Seleccione la opcin que sea verdadera.

a. La gramtica y el
autmata no generan ningn
lenguaje

b. La gramtica y el
autmata son equivalentes.

c. La gramtica y el
autmata no son
equivalentes.
Correcto: La gramtica y el autmata no son
equivalentes por que no generan el mismo lenguaje
(ejemplo no se genera la cadena vaca con la gramtica
dada).

d. Es un autmata finito
determinstico (AFD)

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


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

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

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

d. Los nodos que no tienen hijos, deben ser etiquetados con smbolos
terminales.
Correcto
Correcto
Question 3
Puntos: 1
Dada la siguiente gramtica:
S xS / S yA / S zB / A yA / A yB / B zB / B Lambda
Compuesta por los estados S, A, B y en la que los tres son estados finales o de aceptacin,
analice cual afirmacin es verdadera:

a. La gramtica no genera la cadena vaca

b. La gramtica no genera ningn lenguaje
porque presenta ms de un estado de aceptacin
o final.
Incorrecto: la gramtica si genera un
lenguaje y no genera la cadena
vaca.

c. La gramtica solo genera cadenas de un
smbolo y la cadena vaca

d. La gramtica genera la cadena vaca
Incorrecto
Question 4
Puntos: 1
Indique cul de las siguientes afirmaciones es falsa teniendo en cuenta el determinismo de
los autmatas finitos. (AF).

a. Un autmata finito no determinista de q estados y n smbolos
puede tener a lo sumo n q2 transiciones

b. El nmero mximo de transiciones de un autmata finito
determinista depende del nmero de estados y del nmero de
smbolos del alfabeto del autmata
Esta afirmacin
es vlida

c. Un autmata finito determinista de q estados y n smbolos tiene n
q transiciones

d. Un autmata finito no determinista puede tener un nmero
ilimitado de transiciones distintas

Incorrecto
Question 5
Puntos: 1
En una Gramtica Regular, un componente de la Cuadrupla que la compone, es el Alfabeto.
Este esta caracterizado como:

a. Un alfabeto infinito y no vaco de smbolos terminales

b. Un alfabeto inicializado con lambda como cadena vlida

c. Un alfabeto no vaco de smbolos terminales Correcto

d. Un alfabeto regular (o sea de tipo 3 segn Chomsky)
Una gramtica regular G es una cudrupla G = (E, N, S, P), donde:

E : alfabeto (no vaco) de smbolos terminales
Correcto
Question 6
Puntos: 1
Toda Gramtica Libre de Contexto (GIC) puede ser transformada en un GIC en Forma
Normal de Chomsky.
Indique cul es el primer paso jerrquicamente para que se pueda hacer esta
transformacin.

a. Para ello lo primero que hay que hacer es suprimir
las producciones nulas y unitarias
Correcto: Acorde al algoritmo
este es el primer paso

b. Reemplazar variables en el orden de las
producciones dadas.

c. Aadir variables para cada produccin.

d. Aadir producciones a la derecha de la gramtica

El algoritmo para eliminar los smbolos y producciones intiles consta de dos pasos
fundamentales: 1. Eliminar las variables desde las que no se puede llegar a una palabra de T
y las producciones en las que aparezcan. 2. Eliminar aquellos smbolos que no sean
alcanzables desde el estado inicial, S, y las producciones en las que estos aparezcan.
Correcto

Act 8: Leccin Evaluativa Unidad No. 2
1
Puntos: 1
Para eL siguiente rbol de derivacin identifique las operaciones correctas sobre el mismo:


a. La gramtica que lo genera es: S -->SaS |
SbS | Sc | a
Incorrecto

b. La gramtica que lo genera es: S --> SbS
| ScS | a
Correcto

c. La derivacin de la cadena {abaca} es: S
---> ScS ---> SbScS ---> abScS ---> abacS
---> abaca
Incorrecto; si reconoce la cadena pero
genera un rbol de derivacin diferente
por la izquierda.

d. La derivacin de la cadena {abaca} es: S
--> SbS --> SbScS ---> SbSca ---> Sbaca --
-> abaca
Correcto
Correcto
Question 2
Puntos: 1
Dado el siguiente autmata finito (AF), reconoce el lenguaje generado por la gramtica:


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

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

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

d. G = { S --->B |lambda , A ---> 1B | lambda,, B ---> lambda}
Correcto
Question 3
Puntos: 1
Considere la gramtica G = {S aS | aA | a , A aA | bS }Cul es la longitud de las
cadenas que puede generar y cules son esas cadenas, identifquelas?

a. 10 y son {, a, aa, ab, ba, bb, aba,
abab, bbb, b }

b. 7 y son {a,aa,aaa,aaaa, abaa, aaba,
abab}
Correcto: Son 7 cadenas: {a,aa,aaa,aaaa,
abaa, aaba, abab}

c. 5 y son {, a, aa, ab, ba }

d. 6 y son {a, aa, ab, ba, bb, aba }
Correcto
Question 4
Puntos: 1
Para que una palabra de entrada sea aceptada en un AP se deben cumplir las condiciones
siguientes:

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

b. La pila debe tener
lambda como elemento
final.

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 estar
vaca.
Correcto: la pila debe estar vaca.
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
Question 5
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?

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

b. No todas las veces, dado que puede tratarse de un autmata no
determinista.
Correcto

c. S, siempre.

d. Si, si M es un autmata finito.
Correcto
Question 6
Puntos: 1
Acerca del funcionamiento de un Autmata de Pila, cul de las siguientes operaciones o
comportamientos NO las hace este autmata.

a. Una de las condiciones para que una
palabra de entrada sea aceptada en un AP
la pila debe estar vaca.

b. Al igual que los AF, los AP tienen
estados finales, que permiten distinguir
cuando una palabra de entrada es aceptada

c. La pila no tiene lmite en sus extremos.
A diferencia de las MT que son cerradas
por la izquierda.
Incorrecto: La pila, est limitada en un
extremo por definicin, cuando se lee un
elemento de la pila, este desaparece o se
saca y cuando se escribe en la pila se
introduce un elemento.

d. En la Pila una transicin de un estado a
otro Arroja la informacin de lo que sale
de la pila (tope), no de lo que entra ya que
el avance es progresivo hacia adelante y no
hacia atrs.

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
Incorrecto
Question 7
Puntos: 1
En un autmata de pila (AP), la funcin de transicin aplica o interviene a:

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

b. A cada estado Correcto

c. A cada movimiento de la pila Correcto

d. A cada smbolo topo de la pila Correcto
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.
Correcto
Question 8
Puntos: 1
Indique cul de las siguientes afirmaciones es verdadera:

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

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

c. Con un autmata de pila no puede
reconocerse un lenguaje regular

d. 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:
Correcto
Question 9
Puntos: 1
Los errores ms comunes al disear gramticas (GLC) son:

a. Que sobren palabras
Correcto: esto es, que la gramtica genere algunas
palabras que no debera
generar. En este caso, la gramtica seria incorrecta.

b. Que falten palabras,
Correcto esto es, que haya palabras en el lenguaje
considerado para lasque no hay ninguna derivacin.
En este caso, la gramtica seria incompleta.

c. Combinar gramticas

d. Reutilizar gramticas y
modificarlas para ajustarlas al
lenguaje generado

El problema del diseo de GLC consiste en proponer, dado un lenguaje L, una GLC G tal
que su lenguaje generado es exactamente L.
Correcto
Question 10
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:

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

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

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

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

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
Act 9: Quiz 2 - Unidad No. 2

Question 1
Puntos: 1
Indique cul de las siguientes afirmaciones es verdadera:

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

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

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. Los AP son siempre deterministas. El no determinismo no se hace
presente por que los AP poseen un mecanismo adicional de manejo de
memoria

Correcto
Question 2
Puntos: 1
Desarrolle la siguiente gramtica cuyos smbolos terminales son {a,b}
S aAA, A ---> bS, A ---> lambda
Identifique las apreciaciones vlidas. Se recomienda desarrollar el rbol de derivacin

a. El autmata ms sencillo que Acepta
L(G) es un autmata de pila (AP). Una
cadena vlida sera {abab}
Incorrecto: El autmata ms sencillo que
genera es un AF. Adems la cadena
{abab} es rechazada.

b. La cadena ms sencilla que genera el
L(G) es: {aba}
Incorrecto: La cadena ms sencilla que
genera es {a}. De acuerdo a la ER que se
genera por el L(G).

c. El autmata ms sencillo que Acepta
L(G) es un autmata finito
Correcto

d. El lenguaje que genera la gramtica es
L(G) = a(ba)*
Correcto
Correcto
Question 3
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:

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

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

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

Correcto

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

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
Question 4
Puntos: 1
Dada la siguiente gramtica.
Genera le lenguaje {a
i
b
j
c
i+j
| i+j>0}.
S aAc |ac | bBc | bc ; A aAc | ac |bBc | bc; B ---> bBc | bc
Identifique que producciones fueron necesarias para generar la cadena vlida {aabbbccccc}

a. S --->aAc ; A--->aAc | aAc | bBc ;
B ---> bBc | bc
Incorrecto: estas producciones generan la
cadena {aaabbbcccccc}

b. S --->aAc ; A--->aAc | bBc ; B ---
> bc

c. S --->aAc ; A--->bBc ; B ---> bc

d. S --->aAc ; A--->aAc | bBc ; B ---
> bBc | bc

Incorrecto
Question 5
Puntos: 1
En la descripcin de las gramticas, las producciones unitarias tienen la forma:

a. S-->ABs

b. S-->a

c. A -->sB

d. A --> B Correcto
Las producciones unitarias son las que tienen la forma A B
Correcto
Question 6
Puntos: 1
Indique cul de las siguientes afirmaciones es falsa:

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

b. La interseccin de un lenguaje
regular con un lenguaje independiente
del contexto es siempre un lenguaje
regular.
Correcto: La interseccin del lenguaje regular
x
n
y
m
y el lenguaje independiente del
contexto x
n
y
n
es el lenguaje independiente
del contexto no regular x
n
y
n

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

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

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


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

b. S > 0A0 | 1S2 | 10

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

d. S > 0A0 | 1S1 | 2

Correcto: Si se desarrolla el rbol de derivacin se obtiene la
cadena 01210
Correcto
Question 8
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):

a. L1 L2

b. L2 L1

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

d. L1 L2
Correcto
Question 9
Puntos: 1
Si a un Autmata se le adiciona un almacenamiento auxiliar, se est construyendo entonces:

a. Un Autmata No determinstico pero Finito

b. Un Autmata Determinstico Finito.

c. Un Pushdown Automaton (PA) Correcto

d. Una Turing Machine (TM)
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.
Correcto
Question 10
Puntos: 1
Cual de las siguientes afirmaciones se asocia correctamente al diseo y funcionamiento de
los rboles de derivacin.

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

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

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

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

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
Question 11
Puntos: 1
Dada la siguiente gramtica G= (VN= {S, A}, VT= {0,1}, S, P) donde P son las
producciones:


a. S > 0A > 00A > 001S
> 0010 A > 00100
Correcto: Ambas producciones aplican a la gramtica
con cadenas vlidas como 0100 y 00100

b. S > 0A > 00A > 001 A
> 0010
Incorrecto: las producciones no aplican a la gramtica.

c. S > 0A > 01S > 010 A
> 0100
Correcto: Ambas producciones aplican a la gramtica
con cadenas vlidas como 0100 y 00100

d. S > 0A > 0A > 00A >
000
Incorrecto: Las producciones no aplican a la gramtica.
Correcto
Question 12
Puntos: 1
La concatenacin de dos lenguajes del alfabeto es un subconjunto de:

a.

b.

c.

d. (*)* Correcto: (*)*=*
La concatenacin de dos lenguajes es el lenguaje que resulta al concatenar las respectivas
cadenas (la concatenacin de dos cadenas es una nueva cadena) y por tanto pertenece a *.
= ; es el conjunto de pares ordenados formados por dos smbolos de , y **
es el conjunto de pares ordenados formados por dos cadenas de *.
Correcto
Question 13
Puntos: 1
Dada la gramtica S aS; S aSbS; S . Indique cul de las siguientes afirmaciones es
falsa:

a. 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 w es toda cadena no vaca x para la que existe
una cadena u tal que w = xu

b. La cadena {b} es rechazada

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
Esta es la opcin falsa. La
cadena a que en efecto es
aceptada , generada por la
gramtica, no cumple esta
condicin

d. El lenguaje generado por la gramtica es
estructurado por frases

Correcto
Question 14
Puntos: 1
Dado el siguiente rbol de derivacin, identifique las apreciaciones vlidas cuando se
analiza su comportamiento y diseo:


a. La gramtica est representada como: G = { S
-lambda | Sa} y el lenguaje generado puede
representarse con la expresin regular a*
Correcto: Es una Gramtica lineal
por la izquierda. La ER es la que
representa el lenguaje descrito.

b. El rbol representa las cadenas que inician en
dos as seguida de una o ms as de un lenguaje
regular

c. El rbol representa una gramtica lineal por la
izquierda, que genera el lenguaje L ={lambda,
a,aa,aaa,}
Correcto: Es una Gramtica lineal
por la izquierda. La ER es la que
representa el lenguaje descrito

d. La gramtica est representada como G = { S -
-->lambda | aS}

Correcto
Question 15
Puntos: 1
Sea L el lenguaje de alfabeto = {a,b,c} y cadenas de forma wcv, donde w y v son cadenas
de as y bs y w y v tienen la misma longitud pero v no es la cadena inversa de w. Dicho
lenguaje coincide con el generado por la gramtica:

a. S aSa, SbSb, SaRb, SbRa, RaRa,
RbRb, Rc.

b. S aSa, SbSb, SaRb, SbRa, RaRa,
RbRb, RaRb, RbRa, Rc.

c. S aSa, SbSb, SaRb, SbRa, RbRb,
RaRa, RbRa, Rc.

d. S aSa, SbSb, SaRb, SbRa, RaRb,
RbRa, Rc.
Incorrecto: esa gramtica no
genera la cadena aacab
Incorrecto

Question 1
Puntos: 1
Dentro de las tesis que plasmaron Church y Turing, est una de las ms aplicadas y
demostradas hoy en da, enfocada al funcionamiento de las mquinas reales (coputadoras).
Esta es:

a. Las mquinas reales tienen mayor poder de cmputo que las Mquinas
de Turing, aunque resuelvan los mismos problemas.
Incorrecto

b. La mquina de Turing, tiene mayor poder de cmputo que las reales,
aunque resuelvan los mismos problemas.

c. Toda funcin computable tiene un algoritmo decidible pro una MT

d. Una MUT es funcional y eficiente tanto como una mquina real.
Incorrecto
Question 2
Puntos: 1
Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna
propiedad) que requiere una respuesta de tipo si/no. Para la Teora de Lenguajes, un
problema de decisin es insoluble cuando:

a. Existe un procedimiento definido que determina la ambigedad del
problema

b. Si no se logra representar 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.
Correcto

d. Si no existe un procedimiento efectivo para determinar si la propiedad es
verdadera (no existe una Mquina de Turing MT).
Correcto
Correcto
Question 3
Puntos: 1
Cules diferencias entre una computadora Real y una mquina de Turing (MT) son
verdaderas:

a. En una computadora, el nmero de estados
viene representado por el contenido de la
memoria.
Correcto

b. En una MT el n de estados depende del
algoritmo.

c. En cuanto al orden de ejecucin de las
instrucciones, En la estructura Von Neumann el
secuenciamiento lo marca el orden de
colocacin de las instrucciones en la memoria
interna y viene asegurado por el contador de
programa.
Correcto: En Una mquina de Turing, el orden
de ejecucin de las instrucciones si est definido,
lo marca en todo instante el estado de la
mquina y el carcter de la cinta apuntado, que
son los dos datos que determinan la quntupla
que ha de ser ejecutada.

d. En una MT el orden de ejecucin de las
instrucciones no est definido.

Question 4
Puntos: 1
Una de las tcnicas usadas que permite determinar la indecibilidad en algunos problemas
computacionales es:

a. Usando el mtodo de
Halting

b. Usando el mtodo de
Reduccin Reducibilidad de
Turing
Correcto: La reducibilidad ha permitido llegar a
determinar la indecibilidad en algunos problemas
computacionales

c. Usando el mtodo de
Decibilidad de Teoras Lgicas

d. Usando el mtodo de las
Funciones computables

Correcto
Question 5
Puntos: 1
Cuando se transmite informacin, las variables a evaluar, medir, seguir y monitorear son:

a. Nivel de ruido

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

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
Correcto
Question 6
Puntos: 1
Algunos problemas computacionales suelen tener caractersticas de indecibilidad. Las
estrategias usadas para poder determinar esta caracterstica en estos problemas es:

a. Mediante funciones
computables, determinar la
ambigedad de solucione y
seleccionar la que tenga
menos restricciones.
Incorrecto

b. Fraccionar o reducir el
problema e otros ms
pequeos
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,

c. Al reducir un problema a
otros ms pequeos, de tal
forma que la solucionar uno,
tendremos la solucin del
otro.
Correcto: dado un problema P1, este se reduce a
solucionar P2. Es decir, si solucionamos P2, tenemos
solucionado P1. De esta manera hemos convertido un
problema en otro.

d. Mediante la decibilidad de
teoras lgicas.
Icorrecto
Correcto

Act 12: Leccin Evaluativa Unidad No. 3
Question 1
Puntos: 1
Los problemas indecidibles, son tambin parte del estudio de Autmatas y lenguajes Formales. La
indecibilidad de estos problemas lleva a ratificar afirmaciones que han sido demostradas mediante
algoritmos complejos computables que concluyen en afirmaciones como:

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

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

c. Hay infinitos problemas para los que no se va a tener una MT que los
resuelva (ni siquiera los reconozca).
Correcto

d. Con un computador real, se puede determinar con certeza cualquier
problema en el sentido si es decidible o no.

Una MT que los resuelva (ni siquiera los reconozca). Tambin se ha formulado la tesis de Church-
Turing, que determina el lmite de los computadores actuales
Correcto
Question 2
Puntos: 1
Indique que caractersticas asocian particularidades o semejanzas vlidas entre las MT y las
computadoras reales.

a. Los computadores electrnicos, basados en la arquitectura Von Neumann
as como las mquinas cunticas tendran exactamente el mismo poder de
expresin que el de una Mquina de Turing (MT) si dispusieran de recursos
ilimitados de tiempo y espacio.
Correcto

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

c. Las MUT son de un solo propsito. Las mquinas reales interpretan
muchos programas escritos en diferentes lenguajes (multipropsito).

d. En las mquinas reales estn definidos procesos de manera jerrquica. En
las MT estos procesos estn definidos por el nmero de estados.

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

a. El diseo de las MT bsicamente es el de un autmata finito pero un
Autmata con mayor poder de reconocimiento y proceso de lenguajes, que
tomas y fusiona aspectos de un PDA.

b. Una mquina de Turing cuyo estado inicial coincida con el estado de
parada acepta toda cadena
Correcto

c. El diseo de una MT es procedimentalmente sencillo para programar
lenguajes de mquinas reales.

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


a. 10

b. 00

c. 11

d. 01 Correcto
Correcto
Question 5
Puntos: 1
Un cdigo convolucional se disea cuando a partir de registros de desplazamiento lineal.
Los cdigos convolucionales, suelen describirse mediante:

a. rboles, Trellis y Diagrama de estados. Correcto

b. rboles y diagramas de estados

c. Autmatas finitos (grafos). Mquinas de estados

d. Autmatas finitos (grafos). Mquinas de estados
Correcto
Question 6
Puntos: 1
De las siguientes caractersticas marque dos de las que corresponden con la cinta de una
Mquina de Turing

a. Cinta Finita hacia la
derecha, por que al

extremo izquierdo
siempre esta un topeo
carcter blanco.

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

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. Cinta Infinita hacia la
izquierda

La mquina de Turing (abreviado MT) tiene, como los autmatas finitos, un control finito,
una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene
la palabra de entrada. La cinta es de longitud infinita hacia la derecha, hacia donde se
extiende indefinidamente, llenndose los espacios con el caracter blanco
Correcto
Question 7
Puntos: 1
Un ascensor sin memoria de un edificio de cuatro plantas puede describirse:

a. Mediante un autmata
de pila, pero no mediante
un autmata finito

b. Mediante una mquina
de Turing, pero no
mediante un autmata de
pila

c. No es un problema
soluble. Es un problema
de decisin

d. Mediante un autmata
finito
Correcto: Al no tener memoria, el ascensor es una mquina
que experimenta una transicin de estado como funcin
exclusiva del estado en que se encuentra y el evento que
recibe (botn pulsado por un usuario).
Al no tener memoria, el ascensor es una mquina que experimenta una transicin de estado
como funcin exclusiva del estado en que se encuentra y el evento que recibe (botn
pulsado por un usuario).
Correcto
Question 8
Puntos: 1
Con que configuracin de cinta se detendr la mquina de Turing mostrada a continuacin si
comienza con la cinta configurada como xxx . Asuma el orden con que estn
numerados los estados para el proceso.
La "V" indica la posicin en la que estara la mquina. Para el caso de los s+mbolos "x"
estara representado como (x)


a. xxxVV

b. xxxV

c. xx(x)V

Correcto: Se inicia con el estado de la mquina en 1 con xxx y finaliza en el estado 3
con xxx

d. xxxV
Correcto
Question 9
Puntos: 1
Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione las opciones
verdaderas).

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

b. El problema de tipo "insoluble" define que hay un algoritmo que lo
soluciona pero que no se puede llevar a una MT o una mquina abstracta.

c. El problema de Halting es el primer problema indecidible mediante
maquinas de Turing
Correcto

d. Equivale a construir un programa que te diga si un problema de ordenador
finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo)
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
Question 10
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.


a. 010 Correcto

b. 110

c. 100

d. 001
Correcto

Act 13: Quiz 3 Unidad No. 3
Question 1
Puntos: 1
Las mquinas de Turing (MT) son tambin aceptadoras de lenguajes. Analice si los
lenguajes dados aplican a la tarea que cumplen estas mquinas

a. El lenguaje {w pertenece {a,b}* | w
contiene al menos una b} no es independiente
del contexto y por tanto no es decidible por
mquinas de Turing.
Incorrecto

b. El lenguaje {w pertenece {a,b}* | w
contiene al menos una a} es decidible por
mquinas de Turing.
Correcto: Esta opcin (El lenguaje)
descrito es independiente del contexto,
y por tanto decidibles por mquinas de
Turing

c. El lenguaje {w pertenece {a,b}* | w
contiene tantas as como bs} no es decidible
por mquinas de Turing
Incorrecto: Si es decidible,

d. El lenguaje {w pertenece {a,b}* | w
contiene tantas as como bs} es decidible por
mquinas de Turing.
Correcto: Esta opcin (El lenguaje)
descrito es independiente del contexto,
y por tanto decidibles por mquinas de
Turing
Correcto
Question 2
Puntos: 1
Dada la siguiente Mquina de Turing (MT), determine que afirmaciones son vlidas para su
anlisis:


a. La mquina acepta palabras que empiezan con
b

b. La mquina acepta palabras que empiezan con
a
Correcto: La letra de entrada de la MT es a, y
cuando llega a halt es aceptada la cadena.

c. Si la primera letra no es una a la MT cae en
un ciclo infinito leyendo y escribiendo a
Incorrecto: Al empezar con b la MT entra
en un bucle escribiendo b.

d. Si la primera letra no es una a, la MT cae en
un ciclo infinito leyendo y escribiendo b

Question 3
Puntos: 1
La decodificacin para canales con ruido usando las tcnicas de codificacin
convolucional, se hace mediante el algoritmo de Viterbi. El objetivo de aplicar este mtodo
es:

a. Que los bits redundantes que
acompaan al dato, ayuden a
detectar y corregir errores en la
transmisin. El mtodo separa
los bits redundantes y muestra
el dato.

b. Identificar la mayor cantidad
de bits de control para
compararlos con los bits de
datos.

c. Encontrar el ltimo estado
que posee el error.

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
Question 4
Puntos: 1
Dada la siguiente Maquia de Turing (MT). Analice su comportamiento.


a. No es una maquina vlida ya que no define un
estado final que acepta unas cadenas (no
interpreta un lenguaje definido).

b. Si se convierte el estado q0 en final, aceptar
todas las posibles combinaciones de {01}.
Aceptar secuencias de ceros y uso.
Correcto: Si adems se exige que el
transductor termine en un estado
final y pare, si la entrada es
correcta, es decir, una simple
secuencia de ceros y unos

c. Es una mquina que solo acepta lenguajes
regulares.

d. Esta mquina de Turing que se comporta
como transductor, porque simplemente genera
una salida en la cinta.
Correcto. Escribe en la cinta y la
recorre.
Correcto
Question 5
Puntos: 1
Una analoga funcional, operacional de una Mquina de Turing con un componente fsico real
podra ser:

a. Un compilador

b. Un codificador secuencial con estados fijos pero con memoria (ej:
codificador convolucional)

c. Soluciones computacionales de arquitecturas hbridas de algoritmos
infinitos.

d. Sistemas de cmputo basados en arquitecturas como las de Neumann Correcto
Los computadores electrnicos, basados en la arquitectura Von Neumann as como las mquinas
cunticas tendran exactamente el mismo poder de expresin que el de una mquina de Turing si
dispusieran de recursos ilimitados de tiempo y espacio. Como consecuencia, los lenguajes de
programacin tienen a lo sumo el mismo poder de expresin que el de los programas para una
mquina de Turing y en la prctica no todos lo alcanzan. Los lenguajes con poder de expresin
equivalente al de una mquina de Turing se denominan Turing completos
Correcto
Question 6
Puntos: 1
Dependiendo de los diferentes tipos de Mquinas de Turing (MT), estas se comportan de
manera diferente en la solucin de problemas. Para una MT MULTIPISTA, indique una
propiedad vlida de esta.

a. La cinta est en un nmero infinito de
k pistas. Por eso es MULTIPISTA

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

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

d. La cinta esta dividida en un nmero
finito de k pistas
Correcto: En el modelo multipista, la cinta
est dividida en un nmero finito de k
pistas.
Hay ciertos modelos de computacin relacionados con las mquinas de Turing, que poseen
el mismo potencial como reconocedor de lenguajes que el modelo bsico. Dentro de esas
modificaciones, una muy particular es la MULTIPISTA que resulta muy efectiva para
solucin de problemas extensos.
Correcto
Question 7
Puntos: 1
Un movimiento en la Mquina de Turing depende del smbolo explorado con la cabeza y
del estado actual con el que se encuentre la mquina, el resultado puede ser:

a. Se mueve la cabeza de la cinta
a la izquierda, a la derecha o se
detiene.
Correcto: En una MT de Turing no es cierto que el
movimiento del cabezal, implique vaciar la cinta o
inicializar los smbolos iniciales

b. Cambio de estado.

c. Imprime un smbolo en la cinta
reemplazando el smbolo ledo.


d. Todo movimiento del cabezal
vaca la cinta y la inicializa en
cero.
Incorrecto: En una MT de Turing no es cierto que
el movimiento del cabezal, implique vaciar la cinta
o inicializar los mbolos iniciales
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 (t).
Correcto
Question 8
Puntos: 1
La mquina universal de Turing esta disea para realizar cualquier calculo especifico
particular debido a que:

a. Es un intrprete de la
informacin de salida

b. Las instrucciones se
basan en una fase del
algoritmo universal

c. Parar cuando el
clculo sea
indeterminado.

d. Es capaz de ejecutar
cualquier algoritmo
Respuesta Correcta: una M T capaz de ejecutar cualquier
algoritmo; es decir capaz de realizar los clculos que
realizara cualquier otra MT, o sea, capaz de simular (tener
el mismo comportamiento) cualquier MT particular.
Esta mquina Universal no debe ser diseada para realizar un clculo especfico, sino para
procesar cualquier informacin (realizar cualquier clculo especfico -MT particular- sobre
cualquier configuracin inicial de entrada correcta para esa MT particular).
Correcto
Question 9
Puntos: 1
Acerca de las Mquinas de Turing, Cul de las siguientes afirmaciones es cierta:

a. Conociendo la posicin del cabezal,
se conoce la situacin actual de la
mquina de Turing.

b. Una mquina de Turing cuyo estado
inicial coincida con el estado de parada
acepta toda cadena
Correcto: Las acciones que puede ejecutar
en la cinta la MT pueden ser: Escribe un
smbolo en la cinta, o Mueve la cabeza a la
izquierda o a la derecha Estas dos acciones
son excluyentes, es decir, se hace una o la
otra, pero no ambas a la vez.

c. Es posible que un lenguaje sea
estructurado por frases pero no exista
ninguna mquina de Turing que se
detenga exclusivamente cuando las
cadenas escritas en su cinta pertenezcan
al lenguaje

d. Cualquier lenguaje puede ser
reconocido por una mquina de Turing

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
Correcto
Question 10
Puntos: 1
Una de las bases o fundamentos en que se apoyaba el PRINCIPIO DE CHURCH-TURING
estaba fundado en aspectos de:

a. La lgica computacional

b. La aplicacin de funciones computables

c. La simulacin Correcto

d. El diseo computacional
"Todo proceso fsico puede ser simulado por un dispositivo universal de computacin."
Correcto
Question 11
Puntos: 1
La ejecucin de esta mquina de Turing indica que:


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

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

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

d. Si se ejecuta o se comporta como un Transductor, para la
cadena 00110011 , la salida va a ser 1.
Correcto
Correcto
Question 12
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:

a. La cinta es infinita a la derecha Correcto

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

c. La cinta es de solo lectura

d. La cinta es finita a la derecha y a la izquierda
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
Question 13
Puntos: 1
Seleccione cul de las siguientes situaciones no es posible cuando una mquina de
Turing determinista examina una cadena:

a. El problema de parada solo aplica a
Mquinas de Turing no deterministas. Las
Deterministas solucionan este problema

b. Se produce una terminacin anormal (es
decir, la cabeza lectora se desplaza a la
izquierda de la primera celda de la cinta)

c. La mquina no se detiene nunca

d. La mquina abandona los clculos por no
encontrar ninguna transicin aplicable
Correcto: Puesto que la mquina es
determinista, necesariamente encuentra
siempre una transicin aplicable.
Ya que cualquier mquina de Turing determinista es tambin no determinista, es lgico que
una mquina de Turing determinista se pueda simular mediante una no determinista.
Tambin una mquina de Turing determinista puede simular una no determinista. Por tanto,
no se gana ninguna potencia adicional a causa del no determinismo.
Correcto
Question 14
Puntos: 1
Dentro de los componentes de una mquina de Turing (MT), est el smbolo blanco B. El
comportamiento de este smbolo es:

a. Estn situados al extremo izquierdo de la cinta.

b. Tambin pertenece al alfabeto de cadenas a reconocer.

c. Indica un movimiento nulo de la cabeza lectora.

d. Aparece en todas las casillas excepto en aquellas que contienen los
smbolos de entrada.
Correcto
Corresponde a la formalizacin de las Mquinas de Turing (MT) como un sptuplo en la
que hace parte el smbolo blanco.
Correcto
Question 15
Puntos: 1
E nmero de estados posibles para un diagrama de estados est dado por:

a. 2( potencia k(m-1)) Dnde: K= la secuencia en cantidad de bits que van a
entrar al codificador. m= la memoria del codificador ( es restringida) n = es
una salida codificada (nmero de bits).
Correcto

b. 2( potencia n) Dnde: K= es el nmero de bits de la cadena a evaluar
(antes de ser codificada). m= la memoria del codificador ( es restringida) n =
es una salida codificada (nmero de bits). Para un codificador convolucional
de ratio R = co K=1 El total de estados es cuatro.

c. 2( potencia k(m-1)) Dnde: K= es el nmero de bits de la cadena a
evaluar (antes de ser codificada). m= la salida del codificador Si K =1 ; m=
3. El total de estados es cuatro.

d. 2( potencia k(n-1)) Dnde: K= es el nmero de bits de la cadena a evaluar
(antes de ser codificada). m= la memoria del codificador ( es restringida) n =
es una salida codificada (nmero de bits). Si K =1 ; n= 3. El total de estados
es cuatro.

Correcto

Automatas y Lenguajes Formales

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Automatas y Lenguajes Formales

Uploaded by

Copyright:

Available Formats

AUTOMATAS Y LENGUAJES FORMALES

You might also like