This site uses cookies only for the purpose of identifying user sessions.
This is required to properly register actions.
Regular description for $\{ w \in \{0,1\}^* \mid \mathtt{value}_2(w)\in\dot{60}\}$
Give a regular description for the set of words $w$ over $\{0,1\}$
such that the natural value obtained by interpreting
$w$ as a binary number, that is $\mathtt{value}_2(w)$, is multiple of $60$
(in particular, the empty word represents $0$, which is multiple of $60$).
Authors: Guillem Godoy
/
Documentation: