Finite state machines: implementing
	Step 3: Use the flip-flop excitation tables
		to determine D and T
		What value for T do we need to get
			state 0 from state 0?
		What value for T do we need to get
			state 1 from state 0?
		Fill in rest of column with hold (q0+ = q0)
			or toggle (q0+ != q0)
	q1	q0	x	q1+	q0+	z1	z0	D1	T0
	0	0	0	1	0	0	1	1	0
	0	0	1	0	1	0	1	0	1
	0	1	0	0	1	1	1	0	0
	0	1	1	1	0	1	1	1	1
	1	0	0	0	1	1	1	0	1
	1	0	1	0	0	1	1	0	0
	1	1	0	d	d	d	d	d	d
	1	1	1	d	d	d	d	d	d