Вы должны обрабатывать a в обычном порядке, то есть, чтобы каждый читал с ленты, которую вы укладываете в A, пока вы не закончите чтение a, если вы прочитаете ab, оставьте вершину стека такой, какая она есть, и, наконец, вы должен обработать все C. Функция перехода:
(q0, a, Z) = (q0, AZ)
(q0, a, A) = (q0, AA)
(q0, b, A) = (q1, A)
(q1, c, A) = (q1, epsilon) (until the amount of a's are equal to the amount of c's)
(q1, c, Z)= (q2, Z) (read the first extra c)
(q2, c, Z)= (q3, Z) (read the second extra c)
(q3, epsilon, Z)= (qf, Z) (qf is the final state)
Графическое представление КПК:
