User:Jacobzheng: Difference between revisions
Jump to navigation
Jump to search
Jacobzheng (talk | contribs) No edit summary |
Jacobzheng (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
A 14x2 halt TM: | A 14x2 halt TM: | ||
< | <code> | ||
0 _ 1 r 1 | 0 _ 1 r 1 | ||
0 1 1 r 13 | 0 1 1 r 13 | ||
| Line 29: | Line 29: | ||
13 _ _ r 0 | 13 _ _ r 0 | ||
13 1 1 l 10 | 13 1 1 l 10 | ||
</ | </code> | ||
It halts at step | It halts at step | ||
<math> > Ack(10 \uparrow\uparrow 5) </math> | <math> > Ack(10 \uparrow\uparrow 5) </math> | ||
Revision as of 08:58, 13 August 2024
A 14x2 halt TM:
0 _ 1 r 1
0 1 1 r 13
1 _ 1 r 2
1 1 _ l 6
2 _ 1 l 3
2 1 1 r 1
3 _ 1 l 5
3 1 1 l 4
4 _ 1 r 7
4 1 1 l 5
5 _ 1 r 6
5 1 _ l 3
6 _ 1 l 1
6 1 _ r 5
7 _ 1 r 8
7 1 1 r 7
8 _ 1 r halt
8 1 _ r 9
9 _ 1 r 8
9 1 1 l 10
10 _ _ l 10
10 1 1 l 11
11 _ 1 l 12
11 1 1 r 13
12 _ 1 r 7
12 1 _ l 11
13 _ _ r 0
13 1 1 l 10
It halts at step
