Adjacent - Revision history

Polygon: /* Examples */ Removed "non-halt" from bbch-links (does nothing)

2025-08-16T19:03:03Z

Examples: Removed "non-halt" from bbch-links (does nothing)

← Older revision		Revision as of 19:03, 16 August 2025
Line 8:		Line 8:
	\|-		\|-
	\|<code>sk15</code>		\|<code>sk15</code>
	\|{{TM\|1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC~~\|non-halt~~}}		\|{{TM\|1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC}}
	\|-		\|-
	\|<code>sk26</code>		\|<code>sk26</code>
	\|{{TM\|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---~~\|non-halt~~}}		\|{{TM\|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}
	\|-		\|-
	\|<code>sk33</code>		\|<code>sk33</code>
	\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RE~~\|non-halt~~}}		\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RE}}
	\|-		\|-
	\|<code>sk34</code>		\|<code>sk34</code>
	\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RA~~\|non-halt~~}}		\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RA}}
	\|-		\|-
	\|<code>sk35</code>		\|<code>sk35</code>
	\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA0LA~~\|non-halt~~}}		\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA0LA}}
	\|}		\|}
	All of these TMs are adjacent to <code>sk33</code> via the following changes:		All of these TMs are adjacent to <code>sk33</code> via the following changes:

DF376 at 13:28, 13 August 2024

2024-08-13T13:28:26Z

← Older revision		Revision as of 13:28, 13 August 2024
Line 8:		Line 8:
	\|-		\|-
	\|<code>sk15</code>		\|<code>sk15</code>
	\|{{TM\|1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC}}		\|{{TM\|1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC\|non-halt}}
	\|-		\|-
	\|<code>sk26</code>		\|<code>sk26</code>
	\|{{TM\|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}		\|{{TM\|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---\|non-halt}}
	\|-		\|-
	\|<code>sk33</code>		\|<code>sk33</code>
	\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RE}}		\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RE\|non-halt}}
	\|-		\|-
	\|<code>sk34</code>		\|<code>sk34</code>
	\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RA}}		\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RA\|non-halt}}
	\|-		\|-
	\|<code>sk35</code>		\|<code>sk35</code>
	\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA0LA}}		\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA0LA\|non-halt}}
	\|}		\|}
	All of these TMs are adjacent to <code>sk33</code> via the following changes:		All of these TMs are adjacent to <code>sk33</code> via the following changes:

Int-y1: improve link

2024-07-24T02:16:49Z

improve link

← Older revision		Revision as of 02:16, 24 July 2024
Line 2:		Line 2:

	== Examples ==		== Examples ==
	A good example of adjacent TMs are the 5 [[BB(5)]] [[shift overflow counters]] from [[Skelet's 43 holdouts]]:<ref>Shawn Ligocki. Shift Overflow Counters. 2023. https://www.sligocki.com/2023/02/05/shift-overflow.html</ref>		A good example of adjacent TMs are the 5 [[BB(5)]] [[Shift overflow counter\|shift overflow counters]] from [[Skelet's 43 holdouts]]:<ref>Shawn Ligocki. Shift Overflow Counters. 2023. https://www.sligocki.com/2023/02/05/shift-overflow.html</ref>
	{\| class="wikitable"		{\| class="wikitable"
	!Name		!Name

Sligocki: Add TM Template

2024-07-12T02:44:52Z

Add TM Template

← Older revision		Revision as of 02:44, 12 July 2024
Line 8:		Line 8:
	\|-		\|-
	\|<code>sk15</code>		\|<code>sk15</code>
	\|~~<code>~~1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC~~</code>~~		\|{{TM\|1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC}}
	\|-		\|-
	\|<code>sk26</code>		\|<code>sk26</code>
	\|~~<code>~~1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---~~</code>~~		\|{{TM\|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}
	\|-		\|-
	\|<code>sk33</code>		\|<code>sk33</code>
	\|~~<code>~~1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RE~~</code>~~		\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RE}}
	\|-		\|-
	\|<code>sk34</code>		\|<code>sk34</code>
	\|~~<code>~~1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RA~~</code>~~		\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RA}}
	\|-		\|-
	\|<code>sk35</code>		\|<code>sk35</code>
	\|~~<code>~~1RB1LC_0RC0RB_1LD0LA_1LE---_1LA0LA~~</code>~~		\|{{TM\|1RB1LC_0RC0RB_1LD0LA_1LE---_1LA0LA}}
	\|}		\|}
	All of these TMs are adjacent to <code>sk33</code> via the following changes:		All of these TMs are adjacent to <code>sk33</code> via the following changes:

