Cuestiones 1 Parcial

Autmtas, Gramticas y Lenguajes Formales
CUESTIONES
1. Sea un autmata finito M={S, , , t, F}. Sean p, q e S; a,b e .
Indique cul de las siguientes afirmaciones es verdadera:

a) Si existe un smbolo a tal que (p, a) = (q, a), M no es determinista.
b) Si existe un estado p tal que (p, a) = (p, b), M no es determinista.
c) Si (t, a) = (p, b), (t, a) = (q, b) y (p, b) = (q, b), M no es
determinista.
CUESTIONES
2
.
Indique cul de las siguientes afirmaciones es falsa:

a) Todo subconjunto de un lenguaje regular es regular.

b) Todo lenguaje regular tiene un subconjunto regular.

c) Para todo lenguaje regular existe un autmata determinista
que lo reconoce.
CUESTIONES
4. Sean o, | y tres expresiones regulares arbitrarias.
Indique cul de las siguientes afirmaciones es falsa:

a) (o | )* = ( o* |* *)*

b) o*(o | )* = (o* |* *o*)*o*

c) Depende de las expresiones concretas de o, | y
CUESTIONES
6)
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: c denota inclusin estricta):

a) L1 c L2
b) L2 c L1
c) L1 = L2
CUESTIONES
7. Indique cul de los siguientes lenguajes no es independiente del
contexto:

a) El conjunto de cadenas de ceros y unos tales que en ninguno de sus
prefijos el nmero de ceros excede al nmero de unos en ms de
dos, ni el nmero de unos excede al nmero de ceros en ms de dos.

b) El conjunto de cadenas de ceros, unos y doses tales que el cero no
es el carcter que ocurre con ms frecuencia en la cadena.

c) El conjunto de cadenas de ceros, unos y doses tales que el nmero
de ceros es mayor que la suma del nmero de unos y doses.
CUESTIONES
9. Sea L1 el lenguaje representado por la expresin regular (a b) (a b) (a a)*
y L2 el lenguaje reconocido por el autmata de la figura. Indique cul de las
siguientes afirmaciones es verdadera (Nota: c denota inclusin estricta):

a) L1 c L2
b) L2 c L1
c) L1 = L2
CUESTIONES
10. Indique cul de las siguientes afirmaciones es verdadera:

a) Los autmatas finitos tienen un nmero finito de estados.

b) Los autmatas finitos slo pueden aceptar lenguajes finitos.

c) Las mquinas de Turing y los autmatas de pila son autmatas finitos.
CUESTIONES
11. Indique cul de los siguientes lenguajes no es regular:

a) L = {w e {0,1}* | cada bloque de 5 smbolos consecutivos contiene al
menos dos ceros}

b) L = {w e {0,1}* | contiene dos ceros separados por un nmero finito de
dgitos que es mltiplo de cuatro}

c) L = { w e {0} * | su longitud es cuadrado perfecto}
CUESTIONES
12. Indique cul de las siguientes afirmaciones es verdadera:

a) Si L es un lenguaje regular, entonces L* = (L*)*

b) {}* = {}

c) Para todo lenguaje L, L* = (L*)*
CUESTIONES
1 . Querernos construir un autmata finito que reconozca expresiones
aritmticas de suma, resta, multiplicacin y divisin de dos nmeros
enteros; por ejemplo, 172x5=. Es correcta la siguiente solucin?

a) Correcta. b) Incorrecta
CUESTIONES
2. Comparar el autmata M y la gramtica G.

a) L(M) = L(G)
b) L(M) c L(G)
c) L(M) L(G)
d) Son falsas las tres anteriores.
S xA
S yB
S zA
A xA
A y
A zB
B x
B yB
CUESTIONES
3 . Decidir si es verdadera o falsa la siguiente afirmacin: En un
autmata no determinista cada arco lleva asociado un factor
perteneciente al intervalo [0,1] que indica la probabilidad de
transicin de un estado a otro.

a) Verdadera. b) Falsa.
CUESTIONES
4. Decidir si la expresin regular (xy*x yy*x) representa el mismo
lenguaje que reconoce el siguiente autmata.

a) Verdadero. b) Falso.
CUESTIONES
5. Decidir si la cadena aabbbbbba pertenece a la estrella de
Kleene
de {a, bb}.
.
CUESTIONES
7. Indicar cual de las siguientes opciones no describe un lenguaje:

a) El conjunto de las palabras definidas en la Real Academia Espaola
b) Los nmeros racionales escritos en notacin decimal
c) El conjunto de los programas sintcticamente vlidos escritos en C

CUESTIONES
17. Decidir si la expresin regular (((x z) o (x * y zy * x)) yy* x) representa el mismo
lenguaje que reconoce el siguiente autmata:

CUESTIONES
18. Dados los autmatas Ml y M2, indicar cul de las siguientes afirmaciones es verdadera:
a) Ml y M2 son equivalentes. M2 es determinista.
b) Ml y M2 son equivalentes. M2 es no determinista.
c) Ml y M2 no son equivalentes. M2 es determinista.
d) Ml y M2 no son equivalentes. M2 es no determinista.
CUESTIONES
19. Comparar el autmata M y la gramtica G.

a) L(M) = L(G)
b) L(M) c L(G)
c) L(M) L(G)
d) Son falsas las tres anteriores.
S xA
S yB
A xC
A yA
B xC
B yB
C
CUESTIONES
20. Decidir si es verdadera o falsa la siguiente afirmacin: Para
autmata finito no determinista existe una gramtica regular
que genera el mismo lenguaje.

CUESTIONES
Decidir si es verdadera o falsa la siguiente afirmacin:

La ecuacin x
i
=Ax
k
+B, utilizada en el Teorema de anlisis de
Kleene tiene como solucin:

x
i
=A*B


CUESTIONES
Si todas las reglas de una gramtica G son del tipo A:= w,
siendo A un smbolo no terminal. Elegir la opcin correcta

a) G es una gramtica regular.
b) G es una gramtica independiente del contexto
c) Las dos anteriores pueden ser ciertas
CUESTIONES
Si todas las reglas de una gramtica G son del tipo A:= w,
siendo A un smbolo no terminal. Elegir la opcin correcta

a) G es una gramtica regular.
b) G es una gramtica independiente del contexto
c) Las dos anteriores pueden ser ciertas
CUESTIONES
Decidir si las dos expresiones regulares siguientes son equivalentes:

r1=(x*y)*
r2=x* (yx* )*y.

a) Equivalentes. b) No equivalentes.
CUESTIONES
Sea el lenguaje denotado por la expresin regular: r=01(01)*+0(10+01)*
De las siguientes afirmaciones elegir la correcta:

a) La palabra 011 pertenece al lenguaje de r
b) La palabra w=01010 pertenece al lenguaje de r
c) La palabra 01001 no pertenece al lenguaje de r

CUESTIONES
Cul o cules de las siguientes afirmaciones es correcta:

a) El teorema del Anlisis de Kleene nos permite expresar el lenguaje aceptado por un
Autmata Finito mediante una gramtica regular.

. b) El teorema del Anlisis de Kleene solo se puede aplicar si el autmata finito es
indeterminista.

c) Segn el Anlisis de Kleene, si en un AFD se verifica que (q,a) = r, entonces x
q
ax
r

d) Son falsas todas las anteriores
.
CUESTIONES
Decir si es verdadera o falsa cada una de las afirmaciones siguientes, justificando
cada respuesta (no vale la respuesta sin justificacin).

1) El complementario de un lenguaje regular es tambin un lenguaje regular.

2) Si una gramtica tiene una regla A:= , siempre existe otra gramtica
equivalente que no tiene esa regla.

3) La concatenacin de dos lenguajes regulares no siempre es un lenguaje
regular.

4) L={ac,ab,b,c,abc,cc} es un subconjunto del lenguaje denotado por la expresin
regular r=(a+ac)bb*+a*(b+c*)

5) Si todas las reglas de una gramtica G son del tipo A:=w con A
N
entonces G
es una gramtica regular.
CUESTIONES

6) La gramtica G, posee las dos reglas siguientes 0A:= 0B1, CA01:= CB1 y por
tanto no es tipo 1 (dependiente del contexto).

7) La concatenacin de lenguajes tiene la propiedad conmutativa.

8) Sea un alfabeto y L un lenguaje sobre , entonces L L2.

9) siendo lenguajes sobre cierto alfabeto

10) Las dos gramticas S::= aSb | ab | y S::= aAb | ab, A::= aAb | son
equivalentes (S es el axioma en ambos casos)

11) La clausura positiva de un lenguaje es siempre un conjunto infinito de
palabras.

12) Si un lenguaje L contiene la palabra vaca , entonces LL
k
, para todo k>0.
3 2 3 1 3 2 1
) ( L L L L L L L =
3 2 1
, L y L L
CUESTIONES

13) Si en un AFND- se tiene (q, )= {p,q), entonces -clausura(q) = {p,q}.

14) Un AFND- acepta la palabra si y solo si el estado inicial es final.

15) La ecuacin utilizada en el Teorema de anlisis de Kleene
tiene como solucin

16) Si en un AFND- un estado q no tiene transiciones , entonces:
-clausura(q) =

17) El sistema de ecuaciones regulares slo puede escribirse para autmatas
finitos sin transiciones .

18) Sea L={la, be, car} un lenguaje sobre el alfabeto latino. Las siguientes
palabras pertenecen a L
-2
: racal, bela, racrac, albe.
B Ax x
k i
+ =
B A x
i
* =
CUESTIONES

19) Un Autmata finito con transiciones y su equivalente sin -transiciones
tienen el mismo conjunto de estados finales.

20) Un Autmata finito con transiciones y su equivalente sin -transiciones
tienen el mismo conjunto de estados.

21) Un AFND- y su equivalente AFD tiene el mismo conjunto de estados.

22) Un AFND y su AFD equivalente tienen el mismo nmero de estados finales.

23) Las reglas BA00:= 01A00, 1A1C:=1AA1C y BC:= 1AC, son todas de una
gramtica dependiente del contexto.

24) Si L1 y L
2
son dos lenguajes sobre cierto alfabeto , se verifica:

2
2
2
1
2
2 1
) ( L L L L =
CUESTIONES

25) Sean xi

las incgnitas de un sistema de ecuaciones que resuelve el
Teorema de Anlisis de Kleene y sea = {a,b}. Entonces, si ocurre que
podemos asegurar que

26) Una maquina de Moore y otra de Mealy decimos que son equivalentes
si acptan las mismas palabras.

27) La diferencia fundamental entre mquinas de Moore y de Mealy es que
en las de Moore la funcin de salida depende de la transicin efectuada
y en las de Mealy no.

| o o = = ) , ( ) , ( b q y q a q
i k i

k i
ax x =

Cuestiones 1 Parcial

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Cuestiones 1 Parcial

Hochgeladen von

Copyright:

Verfügbare Formate

Autmtas, Gramticas y Lenguajes Formales

Das könnte Ihnen auch gefallen