Design Example: State Minimization
q \ ? 5 10 25 1-partition
q0 q5,D0 q10,D0 q25,R10 I
q5 q10,D0 q15,R0 q30,R15 II
q10 q15,R0 q20,R5 q35,R20 III
q15 q5,D0 q10,D0 q25,R10 I
q20 q5,D0 q10,D0 q25,R10 I
q25 q5,D0 q10,D0 q25,R10 I
q30 q5,D0 q10,D0 q25,R10 I
q35 q5,D0 q10,D0 q25,R10 I