Deterministic uniquely-accepting PDA for {xcy∣x,y∈{a,b}∗∧∣x∣a=∣y∣b}
Write a deterministic uniquely-accepting PDA recognizing the words of the
form xcy, where x,y are words over {a,b} such that the number of
occurrences of a in x is equal to the number of occurrences of b in y.