Pda For A-ib-jc-k Where J I K !!link!!

When no more (a)’s, non-deterministically switch to (q_1) (read (c)’s) or (q_2) (read (b)’s if (i=0, k=0)).

For every 'c' read, pop one 'B' from the stack. pda for a-ib-jc-k where j i k

For every 'a' read, push a symbol (e.g., 'A') onto the stack. When no more (a)’s, non-deterministically switch to (q_1)