Total Group finite state machine perception

Finite Automata build summary (for reference only, I only superficial sentiment)
initial state: the use of registers are initialized to 0 if the initial state is already required like 0, if the initial state requires additional data, we need the most immediate start refresh register values to establish a status first
latch answer: a signal need not have been determined will be stored and then changed answer register enable end set to zero, can be expected by using the output characteristic is determined to construct a once for zero signal.
State Encoding: binary encoding with ordinary one-hot encoding can be a reasonable choice