Talk:Non-halting Turing machine: Difference between revisions
(Created page with: Are BBS(2,2) = 9 and BBP(2,2) = 9 proven or are these just the current champions?) |
(→1RB0LC_1LA1RD_1RA1LD_0LA0RB: new section) |
||
| Line 1: | Line 1: | ||
==BBS(2,2) and BBP(2,2)== | ==BBS(2,2) and BBP(2,2)== | ||
Are BBS(2,2) = 9 and BBP(2,2) = 9 proven or are these just the current champions? [[User:Polygon|Polygon]] ([[User talk:Polygon|talk]]) 11:45, 17 August 2025 (UTC) | Are BBS(2,2) = 9 and BBP(2,2) = 9 proven or are these just the current champions? [[User:Polygon|Polygon]] ([[User talk:Polygon|talk]]) 11:45, 17 August 2025 (UTC) | ||
== 1RB0LC_1LA1RD_1RA1LD_0LA0RB == | |||
During each bounce, this machine grows 3 symbols on the left and 1 symbol on the right. I simulated the machine and stored the tape every time the head reaches -7-9*k (k >= 0) for the first time. Then I right-aligned the tapes. Here are the first 4 tapes: | |||
^.11.11111 | |||
^.11.111.1.111.1.1.1.1 | |||
^.11.111.1.111.1.111.1.111.1.1.111 | |||
^.11.111.1.111.1.111.1.111.1.111.1.111.11111.1 | |||
Every other column only contains 1. Here are the first 18 tapes after removing every other column: | |||
^1.11 | |||
^1.1..1.... | |||
^1.1..1..1..1...1 | |||
1..1..1..1..1..1.11. | |||
1..1..1..1..1..1.111 | |||
1..1..1..1..1..1.1.. | |||
1..1..1..1..1..1.1.1 | |||
1..1..1..1..111.1.1. | |||
1..1..1..1..111.1.11 | |||
1..1..1..1..111.1... | |||
1..1..1..1..111.1..1 | |||
1..1..1..1..111.111. | |||
1..1..1..1..111.1111 | |||
1..1..1..1..111.11.. | |||
1..1..1..1..111.11.1 | |||
1..1..1..1..111...1. | |||
1..1..1..1..111...11 | |||
1..1..1..1..111..... | |||
The last column has a cycle of 2 (i.e. row i matches with row i+2). The 2nd last column has a cycle of 4. The 3rd last column has a cycle of 8. I looked at more columns and this pattern seems to continue. The right edge appears to be a binary counter, but it counts binary in a weird way. [[User:Int-y1|Int-y1]] ([[User talk:Int-y1|talk]]) | |||
Latest revision as of 05:13, 26 August 2025
BBS(2,2) and BBP(2,2)
Are BBS(2,2) = 9 and BBP(2,2) = 9 proven or are these just the current champions? Polygon (talk) 11:45, 17 August 2025 (UTC)
1RB0LC_1LA1RD_1RA1LD_0LA0RB
During each bounce, this machine grows 3 symbols on the left and 1 symbol on the right. I simulated the machine and stored the tape every time the head reaches -7-9*k (k >= 0) for the first time. Then I right-aligned the tapes. Here are the first 4 tapes:
^.11.11111
^.11.111.1.111.1.1.1.1
^.11.111.1.111.1.111.1.111.1.1.111
^.11.111.1.111.1.111.1.111.1.111.1.111.11111.1
Every other column only contains 1. Here are the first 18 tapes after removing every other column:
^1.11
^1.1..1....
^1.1..1..1..1...1
1..1..1..1..1..1.11.
1..1..1..1..1..1.111
1..1..1..1..1..1.1..
1..1..1..1..1..1.1.1
1..1..1..1..111.1.1.
1..1..1..1..111.1.11
1..1..1..1..111.1...
1..1..1..1..111.1..1
1..1..1..1..111.111.
1..1..1..1..111.1111
1..1..1..1..111.11..
1..1..1..1..111.11.1
1..1..1..1..111...1.
1..1..1..1..111...11
1..1..1..1..111.....
The last column has a cycle of 2 (i.e. row i matches with row i+2). The 2nd last column has a cycle of 4. The 3rd last column has a cycle of 8. I looked at more columns and this pattern seems to continue. The right edge appears to be a binary counter, but it counts binary in a weird way. Int-y1 (talk)