This site uses cookies only for the purpose of identifying user sessions.
This is required to properly register actions.
Regular description for $\sigma(L)$ where $L=\{ w \in \{a,b\}^* \mid \exists x,y: (w=xay\;\wedge\;|y|=2) \}$
and $\sigma$ is the morphism defined by $\sigma(a)=aba$ and $\sigma(b)=bab$
Give a regular description for the image of the set of words over $\{a,b\}$,
with an $a$ in the third position starting from the end, through the morphism
$\sigma$ defined by $\sigma(a)=aba$ and $\sigma(b)=bab$
Authors: Guillem Godoy
/
Documentation: