Opis zdefiniowanego gramatycznie języka bezkontekstowego

Muszę opisać zdefiniowany gramatycznie język G(N,T,P,S) :

N={S, C}
T={a, b, c}
a zbiór produkcji (P) jest następujący: S → S a S b S | S b S a S | C S | S C | ε
C → c C | ε

Co robi ten język ?

Nie do końca rozumiem pytanie. Język jak język, generuje zbiór pewnych ciągów nieterminali.
Twój tak na oko generuje dowolne ciągi zawierające a,b oraz c ;]

Chodzi mi właśnie o to co dokładnie robi ;)

Ok, to są dowolne ciągi a,b,c ale występuje tu warunek szczególny - liczba wystąpień terminali 'a' oraz 'b' musi być równa. Bo każda produkcja dodająca nam 'a' powoduje automatycznie dodanie 'b' i tego nie przeskoczymy. Oznacza to też że nasze ciągi nigdy nie zaczną się od 'b' (mogą tylko od 'a' lub 'c') ani też nigdy nie skończą się na 'a' (mogą tylko na 'b' lub 'c')