FANDOM


\(f_{\omega+2}(n)\) machine

This is \(f_{\omega+2}(n)\) machine, so here you go:

; Start State List
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
; f_w+1(n) turing machine
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
; Final State List
f1 _ * l f1
f1 1 _ l f2
f2 _ * l halt
f2 1 * r f3
f3 _ * r f3
f3 1 * l f4
f4 _ * r s5

\(f_{\omega+3}(n)\) machine

; Start State List
0 _ * r s5
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
s5 _ * r s0
s5 1 _ r s6
s6 1 * r s6
s6 _ * r s7
s7 _ 1 l s8
s7 1 * r s7
s8 1 * l s8
s8 _ * l s9
s9 1 * l s9
s9 _ 1 r s5
; f_w+1(n) turing machine
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
; Final State List
f1 _ * l f1
f1 1 _ l f2
f2 _ * l f5
f2 1 * r f3
f3 _ * r f3
f3 1 * l f4
f4 _ * r s10
f5 _ * l f5
f5 1 _ l f6
f6 _ * l halt
f6 1 * r f7
f7 _ * r f7
f7 1 * l f8
f8 _ * r s10

Continue a \(f_{\omega+4}(n)\) machine, \(f_{\omega+5}(n)\) machine, \(f_{\omega+6}(n)\) machine, ...

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.