Quiz1

Question1
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 = lambda entonces L (lambda) = { lambda}
b. Si = a y a pertenece entonces L () no pertenece
c. Si * es una ER entonces L (*) no es una ER
d. Si = entonces L () =

Question2
Puntos: 1

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

Seleccione al menos 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. ER = b*
d. El conjunto de cadenas que es capaz de reconocer este autmata es {b,
bb, bbb}

Question3
Puntos: 1

1. El siguiente autmata se puede expresar mediante una ER. Identifique cul es la correcta segn su
anlisis.

Seleccione una respuesta.

a. ER=(1+0)(1+0)*
b. ER=(11+0)0*
c. ER=(0+1)10*
d. ER=11+00*

Question4
Puntos: 1

Sea el vocabulario {0,1} y la expresin regular 0 . 1 + 0* Indique cuales

cadenas que se relacionan a continuacin son vlidas para esa ER
Seleccione una respuesta.
a. {010, 01, 01000, 0100}
b. {00, 11, 0, 1}
c. {010, 01110, 01. 1100, 01010}
d. {1000, 00, 0000, 0110}

Question5
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
Seleccione al menos una respuesta.
a. El autmata ms sencillo que Acepta L(G) es un autmata finito
b. El lenguaje que genera la gramtica es L(G) = a(ba)*
c. La cadena ms sencilla que genera el L(G) es: {aba}

d. El autmata ms sencillo que Acepta L(G) es un autmata de pila (AP)

vlida sera {abab}

Question6
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 si se cambia el sentido de direccin del estado q2 al q4 (sin cambiar el
smbolo):
Seleccione una respuesta.
a. (0(10)*1)(01)*+1
b. 01(01)* + 1(01)*
c. 1(01)*+0(1+0)*1(01)*
d. 1(01)*+(1+0(10)1)*

Question7
Puntos: 1

Dado el siguiente autmata: Cambie los smbolos del alfabeto asociando a = 0 y b =1 . Para las
siguientes opciones,(que estn en base 10 o decimal), convirtalas a base 2 (binario) y recorra
el autmata e identifique cul o cules nmeros acepta el autmata.

Seleccione al menos una respuesta.

a. 182
b. 22
c. 253
d. 73

Question8
Puntos: 1

Dados los siguientes lenguajes del alfabeto = {0,1}: L1= {0n1n, | 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

potencia

Seleccione una respuesta.

a. L1 y L2 son independientes del contexto
b. Solo L2 y L3 son regulares.
c. Ninguno de los lenguajes es regular.
d. Solo L1 es regular.

Question9
Puntos: 1

potencia

n)

1. Acerca de las palabras y alfabetos, que apreciaciones son correctas:

Seleccione al menos una respuesta.
a. El conjunto de cadenas sobre un alfabeto excluyendo la cadena vaca se denota
como +
b. * - lambda = +
c. La palabra que contiene un solo smbolo se representa por el propio smbolo
d. Para que una cadena sea vlida perteneciente a un determinado alfabeto , esta
debe ser en nmero de smbolos superior a 1 es decir >1 o de longitud > 1

Question10
Puntos: 1

Cuando se trata de simplificar Autmatas, se deben tener en cuenta aspectos como: (Identifique cul paso o concepto es vlido
en este proceso de Minimizacin).
Seleccione una respuesta.
a. Dos estados son distinguibles si son compatibles (es decir, si ambos son finales o
ambos son inciales).
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
c. Minimizacin abarca el concepto de reducir lenguajes
d. Dos estados son distinguibles si por ejemplo uno es final y el otro es inicial

Question11
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:
Seleccione una respuesta.
a. La cadena vaca y el conjunto vaco no son lenguajes regulares.
b. La regularidad solo se da en AFD
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}.

Question12
Puntos: 1

Dado los siguientes dos autmatas A y B, analice los enunciados dados e

identifique cuales son verdaderos.

Seleccione una respuesta.

a. El Autmata B tiene un error de diseo. Un AF no puede tener dos estado

b. El Autmata A es un AFND y el Autmata B es un AFD
c. Solo el Autmata A reconoce la cadena vaca lambda
d. Los dos Autmatas reconocen el mismo Lenguaje.

Question13
Puntos: 1

Analice e identifique cules afirmaciones son vlidas con referencia al diseo del siguiente
autmata:

Seleccione al menos una respuesta.

a. Lo puede represetar la gramtica S -- > | aA ........ A -- >bB| bS ........... B -- > aS
b. Es un AFND que acepta el lenguaje (ab U aba)*
c. Es una autmata AFND cuya ER= ab(ab)*(aba)*
d. Es un autmata AFND que tiene como ER= ab+(ab)*(aba)*

Question14

Puntos: 1

1. El siguiente autmata se puede expresar mediante una ER. Identifique cul o cules son las correctas
segn su anlisis.

Seleccione al menos una respuesta.

a. ER= (0+11)0*
b. ER= (11+0)0*
c. ER= 11+00*
d. ER= (0+1)10*

Question15
Puntos: 1

Se disea el siguiente Autmata Finito Deterministico (AFD) para el lenguaje de palabras

del alfabeto {a,b} que apreciaciones en cuanto a diseo y lenguaje son vlidas:

Seleccione al menos una respuesta.

a. ER = a(ab)* + b(ab)*b*

b. El AFD reconoce un lenguaje libre de contexto con palabras o cadenas vlidas c

c. El AFD reconoce un lenguaje Regular y que se puede expresar mediante una ex

d. ER=(ab)*a + ((ab)*bb*)*