AUTOMATAS Y LENGUAJES FORMALES ACT4

1
Puntos: 1

Dado un alfabeto , los smbolos , lambda y los operadores + (unin), (punto) (concatenacin) y *
(clausura), se define una EXPRESION REGULAR (ER) sobre el alfabeto en la que son vlidas las
siguientes relaciones:
Nota. es una cadena sobre un lenguaje L
Seleccione al menos una respuesta.
a. Si = a y a pertenece entonces L () no
pertenece
b. Si * es una ER entonces L (*) no es una ER
c. Si = entonces L () =

Correcto: Esta es una ER

d. Si = lambda entonces L (lambda) = { lambda}

Correcto: Esta es una ER

Correcto

Puntos para este envo: 1/1.

Question2
Puntos: 1

Algunas operaciones y propiedades sobre lenguajes y ER que se pueden realizar son:

Seleccione al menos una respuesta.
a. (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.

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. El orden de prioridad de los operadores es, de

mayor a menor: *, , + Este orden puede alterarse
mediante parntesis, de forma anloga a como se

Correcto

hace con las expresiones aritmticas.

d. La concatenacin de lenguajes sobre un alfabeto
es una operacin cerrada, y tiene un elemento neutro
que es el lenguaje {lambda}.
Parcialmente correcto

Puntos para este envo: 0.8/1.

Question3
Puntos: 1

Cules afirmaciones son vlidas cuando se trata de analizar el funcionamiento de los Autmatas
Finitos (AF):

Seleccione al menos una respuesta.

a. Los AF son mquinas de memoria 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.

b. 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 ledo hasta el momento).

c. Los AF son mquinas de memoria amplia por ser

mquinas abstractas (no reales).
d. En una mquina de estados finitos, la funcin de
transicin almacena los datos de entrada del
Autmata.
Correcto

Puntos para este envo: 1/1.

Question4
Puntos: 1

La expresin regular que se asocia la siguiente autmata es:

Seleccione una respuesta.

a. r = (1)* + (0) + lambda
b. r = (10) * + 1*
c. r = (1 + 0) + 1*

eventos que ocurren (por ejemplo, qu

caracteres se han ledo hasta el momento);
esto quiere decir que son mquinas de
memoria limitada.

d. r = (10 + 0) *

Correcto: Las cadenas que tengan varios unos

consecutivos son rechazadas

Correcto

Puntos para este envo: 1/1.

Question5
Puntos: 1

Una caracterstica que presenta el Autmata Finito siguiente es:

Seleccione una respuesta.

a. Es un Autmata Finito No Determinstico
(AFND)
b. Es un Autmata Finito Determinista (AFD).

c. Es un Autmata Finito que acepta la palabra

vaca
d. Es un Autmata Regular
Correcto

Puntos para este envo: 1/1.

Question6
Puntos: 1

Una cadena vlida para el Autmata siguiente es:

Correcto: Es determinista porque de sus nodos no

se repiten salida pro interacciones con el mismo
smbolo. Se acepta la condicin terico de
determinismo.

Seleccione una respuesta.

a. xxxzxx
b. xzxxxxzxzzx
c.xxxxzxzxzxzx

Correcto: Toda cadena para ese autmata

empezar con x y terminar en una sola x. Se
recorre el autmata con la cadena xxxxzxzxzxzx

d. xzzxzxzx
Correcto

Puntos para este envo: 1/1.

Question7
Puntos: 1

Se disea el siguiente Autmata Finito Deterministico (AFD) para el

lenguaje de palabras del alfabeto {a,b} que no tiene varias a
s seguidas. Esta solucin es defectuosa porque.

Seleccione al menos una respuesta.

a. Tiene dos finales o de aceptacin q1 y

q2
b. Hay palabras como baa, que tiene as
seguidas y sin embargo son aceptadas por el
AFD.

Correcto: El "problema de diseo" de un AFD es

considerar demasiadas posibilidades. El hecho que
tenga dos estados finales o de aceptacin no es
problema y es vlido en el diseo. La palabra "baba"
No es aceptada por el autmata aunque sus elementos
o smbolos si hacen parte del alfabeto que las
compone.

c. Hay palabras como ba, que no tienen as Correcto: El "problema de diseo" de un AFD es
seguidas y sin embargo no son aceptadas por considerar demasiadas posibilidades. El hecho que
tenga dos estados finales o de aceptacin no es
el AFD.

problema y es vlido en el diseo. La palabra "baba"

No es aceptada por el autmata aunque sus elementos
o smbolos si hacen parte del alfabeto que las
compone.

d. Hay palabras como baba que no tienen a

s seguidas y sin embargo son aceptadas por
el AFD pero que no pertenecen al alfabeto
dado.
Correcto

Puntos para este envo: 1/1.

Question8
Puntos: 1

Dado los autmatas M1 y M2 siguientes, cules relaciones entre estas dos mquinas son vlidas.

Seleccione al menos una respuesta.

a. Los Autmatas M 1 y M2 son equivalentes: M1
M2 , por que aceptan exactamente el mismo
lenguaje
b. Los Autmatas M1 y M2 son iguales pero no
equivalentes
c. Los Autmatas M1 y M2 no son equivalentes
porque ambos rechazan el lenguaje b*. La

Correcto: La equivalencia se da por la aceptacin

de lenguajes. Ambos aceptan el lenguaje a * y
aceptan exactamente el mismo lenguaje

equivalencia se da en la aceptacin de lenguajes.

d. Los Autmatas M1 y M2 aceptan ambos el lenguaje Correcto: La equivalencia se da por la aceptacin
a*

de lenguajes. Ambos aceptan el lenguaje a * y

aceptan exactamente el mismo lenguaje

Correcto

Puntos para este envo: 1/1.

Question9
Puntos: 1

Dado el Autmata con la siguiente tabla de transicin, identifique las cadenas

que son vlidas para el lenguaje que acepta

Seleccione una respuesta.

a. Es un AFND y acepta cualquier cadena que inicie
con cero (0)
b. {101, 210, 20,110, 200}
c. Solo acepta cadenas vacas (lambda).

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

Incorrecto

Puntos para este envo: 0/1.

Question10
Puntos: 1

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.

Dado el siguiente Autmata Finito cuyo diagrama de transicin corresponde al de la siguiente figura,
determine cual afirmacin es vlida cuando se analiza la ejecucin del autmata.

Seleccione una respuesta.

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

Correcto

Puntos para este envo: 1/1

Correcto: Se evala la cadena hasta llegar al

estado de aceptacin o final q5. El conjunto de
cadenas que es capaz de aceptar este autmata
es {b,bb.bbb}