Exercise ‹2›:

Context-free description for {w∈{0,1}∗∣w=wR  ∧  value2(w)∈5N}\{ w \in \{0,1\}^* \mid w=w^R\;\wedge\;\mathtt{value}_2(w)\in 5\mathbb{N} \}
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 log in, register, or become a guest.