Implement the state machine diagram derived in Problem 6-40 by using a Gray-code state assignment.

Problem 6-40

Find the state machine diagram for a circuit that detects a difference in value in an input signal X at two successive positive clock edges. If X has different values at two successive positive clock edges, then output Z is equal to 1 for the next clock cycle. Otherwise, output Z is 0.