Terminating Turmite: Difference between revisions
Jump to navigation
Jump to search
Added a TT(2) lower bound. |
→Values: Added champions. |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
A '''Terminating Turmite''' or '''Relative Movement Turing Machine''' is a 1 dimentional [[Turing machine]] which uses relative directions instead of absolute ones. So instead of moving (L)eft or (R)ight, it (P)roceeds forward (for one step in the same direction as last move or (T)urns-around (move one direction in the opposite direction). TT(n,k) is the maximum steps of all halting n-state, k-symbol Terminating Turmites when started on a blank tape. | A '''Terminating Turmite''' or '''Relative Movement Turing Machine''' is a 1 dimentional [[Turing machine]] which uses relative directions instead of absolute ones. So instead of moving (L)eft or (R)ight, it (P)roceeds forward (for one step in the same direction as last move) or (T)urns-around (move one direction in the opposite direction). TT(n,k) is the maximum steps of all halting n-state, k-symbol Terminating Turmites when started on a blank tape. | ||
== History == | == History == | ||
| Line 11: | Line 11: | ||
|- | |- | ||
|TT(2) | |TT(2) | ||
|≥ | |≥ 13 | ||
|<code> | |<code>1TB---_1PA0PB</code> | ||
|- | |||
|TT(3) | |||
|≥ 82 | |||
|<code>1PB0PA_1TA0PC_1PA---</code> | |||
|- | |||
|TT(4) | |||
|≥ 758 | |||
|<code>1TB---_0PD1PB_1PA1TA_0PC0PD</code> | |||
|- | |||
|TT(2,3) | |||
|≥ 223 | |||
|<code>1TB0PA2PA_2PA---1PA</code> | |||
|- | |||
|TT(2,4) | |||
|≥ 1,068 | |||
|<code>1TB3TB2PB---_2TB1PA0PA2TB</code> | |||
|} | |} | ||
Latest revision as of 09:53, 19 December 2025
A Terminating Turmite or Relative Movement Turing Machine is a 1 dimentional Turing machine which uses relative directions instead of absolute ones. So instead of moving (L)eft or (R)ight, it (P)roceeds forward (for one step in the same direction as last move) or (T)urns-around (move one direction in the opposite direction). TT(n,k) is the maximum steps of all halting n-state, k-symbol Terminating Turmites when started on a blank tape.
History
2D Turmites, also called turNing machines, have been historically studied by Chris Langton in 1986 (Langton's ants), Allen Brady in 1988 (TurNing machines) and Greg Turk in 1989 (tur-mites). Until recently, it seems like much less investigation was put into 1D Turmites.
Values
| Domain | Value | Champion |
|---|---|---|
| TT(2) | ≥ 13 | 1TB---_1PA0PB
|
| TT(3) | ≥ 82 | 1PB0PA_1TA0PC_1PA---
|
| TT(4) | ≥ 758 | 1TB---_0PD1PB_1PA1TA_0PC0PD
|
| TT(2,3) | ≥ 223 | 1TB0PA2PA_2PA---1PA
|
| TT(2,4) | ≥ 1,068 | 1TB3TB2PB---_2TB1PA0PA2TB
|
See Also
- Google Sheet recording known values: https://docs.google.com/spreadsheets/d/18EXcLXM4Xb_qpKenV4oRGQQpCd45MJ4uawNWgmVvKTY/edit?gid=0#gid=0