Sligocki: Created page with "Two Turing machines are '''adjacent''' if you can get from one to the other by modifying only one transition and (optionally) applying a permutation. Adjacent TMs are useful to think about at times because they can have similar behavior or follow similar rules. This is definitely not true for all adjacent TMs, but it is in some cases. == Examples == A good example of adjacent TMs are the 5 BB(5) shift overflow counters from Skelet's 43 holdouts:Shaw..."

2024-07-11T04:36:21Z

Created page with "Two Turing machines are '''adjacent''' if you can get from one to the other by modifying only one transition and (optionally) applying a permutation. Adjacent TMs are useful to think about at times because they can have similar behavior or follow similar rules. This is definitely not true for all adjacent TMs, but it is in some cases. == Examples == A good example of adjacent TMs are the 5 BB(5) shift overflow counters from Skelet's 43 holdouts:<ref>Shaw..."

New page

Two Turing machines are '''adjacent''' if you can get from one to the other by modifying only one transition and (optionally) applying a [[permutation]]. Adjacent TMs are useful to think about at times because they can have similar behavior or follow similar rules. This is definitely not true for all adjacent TMs, but it is in some cases.

== Examples ==
A good example of adjacent TMs are the 5 [[BB(5)]] [[shift overflow counters]] from [[Skelet's 43 holdouts]]:<ref>Shawn Ligocki. Shift Overflow Counters. 2023. https://www.sligocki.com/2023/02/05/shift-overflow.html</ref>
{| class="wikitable"
!Name
!Machine
|-
|<code>sk15</code>
|<code>1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC</code>
|-
|<code>sk26</code>
|<code>1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---</code>
|-
|<code>sk33</code>
|<code>1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RE</code>
|-
|<code>sk34</code>
|<code>1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RA</code>
|-
|<code>sk35</code>
|<code>1RB1LC_0RC0RB_1LD0LA_1LE---_1LA0LA</code>
|}
All of these TMs are adjacent to <code>sk33</code> via the following changes:
{| class="wikitable"
!Name
!Change from <code>sk33</code>
!Start State
!Before Permutation
!TNF
|-
|<code>sk34</code>
|<code>E1 -> 1RA</code>
|<code>A</code>
|<code>1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RA</code>
|<code>1RB1LC_0RC0RB_1LD0LA_1LE---_1LA1RA</code>
|-
|<code>sk35</code>
|<code>E1 -> 0LA</code>
|<code>A</code>
|<code>1RB1LC_0RC0RB_1LD0LA_1LE---_1LA0LA</code>
|<code>1RB1LC_0RC0RB_1LD0LA_1LE---_1LA0LA</code>
|-
|<code>sk26</code>
|<code>B0 -> 1RE</code>
|<code>A</code>
|<code>1RB1LC_1RE0RB_1LD0LA_1LE---_1LA1RE</code>
|<code>1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---</code>
|-
|<code>sk15</code>
|<code>B0 -> 1RE</code>
|<code>D</code>
|<code>1RB1LC_1RE0RB_1LD0LA_1LE---_1LA1RE</code>
|<code>1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC</code>
|}
For <code>sk34</code> and <code>sk35</code> the adjacency is easy to see because there is no permutation of states.

== Tools ==
<code>Code/Adjacent.py</code> in https://github.com/sligocki/busy-beaver can be used to list all adjacent TMs.

== References ==
<references />