(20 points) Construct a pushdown automaton for the following language: [a b ck | i, j, k20, i + k = j}