Design a Moore FSM that will detect the sequence "1001" with overlap (i.e. the bit stream "1001001" will be detected as two instances of the sequence). The output Y should be a '1' when a sequence has been detected. Use D flip-flops for state memory and set the next-state and outputs of unused states to the Reset state and '0', respectively. Show the state transition diagram, state assignment table, state transition table, next-state equations, and output equations. Use K-maps to extract the most simplified equations