User blog comment:LittlePeng9/ITTM galore/@comment-10429372-20140325195109/@comment-10429372-20140326162906

@LittlePeng, yes, here is the 2-state machine.

0 _ _ r 0 0 1 _ r 0 0 3 _ r 0 0 7 _ r 0 1 _ 1 l 0 1 1 3 l 0 1 3 7 l 0 1 7 _ l 1 L _ _ r 1 L 1 _ r 1 L 3 _ r 1 L 7 _ r halt