User:Polygon/Page for testing: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
(Blanked the page)
Tags: Blanking Manual revert
(Added some rules for a TM)
Line 1: Line 1:
Placeholder
{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}
<pre>
S is any tape configuration
1. S D> 2^a S --> S 2^a D> S
2. S B> 1^a S --> S 1^a B> S
3. S 1 B> 0 S --> S <A 1^2 S
4. S D> (11)^a S --> S (21)^a D> S
  S A> (11)^a S --> S (12)^a A> S
5. S (21)^a <C S --> S <C (11)^a S
  S (12)^a <A S --> S <A (11)^a S
6. S (12)^a A> 0^2 S --> S <A (11)^a+1 S


7. S (12)^a 2 (12)^b A> 0^2 S --> S (12)^a-1 2 (12)^b+2 A> S
</pre>

Revision as of 16:00, 30 September 2025

Placeholder 1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD (bbch)

S is any tape configuration
1. S D> 2^a S --> S 2^a D> S
2. S B> 1^a S --> S 1^a B> S
3. S 1 B> 0 S --> S <A 1^2 S
4. S D> (11)^a S --> S (21)^a D> S
   S A> (11)^a S --> S (12)^a A> S
5. S (21)^a <C S --> S <C (11)^a S
   S (12)^a <A S --> S <A (11)^a S
6. S (12)^a A> 0^2 S --> S <A (11)^a+1 S

7. S (12)^a 2 (12)^b A> 0^2 S --> S (12)^a-1 2 (12)^b+2 A> S