Shift overflow counter - Revision history

Polygon: /* Examples */ this one also halts

2026-02-21T10:53:30Z

Examples: this one also halts

← Older revision		Revision as of 10:53, 21 February 2026
Line 10:		Line 10:
	== Examples ==		== Examples ==
	* Skelet holdouts: [[Skelet 34]], [[Skelet 33]], [[Skelet 35]], [[Skelet 15]], [[Skelet 26]]		* Skelet holdouts: [[Skelet 34]], [[Skelet 33]], [[Skelet 35]], [[Skelet 15]], [[Skelet 26]]
	* {{TM\|1RB0RF_1LC1RB_0RD0LB_---0LE_1RE0RA_1RD1RE}}

	Halting shift-overflow counters:		Halting shift-overflow counters:
			* {{TM\|1RB0RF_1LC1RB_0RD0LB_---0LE_1RE0RA_1RD1RE\|halt}}
	* {{TM\|1RB1LD_1RC0RB_1LA0LE_1LC0LA_1RZ1RB\|halt}}		* {{TM\|1RB1LD_1RC0RB_1LA0LE_1LC0LA_1RZ1RB\|halt}}
	* {{TM\|1RB1LD_1RC0RB_1LA1LE_1LC0LA_1RZ0RD\|halt}}		* {{TM\|1RB1LD_1RC0RB_1LA1LE_1LC0LA_1RZ0RD\|halt}}

Qwertyasdf: add common abbr

2026-02-19T10:41:17Z

add common abbr

← Older revision		Revision as of 10:41, 19 February 2026
Line 1:		Line 1:
	{{Stub}}		{{Stub}}
	'''Shift overflow counter''' is an informal class of Turing machines. A typical Turing machine in this class has the following behavior:		'''Shift overflow counter''' (SOC) is an informal class of Turing machines. A typical Turing machine in this class has the following behavior:

	* It represents digits as short fixed-length blocks of symbols.		* It represents digits as short fixed-length blocks of symbols.

Polygon: /* Examples */ Added "halt" to bbch-links of the halting examples

2025-08-16T18:39:46Z

Examples: Added "halt" to bbch-links of the halting examples

← Older revision		Revision as of 18:39, 16 August 2025
Line 13:		Line 13:

	Halting shift-overflow counters:		Halting shift-overflow counters:
	* {{TM\|1RB1LD_1RC0RB_1LA0LE_1LC0LA_1RZ1RB}}		* {{TM\|1RB1LD_1RC0RB_1LA0LE_1LC0LA_1RZ1RB\|halt}}
	* {{TM\|1RB1LD_1RC0RB_1LA1LE_1LC0LA_1RZ0RD}}		* {{TM\|1RB1LD_1RC0RB_1LA1LE_1LC0LA_1RZ0RD\|halt}}
	* Current longest running [[BB(2,5)]] TM: {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}}		* Current longest running [[BB(2,5)]] TM: {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ\|halt}}
	* Current seventh longest running [[BB(6)]] TM: {{TM\|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}}		* Current seventh longest running [[BB(6)]] TM: {{TM\|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA\|halt}}

	== Related links ==		== Related links ==

Polygon: These actually halt

2025-08-15T18:27:05Z

These actually halt

← Older revision		Revision as of 18:27, 15 August 2025
Line 10:		Line 10:
	== Examples ==		== Examples ==
	* Skelet holdouts: [[Skelet 34]], [[Skelet 33]], [[Skelet 35]], [[Skelet 15]], [[Skelet 26]]		* Skelet holdouts: [[Skelet 34]], [[Skelet 33]], [[Skelet 35]], [[Skelet 15]], [[Skelet 26]]
	* {{TM\|1RB1LD_1RC0RB_1LA0LE_1LC0LA_1RZ1RB}}
	* {{TM\|1RB0RF_1LC1RB_0RD0LB_---0LE_1RE0RA_1RD1RE}}		* {{TM\|1RB0RF_1LC1RB_0RD0LB_---0LE_1RE0RA_1RD1RE}}
	* {{TM\|1RB1LD_1RC0RB_1LA1LE_1LC0LA_1RZ0RD}}

	Halting shift-overflow counters:		Halting shift-overflow counters:
			* {{TM\|1RB1LD_1RC0RB_1LA0LE_1LC0LA_1RZ1RB}}
			* {{TM\|1RB1LD_1RC0RB_1LA1LE_1LC0LA_1RZ0RD}}
	* Current longest running [[BB(2,5)]] TM: {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}}		* Current longest running [[BB(2,5)]] TM: {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}}
	* Current seventh longest running [[BB(6)]] TM: {{TM\|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}}		* Current seventh longest running [[BB(6)]] TM: {{TM\|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}}

Polygon: Used Template:Stub

2025-08-10T22:38:29Z

Used Template:Stub

← Older revision		Revision as of 22:38, 10 August 2025
Line 1:		Line 1:
			{{Stub}}
	'''Shift overflow counter''' is an informal class of Turing machines. A typical Turing machine in this class has the following behavior:		'''Shift overflow counter''' is an informal class of Turing machines. A typical Turing machine in this class has the following behavior:

Line 24:		Line 25:
	* [https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 Skelet #33 doesn’t halt - Coq proof]		* [https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 Skelet #33 doesn’t halt - Coq proof]

	~~[[Category:Stub]]~~
	[[Category:Zoology]]		[[Category:Zoology]]

Polygon: Made capitalization and punctuation consistent

2025-08-05T14:39:22Z

Made capitalization and punctuation consistent

← Older revision		Revision as of 14:39, 5 August 2025
Line 1:		Line 1:
	'''Shift overflow counter''' is an informal class of Turing machines. A typical Turing machine in this class has the following behavior:		'''Shift overflow counter''' is an informal class of Turing machines. A typical Turing machine in this class has the following behavior:

	* it represents digits as short fixed-length blocks of symbols		* It represents digits as short fixed-length blocks of symbols.
	* it spends most of its time implementing basic double counter until one of the sides overflows (expands) which leads to changing the offsets of blocks, making them non-valid representations of digits		* It spends most of its time implementing basic double counter until one of the sides overflows (expands) which leads to changing the offsets of blocks, making them non-valid representations of digits.
	* ~~after~~ “Counter Phase” there is a “Reset Phase” where the contents are “reparsed”, creating a new double counter configuration. The new configuration could lead to halting.		* After “Counter Phase” there is a “Reset Phase” where the contents are “reparsed”, creating a new double counter configuration. The new configuration could lead to halting.

	Note: some examples (like the halting shift-overflow counters below) use a counter on one side and a [[bouncer]] (sometimes called unary counter) on the other.		Note: some examples (like the halting shift-overflow counters below) use a counter on one side and a [[bouncer]] (sometimes called unary counter) on the other.

Polygon: No longer fifth longest running TM

2025-08-05T12:29:12Z

No longer fifth longest running TM

← Older revision		Revision as of 12:29, 5 August 2025
Line 15:		Line 15:
	Halting shift-overflow counters:		Halting shift-overflow counters:
	* Current longest running [[BB(2,5)]] TM: {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}}		* Current longest running [[BB(2,5)]] TM: {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}}
	* Current ~~fifth~~ longest running [[BB(6)]] TM: {{TM\|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}}		* Current seventh longest running [[BB(6)]] TM: {{TM\|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}}

	== Related links ==		== Related links ==

Polygon: Fixed typo, changed "halting" to lowercase

2025-08-05T12:22:20Z

Fixed typo, changed "halting" to lowercase

← Older revision		Revision as of 12:22, 5 August 2025
Line 5:		Line 5:
	* after “Counter Phase” there is a “Reset Phase” where the contents are “reparsed”, creating a new double counter configuration. The new configuration could lead to halting.		* after “Counter Phase” there is a “Reset Phase” where the contents are “reparsed”, creating a new double counter configuration. The new configuration could lead to halting.

	Note: some examples (like the ~~Halthing~~ shift-overflow counters below) use a counter on one side and a [[bouncer]] (sometimes called unary counter) on the other.		Note: some examples (like the halting shift-overflow counters below) use a counter on one side and a [[bouncer]] (sometimes called unary counter) on the other.

	== Examples ==		== Examples ==

Isokate: /* Examples */

2025-06-04T20:41:25Z

Examples

← Older revision		Revision as of 20:41, 4 June 2025
Line 15:		Line 15:
	Halting shift-overflow counters:		Halting shift-overflow counters:
	* Current longest running [[BB(2,5)]] TM: {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}}		* Current longest running [[BB(2,5)]] TM: {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}}
	* Current ~~second~~ longest running [[BB(6)]] TM: {{TM\|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}}		* Current fifth longest running [[BB(6)]] TM: {{TM\|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}}

	== Related links ==		== Related links ==

Sligocki: Add notable halting examples.

2025-02-05T20:30:51Z

Add notable halting examples.

← Older revision		Revision as of 20:30, 5 February 2025
Line 2:		Line 2:

	* it represents digits as short fixed-length blocks of symbols		* it represents digits as short fixed-length blocks of symbols
	* it spends most of ~~it's~~ time implementing basic double counter until one of the sides overflows (expands) which leads to changing the offsets of blocks, making them non-valid representations of digits		* it spends most of its time implementing basic double counter until one of the sides overflows (expands) which leads to changing the offsets of blocks, making them non-valid representations of digits
	* after “Counter Phase” there is a “Reset Phase” where the contents are “reparsed”, creating a new double counter configuration. The new configuration could lead to halting.		* after “Counter Phase” there is a “Reset Phase” where the contents are “reparsed”, creating a new double counter configuration. The new configuration could lead to halting.

			Note: some examples (like the Halthing shift-overflow counters below) use a counter on one side and a [[bouncer]] (sometimes called unary counter) on the other.

	== Examples ==		== Examples ==
	* Skelet holdouts: [[Skelet 34]], [[Skelet 33]], [[Skelet 35]], [[Skelet 15]], [[Skelet 26]]		* Skelet holdouts: [[Skelet 34]], [[Skelet 33]], [[Skelet 35]], [[Skelet 15]], [[Skelet 26]]
	* ~~[https://bbchallenge.org/~~1RB1LD_1RC0RB_1LA0LE_1LC0LA_1RZ1RB]		* {{TM\|1RB1LD_1RC0RB_1LA0LE_1LC0LA_1RZ1RB}}
	* ~~[https://bbchallenge.org/~~1RB0RF_1LC1RB_0RD0LB_---0LE_1RE0RA_1RD1RE ~~1RB0RF_1LC1RB_0RD0LB_~~-~~--0LE_1RE0RA_1RD1RE~~]		* {{TM\|1RB0RF_1LC1RB_0RD0LB_---0LE_1RE0RA_1RD1RE}}
	* [~~https~~:~~//bbchallenge.org/1RB1LD_1RC0RB_1LA1LE_1LC0LA_1RZ0RD]~~		* {{TM\|1RB1LD_1RC0RB_1LA1LE_1LC0LA_1RZ0RD}}

			Halting shift-overflow counters:
			* Current longest running [[BB(2,5)]] TM: {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}}
			* Current second longest running [[BB(6)]] TM: {{TM\|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}}

	== Related links ==		== Related links ==
	[https://www.sligocki.com/2023/02/02/skelet-34.html]		* [https://www.sligocki.com/2023/02/02/skelet-34.html Skelet #34 is Infinite]
	[https://www.sligocki.com/2023/02/05/shift-overflow.html]		* [https://www.sligocki.com/2023/02/05/shift-overflow.html Shift Overflow Counters]
	[https://discuss.bbchallenge.org/t/skelet-26-and-15-do-not-halt-coq-proof/183]		* [https://discuss.bbchallenge.org/t/skelet-26-and-15-do-not-halt-coq-proof/183 Skelet #26 and #15 do not halt - Coq proof]
	[https://discuss.bbchallenge.org/t/skelet-34-and-35-coq-proof/165]		* [https://discuss.bbchallenge.org/t/skelet-34-and-35-coq-proof/165 Skelet #34 and #35 – Coq proof]
	[https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180]		* [https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 Skelet #33 doesn’t halt - Coq proof]

	[[Category:Stub]]		[[Category:Stub]]
	[[Category:Zoology]]		[[Category:Zoology]]