Exercise 7:

Regular description for {w{0,1}value2(w)20˙}\{ w \in \{0,1\}^* \mid \mathtt{value}_2(w)\in\dot{20}\}
Give a regular description for the set of words ww over {0,1}\{0,1\} such that the natural value obtained by interpreting ww as a binary number, that is value2(w)\mathtt{value}_2(w), is multiple of 2020 (in particular, the empty word represents 00, which is multiple of 2020).
Authors: Guillem Godoy / Documentation:
To be able to submit you need to either log in, register, or become a guest.