Autometa theory question


#1

Let G=({S,A1},{a,b,c},P,S), where P consists of S–>0SA12, S–>012, 2A1–>A12, 1A1–>11.show that
L(G)={0^n1^n2^n/n ≥1}


#2