This site uses cookies only for the purpose of identifying user sessions.
This is required to properly register actions.
Context-free description for $\{ a^nbw_1aw_2 \mid w_1,w_2\in\{a,b\}^*\;\wedge\;n=|w_2|\;\wedge\;|w_1w_2|_{aaa}=0\;\wedge\;w_1=w_1^R \}$
Give a context-free description for the set of words of the form $a^nbw_1aw_2$ such that
$w_1,w_2$ are constructed over the alphabet $\{a,b\}$, the size of $w_2$ is $n$,
$w_1w_2$ has no occurrences of $aaa$, and the reverse of $w_1$ is itself.
Authors: Guillem Godoy
/
Documentation: