Consider the finite state machine whose next state function and output function are given by: and (a) Apply the minimization process to the above machine as follows: - Determine P1 and provide a brief reason why states are in the same block of the partiton. - Determine the remaining partitions in the process being clear at each step to give complete information but to not include information that is not needed to make your conclusion for each comparison of states. - Clearly state why you have terminated the process. (b) Let y be a minimal distinguishing string for s4 and s6. Without determining y what is y and how do you know this? (c) Determine a minimal distinguishing string for s2 and s5. Be sure to give reasons for your answer. (d) Determine a minimal distinguishing string for s3 and s6. Be sure to give reasons for your answer. (e) Draw the state diagram for the original machine (with starting state s1 ). Your diagram should have no crossing arrows. (f) Draw the state diagram for the minimized machine. Your diagram should have no crossing arrows