Hola ,
El ej 1 de febrero 2012. en la solución demuestran que no es libre de contexto pero yo encontré la siguiente gramatica libre de contexto que lo genera:
S->aSd | QR
Q->aQb | ab
R->cRd | ccdd
L1={a^(p+q) b^q c^r d^(p+q) / 0<q<r}
No encuentro el error en la gramática que armé pero tampoco encuentro error en la demostración del pumping lema que propone la solución.
Gracias,
Andrea.