Vale, creo que he conseguido solucionarlo! :o
Aunque está un poco chapuza porque hay algunos casos que se repiten y se pueden solucionar por derivaciones distintas y tal, pero bueno, al menos está solucionado.
Si alguien le encuentra alguna pega que lo diga pls.
I -> A' | B' | C' | S'C | AS'' | S'''
(estos serían los casos bases en los que hay dos letras del alfabeto pero falta la otra)
A' -> aA'b | € | A | B
B' -> bB'c | € | B | C
C' -> aC'c | € | A | C
(los casos complejos)
S' -> aS'b | A | B
S'' -> bS''c | B | C
S''' -> aS'''c | B'' | B'''
B'' -> bB'' | bcc
B''' -> B'''b | aab
Y los casos más elementales:
A -> aA | a
B -> bB | b
C -> cC | c
Al final, partiendo de la base de que se pueden repetir el número de dos de las letras se consigue sacar, ya que la restricción es menos fuerte que partiendo de que ningún número de letras puede ser el mismo.
Edit: se podría simplificar y dejarlo en FNC (forma normal de Chomsky) pero paso, no me lo piden xD
