User blog:Googleaarex/f w+2(n) machine

This is \(f_{w+2}(n)\) machine, so here you go: 0 _ * r s0 0 1 _ r s1 s1 1 * r s1 s1 _ * r s2 s2 _ 1 l s3 s2 1 * r s2 s3 1 * l s3 s3 _ * l s4 s4 1 * l s4 s4 _ 1 r 0 s0 _ * r 5 s0 1 _ r 1 1 1 * r 1 1 _ * r 2 2 _ 1 l 3 2 1 * r 2 3 1 * l 3 3 _ * l 4 4 1 * l 4 4 _ 1 r s0 5 _ * r halt 5 1 _ r 6 6 1 * r 6 6 _ * r 7 7 _ * r 8 8 _ 1 l 9 8 1 * r 8 9 _ * l 10 9 1 * l 9 10 _ * l 11 11 _ 1 r 12 11 1 * l 11 12 1 _ r 6 12 _ * l 20 13 _ * l 18 13 1 _ r 14 14 1 * r 14 14 _ * r 15 15 _ 1 l 16 15 1 1 r 15 16 _ * l 17 16 1 * l 16 17 1 * l 17 17 _ 1 r 13 18 1 * l 18 18 _ * l 19 19 _ * l 20 19 1 * l 18 20 _ * l 20 20 1 _ l 21 21 _ * r 27 21 1 * r 22 22 _ * r 22 22 1 * r 23 23 1 * r 23 23 _ * r 24 24 1 * r 23 24 _ * l 25 25 _ * l 26 26 1 * l 26 26 _ * r 13 27 _ * r 27 27 1 * l 28 28 _ 2 r 29 29 1 * r 29 29 _ * r 30 30 _ * l 31 30 1 * r 29 31 _ * l 32 32 _ * r 33 32 1 * l 32 32 2 1 l 58 33 _ * l 39 33 1 _ r 34 34 1 * r 34 34 _ * r 35 35 1 * r 35 35 _ 1 r 36 36 _ 1 l 37 37 1 * l 37 37 _ * l 38 38 1 * l 38 38 _ * r 33 39 _ * l 39 39 1 _ l 40 40 _ * r 43 40 1 * r 41 40 2 _ l 58 41 _ * r 41 41 1 * l 42 42 _ * r 33 43 _ * r 43 43 1 * r 44 44 1 * r 44 44 _ * r 45 45 1 * r 44 45 _ * l 46 46 _ * l 47 47 1 * l 47 47 _ * r 48 48 _ * l 53 48 1 _ r 49 49 1 * r 49 49 _ * r 50 50 1 * r 50 50 _ 1 l 51 51 1 * l 51 51 _ * l 52 52 1 * l 52 52 _ 1 r 48 53 1 * l 53 53 _ * l 54 54 _ * l 55 54 1 * l 53 55 _ * l 55 55 1 _ l 56 56 _ * r 43 56 1 * r 57 57 _ * r 57 57 1 * r 29 58 _ * l 58 58 1 _ l 59 59 _ * l f1 59 1 * r 60 60 _ * r 60 60 1 * l 61 61 _ * r 5 f1 _ * l f1 f1 1 _ l f2 f2 _ * l halt f2 1 * r f3 f3 _ * r f3 f3 1 * l f4 f4 _ * r s5
 * Start State List
 * f_w+1(n) turing machine
 * Final State List