(Word Problem) A finite state machine has one input and one output. The output becomes 1 and remains 1 thereafter when at least two 0s and at least two 1s have occurred as inputs, regard-less of the order of occurrence. Assuming this is to be implemented as a Moore machine, draw a state diagram for the machine. (Hint: You can do this in nine states.)