Multi-tape Turing Machines: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
Merieke (talk | contribs)
added stuff
Merieke (talk | contribs)
added a champion
Line 1: Line 1:


Multi-tape Turing Machines are like normal Turing machines but with more tapes. BB(n,m,o) = the maximum number of steps taken by a n state, m symbol, o tape Turing machine. In addition to going left and right, it can also go up and down.
Multi-tape Turing Machines are like normal Turing machines but with more tapes. BB(n,m,o) = the maximum number of steps taken by a n state, m symbol, o tape Turing machine. In addition to going left and right, it can also go up and down. All of the champions have been hand simulated (which hopefully will change soon) which means that none of them will be optimal at all.


Rules
Rules
Line 11: Line 11:




The Champion for BB(2,2,2) is this. S(2,2,2) > 16. Sigma(2,2,2) > 6 but not from this TM
The Champion for BB(2,2,2) is this. S(2,2,2) > 16. Sigma<math>\Sigma</math>(2,2,2) > 6 but not from this TM


{| class="wikitable"
{| class="wikitable"
Line 31: Line 31:
|-
|-
| B || 1RA || halt
| B || 1RA || halt
|}
The Champion for BB(2,2,3) is this. S(2,2,3) > 24 and <math>\Sigma</math>(2,2,3) > 8
{| class="wikitable"
|+Top
|
|0
|1
|-
|A
|1RDB
|halt
|-
|B
|0LA
|halt
|}
{| class="wikitable"
|+Middle
|
|0
|1
|-
|A
|0RUB
|halt
|-
|B
|0RDA
|halt
|}
{| class="wikitable"
|+Bottom
|
|0
|1
|-
|A
|1LUA
|halt
|-
|B
|1LUB
|1LB
|}
|}

Revision as of 22:03, 28 October 2026

Multi-tape Turing Machines are like normal Turing machines but with more tapes. BB(n,m,o) = the maximum number of steps taken by a n state, m symbol, o tape Turing machine. In addition to going left and right, it can also go up and down. All of the champions have been hand simulated (which hopefully will change soon) which means that none of them will be optimal at all.

Rules

  • Going up or down is not required for each step.
  • The head starts on the lowermost tape.
  • A step can just be going up or down.
  • Each tape needs it own instructions
  • BB(n,m,1) = BB(n,m)


The Champion for BB(2,2,2) is this. S(2,2,2) > 16. SigmaΣ(2,2,2) > 6 but not from this TM

Top
0 1
A 1RB 0LB
B 0LDA 0RDB
Bottom
0 1
A 0LUA 1LUB
B 1RA halt

The Champion for BB(2,2,3) is this. S(2,2,3) > 24 and Σ(2,2,3) > 8

Top
0 1
A 1RDB halt
B 0LA halt
Middle
0 1
A 0RUB halt
B 0RDA halt
Bottom
0 1
A 1LUA halt
B 1LUB 1LB