%% TM halts when it is presented with a 
%% string of the form anbnan
%%
start_state(1).
delta(1,2,a,*,r).
delta(1,h,#,#,r).
delta(2,2,a,a,r).
delta(2,3,b,b,r).
delta(3,3,b,b,r).
delta(3,4,a,a,l).
delta(4,5,b,a,r).
delta(5,5,a,a,r).
delta(5,6,#,#,l).
delta(6,7,a,#,l).
delta(7,8,a,#,l).
delta(8,8,a,a,l).
delta(8,8,b,b,l).
delta(8,1,*,*,r).