You are on page 1of 11

Dpto. de Informtica (ATC, CCIA y LSI). Universidad de Valladolid.

TEORA DE AUTMATAS Y LENGUAJES FORMALES I


Ingeniera Tcnica en Informtica de Sistemas. Curso 2010-11

GRAMTICAS y LENGUAJES INDEPENDIENTES
DEL CONTEXTO
1
1. Convertir la siguiente gramtica en una forma normal de Chomsky:
S aAb | cHB | CH
A dBH | eeC | C |
B ff | D
C gFB | ah
D i
E jF
F dcGGG | cF
G kF
H Hln
Notacin: las letras minsculas representan smbolos terminales, mientras que las
maysculas son smbolos auxiliares. El smbolo inicial es, como viene siendo
habitual, S. (febrero 1996)
2. Dada la gramtica independiente de contexto G:
S Rc
R aRbR


`
)

probar que, las


cadenas w que genera, cumplen simultneamente:
a) w xc x a b = e / ( / )
*

b) x x
a b
= . Esto significa que el nmero de letras a es igual al de letras b en
la subcadena x.
c) todo prefijo y de x verifica que: y y
a b
> . (septiembre 1996)
3. Obtener la Forma Normal de Chomsky (FNC)de la siguiente gramtica:
S aAb | cB | C
A dB | ddC | C |
B ff | bD
C ab
D e |
Comprobar si la cadena x=abcd pertenece o no al lenguaje generado por la
gramtica. En caso afirmativo, encontrar uno de los posibles rboles sintcticos de
derivacin para dicha cadena dentro de su FNC. (febrero 1997)
4. Utilcese el algoritmo CYK para determinar, si las cadenas bba, bab y babba
pertenecen al lenguaje generado por la siguiente gramtica.
Gramticas y Lenguajes Independientes del Contexto. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
2
a C
b CC B
a | BC A
AB S

|

5. Demostrar que si L
1
, y L
2
son lenguajes independientes del contexto, entonces su
unin es otro lenguaje independiente del contexto. Asimismo, probar que
mediante la concatenacin de L
1
y L
2
tambin se obtiene un lenguaje
independiente del contexto. (febrero 1997)
6. A partir del alfabeto } , , { c b a = E se construye el lenguaje } / { t r s c b a L
t s r
+ = = .
Demostrar que L es independiente del contexto. (junio 1997)
7. Dada la gramtica independiente del contexto:
bb b B
aSB S



donde a y b son smbolos terminales. Por su parte B es un auxiliar y S el smbolo
inicial. Obtener el lenguaje L que representa. (junio 1997)
8. Demostrar que el lenguaje L={a
m
b
n
a
m
/ n,m>0} es independiente del contexto
pero no es regular. (septiembre 1997)
9. Es posible obtener una gramtica regular que sea ambigua? Si se puede, dar un
ejemplo. Si no, justifquese la respuesta dada. (febrero 1998)
10. Sea L un lenguaje definido por las siguientes condiciones:
a) beL y eL
b) Si xeL axbeL y bxaeL
c) Si x,yeL xyeL
Se pide:
- Una gramtica que genere a L.
- Demostrar que el lenguaje } / ) / ( {
*
a b
w w b a w L > e =
- Hallar L
2
.
- Demostrar que L no es regular. (junio 1998)
11. Dada la siguiente gramtica:
S AA
A AAA | a | bA |Ab
Gramticas y Lenguajes Independientes del Contexto. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
3
a) Hallar una cadena, lo ms corta posible, que ponga de manifiesto la
ambigedad de la gramtica.
b) Probar que el smbolo A puede derivar en cero o ms pasos en A
2k+1
(k >
0).
c) Demostrar que el smbolo A puede derivar en cero o ms pasos en cadenas
de la forma b
n
ab
m
(n,m> 0).
d) Demostrar que si xe(a|b)
*
y |x|
a
es un nmero par estrictamente positivo
entonces xeL(G).
e) Obtener L(G).
f) Proponer una gramtica regular para L(G) y un RFD que lo acepte.
(septiembre 1998)
12. Dada la gramtica:
S aSc | bSc | donde S es el smbolo inicial y a, b, c son
smbolos terminales.
Se pide:
a) El lenguaje que genera esta gramtica (justificacin).
b) Demostrar que dicho lenguaje no es regular. (enero 1999)
13. Dada la siguiente gramtica, obtener la expresin ms simple posible que
represente al lenguaje generado por dicha gramtica.
S aA | aB | bS
A aB | aA | bC | bD | bE
B bS | bF
C aE | aB
E aD | aC | bF
F aE | aC | aD | bF |
donde S es el smbolo inicial, las letras maysculas son auxiliares y las
minsculas terminales. (febrero 1999)
14. Simplificar la siguiente gramtica y ponerla en la Forma Normal de Chomsky.
S AB | A | CSa| bE
A bAS | | Ab | C
B Ba | a
D Ba | | aF
E Ea
F bD (febrero 1999)
15. Dada la siguiente gramtica:
Gramticas y Lenguajes Independientes del Contexto. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
4
S aRa | bRb
R S | aT | bT
T aT | bT |
a) Verificar la pertenencia de la palabra vaca al lenguaje generado por la
gramtica.
b) Estudiar la ambigedad.
c) Calcular el lenguaje que genera.
d) Demostrar que dicho lenguaje es regular. (junio 1999)
16. Comprobar si el cierre de un lenguaje independiente del contexto, es tambin
independiente del contexto.
17. Estudiar la pertenencia de { }
* *
) / ( / ) / / ( b a w wcw x c b a x L e = e = a los lenguajes
independientes del contexto. En caso afirmativo, obtngase la Forma Normal de
Chomsky de la gramtica que lo genera. (febrero 2000)
18. Calcular el lenguaje que genera la siguiente gramtica.
S aSa | bSb | aSb | bSa | aPb | bPa
P aPa | bPb | c (septiembre 2000)
19. Demostrar que si una gramtica independiente del contexto (GIC) tiene todas sus
reglas de la forma:
AwB Aw;
(donde w es una cadena de uno o ms terminales y, por su parte, A y B son
auxiliares), entonces el lenguaje generado por dicha gramtica es regular.
(febrero 2001)
20. Si dos lenguajes independientes del contexto no son ambiguos, se puede
asegurar, a priori, que su unin da como resultado otro lenguaje no ambiguo? En
caso negativo, pngase una condicin suficiente a los lenguajes de partida para
que esta caracterstica se preserve mediante la unin. (febrero2001)
21. Dado el lenguaje { } N e s > = k j i k j i c b a L
k j i
, , / , demustrese que no es
independiente del contexto. (junio 2001)
Gramticas y Lenguajes Independientes del Contexto. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
5
22. Dados los lenguajes:
{ }
c b a
x x x c b a x c b a L + = e = / ) | | ( ) | (
* * *
1

{ } k j i c b a L
k j i
= + = /
2

Obtngase una gramtica independiente del contexto para cada uno de ellos.
(septiembre 2001)
23. Encuntrese una gramtica independiente del contexto para el siguiente lenguaje.
{ }
c b a
x x x c b a x L = + e = / ) / / (
*
(febrero 2002)
24. Estudiar la pertenencia del lenguaje { }
c b a
w w w c b a w L = = e = / ) | | (
*
al
grupo de los independientes del contexto. (junio 2002)
25. Dada la siguiente gramtica:
| | aSbS aS S
Demustrese que cualquier prefijo de una palabra generada por esta gramtica,
cumple que el nmero de as es mayor o igual al de bs. (septiembre 2002)
26. Obtngase el lenguaje generado por la siguiente gramtica y demustrese que no
es regular.
S A
A B | aAb
B aaBb | (enero 2003)
27. En la gramtica:
S B | C
A
B Aa | Bb | Ca
C Ab | Ba | Fa
D Sa
E a | b
F FE | aF
Obtngase la lista de smbolo intiles, simplifquese y transfrmese a Forma
Normal de Chomsky. (enero 2003)
28. Un palndromo es una cadena que se lee igual de izquierda a derecha, que de
derecha a izquierda. Para un alfabeto arbitrario, clasifquese justificadamente al
lenguaje formado por todos sus palndromos dentro de la Jerarqua de Chomsky.
(febrero 2003)
Gramticas y Lenguajes Independientes del Contexto. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
6
29. Encuntrese una gramtica independiente del contexto para el siguiente lenguaje:
{ }
b a
x x b a x L = e = 2 / ) / (
*
. Recurdese que no basta con dar dicha gramtica,
sino que hay que probar que, efectivamente, el lenguaje aceptado coincide con el
de este enunciado. (febrero 2003)
30. Considrese el lenguaje { } ) ( ) /( k j k i c b a L
k j i
s v s = y clasifquese dentro de la
Jerarqua de Chomsky. Asimismo, obtngase una gramtica que lo genere con no
ms de cinco auxiliares. Conviene recordar en este ltimo punto, que no basta con
dar la gramtica, sino que es necesario demostrar que el lenguaje asociado a dicha
gramtica es exactamente L. (febrero 2004)
31. Constryase una gramtica independiente del contexto para cada uno de estos
lenguajes:
a) { } n m n b a L
m n
> > = , 0 /
1

b) { } 1 /
2
2
> =
+
n b a L
n n

c) { } 3 /
3
3
> =

n b a L
n n

d)
2 1
L L
e)
2 1
L L
f)
3
2
L
g)
*
1
L
h) { } 1 /
4
> = n a ab L
n
(julio 2004)
32. Dado el alfabeto { } d c b a , , , = E , hllese una gramtica regular que genere las
cadenas de
*
E , que no contengan la secuencia abc.Recurdese que la solucin
propuesta no ser admitida sin su correspondiente demostracin. (julio 2004)
33. Estdiese la pertenencia a los lenguajes regulares y a los independientes del
contexto de estos lenguajes:
a) { } 3 /
!
> = n a L
n

b) El complementario de { }
*
) | ( / b a w ww L e = (julio 2004)
34. Clasifquese los siguientes lenguajes en la Jerarqua de Chomsky dentro del tipo
ms restrictivo y justifquese. (febrero 2005)
i) { } 1 /
2
> i b a
i i

ii) { } 1 / ) ( > i ab
i


Gramticas y Lenguajes Independientes del Contexto. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
7
iii) { } 1 /
2
> n a
n

iv) { } 1 , / >
+
m n a b a
m n n n

v) { }
I
w w b a w = e / ) | (
*

vi) { }
+
e ) | ( , / b a x w wxw
I

35. Propngase justificadamente una gramtica independiente del contexto para los
lenguajes que vienen a continuacin.
a) { } n m b a
n m
> /
b) { }
b a
w w b a w | | 2 | | / ) | (
*
= e
c) { } par sea w c b a w | | / ) | | (
*
e (julio 2005)
36. Estdiese la pertenencia a los lenguajes independientes del contexto de:
a) { } i j c b a
j i i
> /
b) { } k j i c b a
k j i
s s / (julio 2005)
37. Prubese que cualquier lenguaje regular se puede generar mediante una gramtica
con reglas de produccin solamente de los siguientes tipos:
)
`

