Decisions (cont.)
DFF - most common type, always available in programmable logic
JKFF - sometimes available, will usually result in less combinational logic (more complex FF means less combinational logic external to FF)
Lets use two FFs with state encoding S0=00, S1=01, S2=10.