i would like some help for the computation theory.
This is a PDA that accepts the set of language {0^n 1^a 2^b | n = a+b}, how can I convert it into context free gram