[ \beginaligned &\delta(q_0, a, Z_0) = (q_0, XZ_0) \ &\delta(q_0, a, X) = (q_0, XX) \ &\delta(q_0, \varepsilon, X) = (q_1, X) \ &\delta(q_0, \varepsilon, Z_0) = (q_1, Z_0) \ \ &\delta(q_1, c, Z_0) = (q_1, XZ_0) \ &\delta(q_1, c, X) = (q_1, XX) \ &\delta(q_1, \varepsilon, X) = (q_2, X) \ &\delta(q_1, \varepsilon, Z_0) = (q_2, Z_0) \ \ &\delta(q_2, b, X) = (q_2, \varepsilon) \ &\delta(q_2, \varepsilon, Z_0) = (q_3, Z_0) \endaligned ]
Let ( \textPDA = (Q, \Sigma, \Gamma, \delta, q_0, Z_0, F) )