Fundamentos de los Lenguajes Informticos a

Grado en Ingenier Informtica a a

Hoja de ejercicios 6 Curso 2011/2012

Ejercicios sobre propiedades de los LIC

Ejercicio 1 Sean los lenguajes L1 = {an b2n cm | n, m 0} y L2 = {an bm c2m | n, m 0}. Demuestra que L1 y L2 son independientes del contexto. Es L1 L2 un lenguaje independiente del contexto? Ejercicio 2 Demuestra que el lenguaje LR = {wR | w L} es independiente del contexto si L lo es. Ejercicio 3 Existe algn lenguaje independiente del contexto que no sea regular? Si la resu puesta es armativa, pon un ejemplo; en caso contrario, demustralo. Y que no sea regular, e pero su complementario s lo sea? Ejercicio 4 Demuestra que los siguientes lenguajes no son independientes del contexto, aplicando el lema de bombeo (o iteracin). o 1. {ai bi cj | i j 2i} 2. {ai | i es primo} 3. {www | w {a, b} } 4. {x {a, b, c} | |x|a = |x|b = |x|c } 5. {ai bj | j = i2 } 6. {ai bj ak | j = max(i, k)} 7. {ai bj ck | i < j < k} 8. {an bn ci | i n} 9. {0i 1j | j = i2 } 10. {an bm ck | n m k 0} Ejercicio 5 Estudia si los siguientes lenguajes son independientes del contexto, justicando adecuadamente la respuesta en cada caso. 1. {ww | w {a, b} } 2. {w {a, b, c} | |w|a = |w|b y |w|b > |w|c } 3. {ai bj ck | i, j, k 1, j > i + k} 4. {ai bj cj | 0 i j} 5. {ai bj ck | i j o i k} 6. {an b2n an | n N} 7. {xyx | x, y {a, b} , |x| 1} Ejercicio 6 Transforma cada una de las siguientes gramticas independientes del contexto a a forma normal de Chomsky (FNC). 1. S A B C D aAB BAb | | B a | b | CD ba DD 2. S ASB | A aAS | a B SbS | A | bb 3. S AAA | B A aA | B B

Ejercicio 7 Dada la siguiente gramtica G, a S AB A BB | a B AB | b determina aplicando el algoritmo CYK si las cadenas aabbb, aabba, abbbb L(G).