Exercise 24:

Minimum DFA for {w{0,1}value2(w)4˙}\{ w \in \{0,1\}^* \mid \mathtt{value}_2(w)\notin\dot{4} \}
Describe the minimum DFA that recognizes the words over {0,1}\{0,1\} such that interpreted in binary represent a natural number which is not multiple of 44 (in particular, the empty word represents 00, which is multiple of 44).
Authors: Guillem Godoy / Documentation:
To be able to submit you need to either log in, register, or become a guest.