State encoding lab

Compare binary, one-hot, and Gray encodings for the same FSM: flip-flop count, code table, and how many bits flip on each arc (Hamming distance — multi-bit flips risk decode glitches). Starter: 4 states in binary.