k. A Mealy system, the output of which is 1 iff the input has contained an even number of 0’s (including no 0’s) and a multiple of four 1’s (including no 1’s). When first turned on, the system is initialized to a state indicating no 0’s and no 1’s (but that state is reached again later). (8 states)