Let ? = {0, 1, 2, 3}. A string in ?* is a sequence of integers from?. Design a Moore machine M that determines whether the sum is divisible by 4. Thus the string 12302 and 013 should be accepted and 0111 rejected by M. [Hint: use four states 0mod4, 1mod 4, 2 mod5 and 3mod4 where the states represent the value of the sum of the processed input modulo 4.]