This site uses cookies only for the purpose of identifying user sessions.
This is required to properly register actions.

##
Exercise
_{‹}21:

Deterministic uniquely-accepting PDA for $\{ xcy \mid x,y\in\{a,b\}^* \wedge |x|_{aba}=|y|_{bab} \}$

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 $aba$ in $x$ is equal to the number of occurrences of $bab$ in
$y$.

Authors: Guillem Godoy
/

Documentation: