Suponga:

1. L = {anbmcmdn } U {anbncmdm}, tal que n, m > 0.

a. Escriba una gramtica que reconozca L.
b. Aplique el algoritmo CYK para decir si la cadena abbccd es reconocida por la gramtica
anterior.
c. Aplique el algoritmo CYK para decir si la cadena abd es reconocida por la gramtica
anterior.
2. Explique por qu es que el algoritmo CYK permite reconocer gramticas ambiguas.
3. Es factible escribir un generador de analizadores lxicos que utilice CYK (al igual que existen
analizadores para LALR, por ejemplo) para decir si una cadena es reconocida o no? Si su
respuesta es s diga qu datos requerira para que el analizador funcione y si requerira de un
analizador lxico o no. Si su respuesta es no, diga claramente por qu no se podra.
4. Suponga la siguiente gramtica:
A --> x * A | C
B --> x | = x f | = C
C --> C = B | B
Proponga una hilera de al menos 5 caracteres aceptada por la gramtica anterior y demustrelo
usando CYK