This site uses cookies only for the purpose of identifying user sessions.
This is required to properly register actions.
Context-free description for $\{ w \in \{0,1\}^* \mid w=w^R\;\wedge\;\mathtt{value}_2(w)\in\dot{5} \}$
Give a context-free description for the set of words over $\{0,1\}$ whose reverse are themselves
and represent a multiple of $5$ as binary numbers (in particular, the empty word represents $0$, which is multiple of $5$).
Authors: Guillem Godoy
/
Documentation: