Sync bi-counter: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
(Used Template:Stub) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
''' | {{Stub}} | ||
A '''sync bi-counter''' is an informal class of Turing machines. A typical Turing machine in this class has the following behavior: | |||
* It has two counters on the tape, and the lowest digit of both counters are adjacent. | * It has two counters on the tape, and the lowest digit of both counters are adjacent. | ||
| Line 7: | Line 8: | ||
* [https://bbchallenge.org/1RB0RA_0LC1RA_1RE1LD_1LC0LD_---0RB Skelet #10] ([https://www.sligocki.com/2023/03/14/skelet-10.html Proof of non-halt]) | * [https://bbchallenge.org/1RB0RA_0LC1RA_1RE1LD_1LC0LD_---0RB Skelet #10] ([https://www.sligocki.com/2023/03/14/skelet-10.html Proof of non-halt]) | ||
* | * {{TM|1RB1LA_1LA0RC_1RB0RD_1LE1RD_0LC0LF_---0LA}} | ||
* | * {{TM|1RB0LE_0LC---_1LA0RD_1RC0RC_1LF1LE_0LA1RF}} | ||
== Decider == | == Decider == | ||
| Line 14: | Line 15: | ||
Inductive decider can deal with some more complex situations. | Inductive decider can deal with some more complex situations. | ||
[[Category:Zoology]] | [[Category:Zoology]] | ||
Latest revision as of 22:40, 10 August 2025
A sync bi-counter is an informal class of Turing machines. A typical Turing machine in this class has the following behavior:
- It has two counters on the tape, and the lowest digit of both counters are adjacent.
- In each round, both of the two counters are increased by one, and they count in the same base. Both counters count to the same number after each round (i.e. they are synchronized).
Examples
- Skelet #10 (Proof of non-halt)
1RB1LA_1LA0RC_1RB0RD_1LE1RD_0LC0LF_---0LA(bbch)1RB0LE_0LC---_1LA0RD_1RC0RC_1LF1LE_0LA1RF(bbch)
Decider
For typical cases, we can fold the tape so that two counters overlap as one counter, and then it's usually decidable by CTL.
Inductive decider can deal with some more complex situations.