%% 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).