pARA ESTA GRAMATICA:
Sea L1 = { a^P b^ q c^r / (p+r) mod 2 = q mod 3 , q>=1}
La solucion la plantearon :
S → bB | aA
B → bB1 | cC1
B1 → bB2 | bbB
B2 → bB | cC2
C1 → cc | ccC1
C2 → c | ccC2
A → bA1
A1 → bA2 | cC2
A2 → bA3
A3 → cC1
Pero de este modo por ejemplo la tira aaab que es una tira del lenguaje(ya que aaa es 1 mod 2 y b 1 mod 3 ) y en el autómata que pusieron en la solucion también puede crearse pero con las reglas me parece que no se puede crear, o me esta faltando ver algo que no me doy cuenta .Saludos.