25/9/2014

campus13 2014-2

AUTOMATAS Y LENGUAJES FORMALES

Perfil

Salir

Quiz1
1
Puntos: 1

Cules afirmaciones son vlidas y que surgen de un anlisis de las ER (Expresiones Regulares):
Analice los autmatas dados:

Seleccione al menos
una respuesta.

a. La ER (0+1)*01 genera cadenas vlidas para el autmata A, pero no para las del autmata B.
b. La ER (0+1)*01 genera las mismas cadenas para el Autmata B y del autmata A
c. La ER (0+1)*11(01)* genera cadenas vlidas para el autmata B pero no para las del autmata A.
d. La ER (1*00*1(00*1)*1)*1*00*1(00*1)* genera las mismas cadenas para el Autmata A el autmata B.

2
Puntos: 1

Se pueden generar palndromos (cadenas ) sobre el alfabeto = {0,1}. Evidentemente este lenguaje tiene infinitas cadenas
Seleccione la afirmacin vlida con referencia al anterior postulado.
Seleccione una
respuesta.

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

b. Los palndromos son una excepcin de los lenguajes regulares y no hacen parte de la jerarqua de Chomsky
c. Los palndromos solo pueden representarse con AFND.
d. Los palndromos son lenguajes de tipo 3.

Dado los siguientes dos autmatas: determine cul afirmacin es vlida:

Puntos: 1

http://66.165.175.211/campus13_20142/mod/quiz/attempt.php?id=8432

1/6

25/9/2014

campus13 2014-2

Seleccione una
respuesta.

a. Ambos son AFD y reconocen el mismo lenguaje

b. Ambos autmatas reconocen la cadena (0101) por lo tanto reconocen el mismo lenguaje
c. El autmata B es un AFD pero no reconoce el mismo lenguaje que el autmata A
d. El autmata B es un AFND (adems posee dos estados de aceptacin) y su ER es la misma que la del autmata A.

4
Puntos: 1

En la teora de lenguajes se presentan operaciones que aplican tambin al tratado de conjuntos. Estas operaciones se generalizan a
nivel de conjuntos como por ejemplo:
(x U y) = (y U x)
corresponde a la propiedad:
Seleccione una
respuesta.

a. Asociativa
b. Distributiva
c. Conmutativa
d. Elemento Neutro

Para el siguiente autmata, identifique cules propiedades son vlidas:

Puntos: 1

Seleccione al menos
una respuesta.

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

b. Es un AFND
c. Es un AFD
d. La ER que lo representa es (ab + aba)*

6
Analice e identifique cul afirmacin es vlida con referencia al diseo del siguiente autmata:

http://66.165.175.211/campus13_20142/mod/quiz/attempt.php?id=8432

2/6

25/9/2014

campus13 2014-2

Puntos: 1

Seleccione una

a. Es un autmata AFND que acepta el lenguaje (ab)* U (aba)* U a*b*

respuesta.

b. Es un AFND que acepta el lenguaje (ab U aba)*

c. Es un autmata finito determinista (AFD) que acepta la cadena {ababaab}
d. Es una autmata AFN que acepta cadenas vacas

Sea el alfabeto

= {a,b} con la Expresin Regular: a(a+b), identifique las cadenas vlidas que se pueden generar:

Puntos: 1

Seleccione una
respuesta.

a. {aaaba, ba}
b. {a, b}
c. {abab, baba}
d. {aba, bb,}

8
Puntos: 1

Apoyado en las caractersticas funcionales y de diseo de los AFD y de os AFND; identifique las apreciaciones vlidas de su
comportamiento:
Seleccione al menos

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

una respuesta.

caracterstica del no determinismo.

b. Los AFD y los AFND tienen la misma capacidad de operacin y poder computacional.
c. Los AFND y los AFD pueden resolver los mismos problemas
d. Si se tiene un AFD seguramente tendr un nmero inferior de reglas que facilitan su diseo.

