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 substitution defined by $\sigma(a)=\{aa\}^*$ and $\sigma(b)=\{a,aba,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 substitution
$\sigma$ defined by $\sigma(a)=\{aa\}^*$ and $\sigma(b)=\{a,aba,bab\}$.
Authors: Guillem Godoy
/
Documentation: