%% file ctm02.txt
%% cTM incrementing decimal numbers

%% move to right end
q0 0/0,R q0
q0 1/1,R q0
q0 2/2,R q0
q0 3/3,R q0
q0 4/4,R q0
q0 5/5,R q0
q0 6/6,R q0
q0 7/7,R q0
q0 8/8,R q0
q0 9/9,R q0
q0 #/#,L q1

%% scan for non-9 to the left
q1 0/1,R q2
q1 1/2,R q2
q1 2/3,R q2
q1 3/4,R q2
q1 4/5,R q2
q1 5/6,R q2
q1 6/7,R q2
q1 7/8,R q2
q1 8/9,R q2
q1 9/0,L q1
q1 #/1,R q2