User blog comment:LittlePeng9/Random Turing machines/@comment-10429372-20140808191119/@comment-10429372-20140809070933

No, I now see I was mistaken. Beacause in state 4 we need to something else with the closing bracket. But this time, I saw that we can combine 5+25 and 14+20 instead of 5+14.

0 ( ( r 0 0 _ _ r 1 1 ( ( r 1 1 ) ) r 1 1 _ _ l 2 2 _ _ l 2 2 ) _ l 2 2 ( _ r 5

3 _ _ r 3 3 ( ( r 4 3 ) _ r halt 4 ( ( r 4 4 ) ) r 4 4 _ _ r 2

5 _ ) r 6 5 ) ) l 5 5 l 24 6 ( ( r 6 6 ) ) r 6 6 _ _ r 7 7 ) ) r 7 7 _ ) l 8 8 ) ) l 8 8 _ _ l 9 9 ( ( l 9 9 ) ) l 9 9 _ _ l 10 10 ) _ r 5 10 ( _ r 11 10 _ ( r 3 11 _ ( r 12 12 ( ( r 12 12 ) ) r 12 12 _ _ r 13 13 ) ) r 13 13 _ _ l 20 15 ) ) l 8 15 _ _ l 16

16 ( ( l 16 16 ) ) l 16 16 _ _ l 17 17 ( ( l 17 17 ) ) l 17 17 _ _ l 18 18 ( ( l 18 18 ) ( r 19 18 _ ( r 19 19 r 20 19 _ _ r 22 20 ( ( r 20 20 ) _ l 15 20 _ _ r 21 21 ( ( r 21 21 ) ) r 21 21 _ _ r c0

c0 ( _ l c3 c0 ) _ l c6 c0 _ ( r c3 (1 ( ( r (1 (1 ) ) r (1 (1 _ _ r (2 (2 ( ( r (2 (2 ) ) r (2 (2 _ ( l c1 )1 ( ( r )1 )1 ) ) r )1 )1 _ _ r )2 )2 ( ( r )2 )2 ) ) r )2 )2 _ ) l c1 c1 ) ) l c1 c1 ( ( l c1 c1 _ _ l c2 c2 ( ( l c2 c2 ) ) l c2 c2 _ _ r c0 c3 ( ( r c3 c3 ) ) l c4 c3 _ ( r c4 c4 r c5 c4 _ _ r (1 c4 ) _ l 5 c5 ) ) r c5 c5 ( ( l c6 c5 _ _ l 14 c6 ) ( r c3 c6 _ ) r 14 14 _ _ r )1 14 ) _ l 16

22 ) ) r 22 22 ( ( r 22 22 _ _ r 23 23 ) ) r 23 23 ( ( r 23 23 _ _ l c4 24 ) ( l 5 24 ( ( l 24 24 _ ( r 1

I also expanded the *s beacause they are annoying and cause mistakes, and I changed state 26 to state 24 since I removed state 24 and 25.