a A
Ba A
donde A y B son auxiliares, y, a es un terminal
cualquiera. (enero 2006)
38. Disese una gramtica independiente del contexto para el lenguaje:
{ } k j j i c b a L
k j i
= v = = ( ) /(
Recuerde que no basta con poner una solucin, sino que hay que demostrar que la
gramtica propuesta genera exactamente el lenguaje L. (enero 2006)
39. Obtngase una gramtica independiente del contexto para el lenguaje compuesto
por palabras formadas por aes y bes, tales que no contengan la subcadena ba.
Recuerde que no basta con poner una solucin, sino que hay que demostrar que la
gramtica propuesta genera exactamente el lenguaje pedido. (febrero 2006)
40. Clasifquese dentro de la Jerarqua de Chomsky el siguiente lenguaje:
{ } ) , max( / k i j a b a L
k j i
= = (febrero 2006)
41. Obtngase una gramtica regular para generar todos los naturales en decimal
mltiplos de tres solamente. (julio 2006)
Gramticas y Lenguajes Independientes del Contexto. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
8
42. Sea el lenguaje } ) 1 | 0 ( / {
*
e = w w w L
I
; donde w representa el complemento a uno
de la tira de bits de w y el superndice
I
, a la cadena reflejada o inversa.
Encudrese a este lenguaje en la categora ms restrictiva dentro de la Jerarqua de
Chomsky. (enero 2007)
43. Dada la G.I.C: b a Sb aS S | | | , verifquese la posibilidad de que cualquier
palabra del lenguaje pueda contener la subcadena ba. Hllese el lenguaje
generado por esta gramtica. (enero 2007)
44. Tmese una gramtica independiente del contexto sin reglas lambda y una cadena
de longitud n obtenida por dicha gramtica en m pasos. Si este proceso de
derivacin se representase mediante un rbol, cuntos nodos tendra en funcin
de las cantidades n y m? (febrero 2007)
45. Clasifquese correctamente dentro de la Jerarqua de Chomsky al siguiente
lenguaje:
{ } N e > > + = + = q p m n q p m n q n p m d c b a L
q p n m
, , , ; , ; /
Y, si fuera posible, calclese una gramtica que lo genere con no ms de cuatro
auxiliares. (febrero 2007)
46. Clasifquese correctamente dentro de la Jerarqua de Chomsky al siguiente
lenguaje:
{ } N e > = m n n m b a L
n m
, ; ; (julio 2007)
47. Se sabe que, por ejemplo, el lenguaje de las cadenas compuestas por aes
solamente, cuya longitud es un nmero primo, no es regular, pero tampoco
independiente del contexto. Lo mismo sucede con el lenguaje constituido por las
palabras de un cuadrado perfecto de aes slo. Qu tienen en comn estos casos
para que por incumplimiento del lema de bombeo de los lenguajes regulares, se
pueda inferir lo mismo con el lema de bombeo de los independientes del
contexto? Justifquese la respuesta. (julio 2007)
48. Clasifquese en la categora ms restrictiva de la Jerarqua de Chomsky al
siguiente lenguaje:
{ }
b a
w w b a w L < e = / ) | (
*

Nota: para la resolucin de este ejercicio solamente se admitir el uso de
resultados obtenidos en esta asignatura, quedando expresamente prohibidos el
empleo de los de T de Autmatas y Lenguajes Formales II. (enero 2008)
49. Verifquese si la interseccin de lenguajes independientes del contexto es una
operacin interna. (enero 2008)
50. Utilizando solamente la Teora de Lenguajes Formales, clasifquese correctamente
dentro de la Jerarqua de Chomsky al siguiente conjunto de cadenas binarias:
Gramticas y Lenguajes Independientes del Contexto. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
9
{ } ) 1 ( ); 0 ( ); , /( 1 0 j i x j i x j i x L
j i
< = > = N e = (febrero 2008)
51. Calclese una gramtica lo ms restrictiva posible para el siguiente lenguaje y
justifquese dentro de la Jerarqua de Chomsky.
I = |o
2
b
]
c
k
Si = ] +k ; i, ], k e H| (julio 2008)
52. Sea la gramtica independiente del contexto definida por las siguientes
producciones:
G _
S - CB|CCBC C - AA
A - o|oA|BB|BBA|z - AA|BC|o
B - oBb|b

