Febrero 2015, ejercicio2, parte B

Febrero 2015, ejercicio2, parte B

de Juan Rafael Saavedra Sanguinetti -
Número de respuestas: 0
Hola,

considerando la gramatica final planteada en la resolucion del ejercicio,
puedo derivar la siguiente tira:
s->aBc->aaWcc->aabccc

no pertenece al lenguaje porque |a| + |b| = |c| no cumple r < p + q


Saludos