hola:
efectivamente, la tira que planteás no tiene forma de ser generada por la gramática propuesta, con lo que esa solución está mal.
respecto a tu pregunta: sí, es válido que la misma variable se repite más de una vez en el lado derecho de la producción. esto es válido tanto para GLC como para GI.
saludos,
d.-