Exercise 2:

Context-free description for {w{0,1}w=wR    value2(w)5˙}\{ 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}\{0,1\} whose reverse are themselves and represent a multiple of 55 as binary numbers (in particular, the empty word represents 00, which is multiple of 55).
Authors: Guillem Godoy / Documentation:
To be able to submit you need to either log in, register, or become a guest.