Obtngase una gramtica simplificada y una Forma Normal de Chomsky que
genere I(0) - {z]. (julio 2008)
53. Comprubese si una gramtica, que tiene reglas regulares por la izquierda:
T A
E a E B A a A aB A e e ; , ; ;
pero tambin regulares por la derecha:
T A
E a E B A a A Ba A e e ; , ; ;
en general, genera un lenguaje tambin regular. (enero 2009)
54. Estdiese la pertenencia a los lenguajes independientes del contexto del siguiente
caso:
{ } k j k i c b a L
k j i
> > = ; / (enero 2009)
55. Estdiese la perteneca a los lenguajes independientes del contexto de los
siguientes lenguajes:
i) I
1
= {o
n
bo
m
bo
n+m
n, m 1]
ii) I
2
= |o
n
c
m
cco
m
n
n, m 1|) (febrero 2009)
56. Calclese el lenguaje generado por esta gramtica y obtngase una Forma Normal
de Chomsky de la misma con el menor nmero de auxiliares.
S - oAb|cEB|CE E - ]F
A - JBE|ccC F - Jc000|cF
B - |
C - gFB|ob
- i
0 - kF
E - Elm


Nota: como viene siendo habitual, las letras maysculas son auxiliares y las
minsculas, terminales. (febrero 2009)

Gramticas y Lenguajes Independientes del Contexto. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
10
57. Obtngase, si es posible, una gramtica independiente del contexto para el
lenguaje II
I
, donde:
L = {a
n
b
n+m
c
m
n, meH]
Inspirado en esta idea surge la operacin sobre cadenas p(w) = ww
I
, que
extendido a las palabras de un lenguaje dara como resultado p(I) = {ww
I

weL]. Si I fuera independiente del contexto, lo sera tambin p(I), en general?


(Julio 2009)
58. Sea la gramtica independiente del contexto definida por las siguientes
producciones:
G: _
S - AAob|BC|A B - oBb|BC
A - bSb|SB|z C - AS|z

Obtngase una gramtica simplificada y una Forma Normal de Chomsky que
genere I(0) - {z]. (Julio 2009)
59. Considrese el lenguaje: I = {o
n
bxbo
n
|x|
u
= neH; xe(o|b)
-
]. Estdiese su
pertenencia a los de tipo 3 2 dentro de la Jerarqua de Chomsky. (Julio 2009)
60. Clasifquese dentro de la Jerarqua de Chomsky a cada uno de estos lenguajes:
I
1
= {w e (o|b)
-
|w|
u
= Sn; n e H]
I
2
= |o

b
]
c
k
i = ] v ] = k| (enero 2010)
61. Constryase justificadamente el autmata finito no determinista asociado a una
gramtica regular por la izquierda, esto es, aquella cuyas reglas son de la forma:
]
A - Bo
A - o
A, BeE
A
oeE
1
(febrero 2010)
62. Clasifquese dentro de la Jerarqua de Chomsky al siguiente lenguaje:
I = |o

c
]
b
k
i = k; i, ], k e H| (febrero 2010)
63. Obtngase una gramtica regular por la izquierda y otra por la derecha lo ms
simple posible para la siguiente expresin regular: ob
-
c(ob
-
c)
-
(julio 2010)
64. Dada la gramtica 0 definida por las siguientes reglas, se pide obtener una
equivalente simplificada y en Forma Normal de Chomsky que genere I(0) -{z].
0: _
S - ASC|AA|CoC C - bC|b
A - oAo|z - BBB|
B - oBb|CB|b
(julio 2010)

Gramticas y Lenguajes Independientes del Contexto. 3 I.T. Informtica de Sistemas. Universidad de Valladolid.
11
65. Estdiese la perteneca a los lenguajes independientes del contexto de los
siguientes conjuntos:
a) I = {xy x, y Jc longituJ impor con un u cn cl ccntro] L (u|1)
-

b) I = |o

b
]
c
n
J
m
(i = m) v (i = n A ] = m)| (julio 2010)

You might also like