Design a finite state machine that has an input (w) and an output (z). The machine is a sequence detector that produces (z = 1) when the previous two values of (w) were (00 or 11); otherwise (z = 0). Assume the initial state is unknown, starting with (z = 0).