Exercise ‹19›:

Deterministic uniquely-accepting PDA for {xcy∣x,y∈{a,b}∗∧∣x∣a=∣y∣b}\{ xcy \mid x,y\in\{a,b\}^* \wedge |x|_{a}=|y|_{b} \}
Write a deterministic uniquely-accepting PDA recognizing the words of the form xcyxcy, where x,yx,y are words over {a,b}\{a,b\} such that the number of occurrences of aa in xx is equal to the number of occurrences of bb in yy.
Authors: Guillem Godoy / Documentation:
To be able to submit you need to log in, register, or become a guest.