Mealy FSM using T flip flops
The steps from diagram to circuit are:


Create the state transition table


state before (name, encoded)
inputs (external, internal)
flipflop input (T)
flipflop output (Q)
state after (name, encoded)

Fill in states (before, after) regarding your diagram
encode each state in the diagram. E.g. binary or one-hot
Double all lines for each external input
Fill out the Q columns (identical to state after, because Q saves the state)
Use the T-FF transition table to fill out the T columns.


FF transition tables:

D-FF
Q -&gt; Q' | D
-----------------
0    0   |  0
0    1   |  1
1    0   |  0
1    1   |  1

T-FF
Q -&gt; Q' | T
-----------------
0    0   |  0
0    1   |  1
1    0   |  1
1    1   |  0


These tables describe how D or T must be driven to change Q to Q'.

Last step: The equations use all inputs (external and internal) and produce T.