Para identificar el lenguaje que reconoce un AF, cules de los siguientes elementos o insumos es necesarios para poder caracterizar dicho

Puntos: 1

lenguaje.
Seleccione al menos
una respuesta.

a. Conociendo el diagrama de Moore.

b. Conociendo su expresin regular (ER)
c. Con un rbol de derivacin
d. Conociendo la matriz de estados equivalentes y distinguibles

10
Puntos: 1

Sea el autmata A = (, Q, f, q1, F) donde:

={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la funcin f vienen dada por la siguiente tabla:

http://66.165.175.211/campus13_20142/mod/quiz/attempt.php?id=8432

3/6

25/9/2014

campus13 2014-2

Determine qu aspectos son vlidos para el autmata

Seleccione al menos
una respuesta.

a. Es un Autmata Finito Determinstico con lambda transiciones

b. El lenguaje reconocido por el autmata es: a (b*b | a*b) a*
c. El lenguaje reconocido por el autmata es: a (b* | a* ) ba*
d. Es un Autmata Finito Determinstico (AFD)

11

Para el siguiente autmata determine cual afirmacin es vlida cando se trata de evaluar que cadenas acepta el autmata.

Puntos: 1

Seleccione una
respuesta.

a. Para que una cadena contenga al menos 5 ceros, debe llegar al estado q4
b. Si una cadena tiene menos de 5 unos, entonces tiene un nmero par de unos.
c. Si una cadena tiene 5 unos o ms, entonces contiene un nmero par de unos
d. Todas las cadenas que tengan igual nmero de unos y de ceros son aceptadas.

12
Puntos: 1

Dado el siguiente autmata: Cambie los smbolos del alfabeto asociando a = 0 y b =1 (binario). Para las siguientes opciones o
salidas, cules cadenas son vlidas.

Seleccione al menos

a. 506

http://66.165.175.211/campus13_20142/mod/quiz/attempt.php?id=8432

4/6

25/9/2014

campus13 2014-2
una respuesta.
b. 110010
c. 01001100
d. 63

13
Puntos: 1

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

a. {01,10,101,010}
b. {010010, 101101,1}
c. {0,1}
d. {11, 0110, 00,11,1011}

14

Dado el siguiente autmata, analice si es posible su minimizacin y seleccione las opciones vlidas para su comportamiento:

Puntos: 1

Tiempo restante

0:10:19

Seleccione al menos

a. Los estados q2 y q3 son candidatos a ser eliminados ya que son distinguibles y al eliminar uno u otro o altera el

una respuesta.

funcionamiento del autmata

b. La minimizacin tiene como fin eliminar estados equivalentes sin que se altere el lenguaje que reconoce el autmata.
c. Los estados q2 y q3 son equivalentes. Dado que transitan igual para los dos smbolos del alfabeto. Por tanto se pueden
fusionar en no solo
d. Si es posible minimizarlos y el autmata resultante tendr tres estados

15
Puntos: 1

Para el siguiente Autmata,(no es un proceso de minimizacin) analice su comportamiento si se elimina el estado q7 (incluyendo su salida
vaca) y se crean esta iteraccin:

{q3,0,q1}

Campus13_20142 301405A Cuestionarios Quiz1 Intento 1

http://66.165.175.211/campus13_20142/mod/quiz/attempt.php?id=8432

5/6

25/9/2014

campus13 2014-2

Seleccione una
respuesta.

a. La cadena {00} es aceptada por ambos autmatas

b. En el nuevo autmata es probable que acepte una cadena que inicie con cero
c. Al modificar el autmata inicial suprimiendo el estado q7, entonces la cadena vaca ya no es aceptada
d. La cadena 0101 es aceptada solo por un autmata

Guardar sin enviar

Enviar todo y terminar

Usted se ha autentificado como CARLOS ANDRES HERNANDEZ (Salir)

301405A

http://66.165.175.211/campus13_20142/mod/quiz/attempt.php?id=8432

6/6