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