Give a CFG and (natural) PDA for the langauge { aⁱ b^j c^k : j=i+k, i,j,k0}