User contributions for MrBrain

15 August 2025

• 16:3416:34, 15 August 2025 diff hist +139‎ Instruction-Limited Busy Beaver ‎ Updated reference in text so it automatically (I hope) shows up in the references section.
• 16:3016:30, 15 August 2025 diff hist +619‎ Instruction-Limited Busy Beaver ‎ Started two new sections. One on Instruction-Limited BB variants, and the other for references. Tag: Visual edit

7 August 2025

• 05:1405:14, 7 August 2025 diff hist 0‎ m Instruction-Limited Busy Beaver ‎ Slight wording change in introduction section. Tag: Visual edit
• 05:1105:11, 7 August 2025 diff hist −3‎ Instruction-Limited Busy Beaver ‎ Slight wording change in TNF section, describing the maximum state to which a new instruction can transition to. Tag: Visual edit

6 August 2025

• 15:4115:41, 6 August 2025 diff hist +1‎ m Instruction-Limited Busy Beaver ‎ Grammar fix in TNF section. Tag: Visual edit
• 14:3614:36, 6 August 2025 diff hist −3‎ Instruction-Limited Busy Beaver ‎ Fixed description of the four possible 1-instruction machines. Tag: Visual edit
• 14:2514:25, 6 August 2025 diff hist +2,461‎ Instruction-Limited Busy Beaver ‎ Added a description of the TNF table prior to the table. Added an outline of the procedure for TNF generation below the table. Explained how a state having no instructions is functionally equivalent to a halt state, and that a transition to such a state is effectively a halting instruction. Tag: Visual edit
• 03:2403:24, 6 August 2025 diff hist +1,831‎ Instruction-Limited Busy Beaver ‎ Right justified values in the TNF enumeration table. Tag: Visual edit: Switched
• 03:1703:17, 6 August 2025 diff hist +603‎ Instruction-Limited Busy Beaver ‎ Added a new section/table for TNF counts for BBi. Tag: Visual edit

5 August 2025

• 02:4802:48, 5 August 2025 diff hist +2,540‎ Instruction-Limited Busy Beaver ‎ Added new table for Symbols Champions. Some of the symbols champions for low n are different than steps champions for the same n. Added a note explaining that proven values for both BBi(n) and Σi(n) are given as bold in the two tables. Tag: Visual edit

4 August 2025

• 21:4221:42, 4 August 2025 diff hist +42‎ Instruction-Limited Busy Beaver ‎ Bolded proven values in Steps Champions table. Tag: Visual edit
• 21:1121:11, 4 August 2025 diff hist +1‎ m Instruction-Limited Busy Beaver ‎ Added a hyphen to "long-running". Tag: Visual edit
• 21:0921:09, 4 August 2025 diff hist −38‎ Instruction-Limited Busy Beaver ‎ Updated Shawn's note to reflect the new notation for BBi(1). Tag: Visual edit
• 21:0321:03, 4 August 2025 diff hist −10‎ Instruction-Limited Busy Beaver ‎ There is no page for BB(1), so removed link for that note. Tag: Visual edit
• 21:0221:02, 4 August 2025 diff hist 0‎ Instruction-Limited Busy Beaver ‎ Updated link for BB(1,2) Tag: Visual edit: Switched
• 21:0221:02, 4 August 2025 diff hist +2‎ Instruction-Limited Busy Beaver ‎ Updated BB(1) to BB(1,2) for clarity. Tag: Visual edit
• 21:0121:01, 4 August 2025 diff hist +21‎ Instruction-Limited Busy Beaver ‎ Updated Steps Champions table. Changed standard notation for the BBi(1) machines to accurately show that the only instruction is a halting instruction, transitioning to a state having no instructions. These are both 1-state machines, not 2-state machines, which 0RB and 1RB--- might suggest. Also, updated notes to more clearly show how the steps values for 1, 3, 5, and 7 symbols relate to the traditional BB values for 1, 2, 3, and 4 states. Tag: Visual edit
• 20:5520:55, 4 August 2025 diff hist −11‎ Instruction-Limited Busy Beaver ‎No edit summary Tag: Visual edit: Switched
• 20:4820:48, 4 August 2025 diff hist +2‎ Instruction-Limited Busy Beaver ‎ Fixed notation for symbols sequence. Tag: Visual edit
• 20:4620:46, 4 August 2025 diff hist +1,015‎ Instruction-Limited Busy Beaver ‎ Updated the introduction section to more clearly define various terms such as Busy Beaver, Competition, Sequence, in the context of the Instruction-Limited Busy Beaver concept. Also, included both the steps and symbols BBi sequences through the known values of BBi(7) and Σi(7), as well as the currently highest known values for those sequences for BBi(8) and Σi(8). Tag: Visual edit

27 July 2025

• 03:4203:42, 27 July 2025 diff hist +16‎ Instruction-Limited Busy Beaver ‎ Added a note for BBi(8) to clarify that the machine given is merely the current champion. Tag: Visual edit
• 03:1003:10, 27 July 2025 diff hist +141‎ Instruction-Limited Busy Beaver ‎ Added the current situation for the BBi(8) contest to the end of the relevant paragraph in the Motivation section. Tag: Visual edit
• 03:0003:00, 27 July 2025 diff hist +102‎ Instruction-Limited Busy Beaver ‎ Adding more precision based on Shawn's steps calculation. Tag: Visual edit: Switched
• 02:2202:22, 27 July 2025 diff hist −100‎ Instruction-Limited Busy Beaver ‎ Removed redundant conclusion to Motivation section. Tag: Visual edit
• 00:3500:35, 27 July 2025 diff hist +6‎ m Instruction-Limited Busy Beaver ‎ Clarified note about BBi(8) steps value. Tag: Visual edit

26 July 2025

• 23:1923:19, 26 July 2025 diff hist +26‎ Instruction-Limited Busy Beaver ‎ Added an example lower bound to illustrate the likely true size of BBi(8) in the explanatory note below the BBi table. Tag: Visual edit
• 23:0323:03, 26 July 2025 diff hist +335‎ Instruction-Limited Busy Beaver ‎ Clarified that the current value for BBi(n) is a lower bound based on the currently known estimate for Σi(8), the number of symbols written to tape. Tag: Visual edit
• 21:4321:43, 26 July 2025 diff hist 0‎ Instruction-Limited Busy Beaver ‎ Clarifying description of the current BBi(8) champion, making clear it is not a current BB(3,4) champion. Tag: Visual edit
• 21:1821:18, 26 July 2025 diff hist +92‎ Instruction-Limited Busy Beaver ‎ Link to bbchallenge discord of machine announcement.
• 21:1621:16, 26 July 2025 diff hist −8‎ Instruction-Limited Busy Beaver ‎ Updated description of new current BBi(8) champion. Tag: Visual edit
• 21:1421:14, 26 July 2025 diff hist +9‎ Instruction-Limited Busy Beaver ‎ Edited the code for the current champion BBi(8) TM.
• 21:1221:12, 26 July 2025 diff hist 0‎ Instruction-Limited Busy Beaver ‎ Number of steps found by Nick for new current BBi(8) champion. Tag: Visual edit
• 17:5717:57, 26 July 2025 diff hist 0‎ Instruction-Limited Busy Beaver ‎ Corrected total number of TNF machines for n<=8. Tag: Visual edit

25 July 2025

• 22:2422:24, 25 July 2025 diff hist 0‎ m Instruction-Limited Busy Beaver ‎ Minor wording change in Motivation section. Tag: Visual edit
• 22:1922:19, 25 July 2025 diff hist 0‎ Instruction-Limited Busy Beaver ‎ Fixed equation for m-symbol steps sequence. Tag: Visual edit
• 22:0922:09, 25 July 2025 diff hist +12‎ m Instruction-Limited Busy Beaver ‎ Slight wording change in Motivation section. Tag: Visual edit
• 21:0721:07, 25 July 2025 diff hist −16‎ m Instruction-Limited Busy Beaver ‎ Cleaning up some wording in "motivation" section. Tag: Visual edit
• 21:0021:00, 25 July 2025 diff hist +10‎ m Instruction-Limited Busy Beaver ‎ Clarified the primary motivation of BBi. Tag: Visual edit
• 20:4920:49, 25 July 2025 diff hist +36‎ Instruction-Limited Busy Beaver ‎ Added a new "Motivation" section in the previous edit. Reintroduced some formatting that I had in an offline document while composing this section. Tag: Visual edit
• 20:4220:42, 25 July 2025 diff hist +2,498‎ Instruction-Limited Busy Beaver ‎No edit summary Tag: Visual edit: Switched
• 13:0013:00, 25 July 2025 diff hist −2‎ Instruction-Limited Busy Beaver ‎ A halting instruction is an instruction. BB(4,2) has eight instructions, not 7. Tag: Visual edit
• 00:0100:01, 25 July 2025 diff hist +4‎ m Instruction-Limited Busy Beaver ‎ Added the remaining "-1" to terms in which it had been omitted. Tag: Visual edit

24 July 2025

• 23:5723:57, 24 July 2025 diff hist +2‎ m Instruction-Limited Busy Beaver ‎ Expanded BB(n) to BB(n,2) to avoid confusion. Tag: Visual edit
• 23:5623:56, 24 July 2025 diff hist +13‎ Instruction-Limited Busy Beaver ‎ Modified the equations describing the limits of BBi(2n-1) in relation to BB(2,n) and BB(n,2). BBi(2n-1) is not necessarily as high as BB(2,n) if that BB is the basis for the optimal BBi configuration, since BBi does not include the final halting instruction, where as traditional BB does. Tag: Visual edit
• 17:2417:24, 24 July 2025 diff hist 0‎ Instruction-Limited Busy Beaver ‎ Corrected TNF size for n=8. Tag: Visual edit
• 17:2017:20, 24 July 2025 diff hist +115‎ Instruction-Limited Busy Beaver ‎ Added a new row for n=8. Formatting is not the same as the previous rows, so we can fix that next. Tag: Visual edit

19 July 2025

• 20:3520:35, 19 July 2025 diff hist +164‎ Instruction-Limited Busy Beaver ‎ Added the definition of Σi(n), the non-blank symbols function for n-instruction TMs. Tag: Visual edit
• 20:2520:25, 19 July 2025 diff hist +10‎ Instruction-Limited Busy Beaver ‎ Clarified that we are replacing an undefined transition in a BBi TM with a halting instruction in the equivalent BB TM. Tag: Visual edit
• 20:2220:22, 19 July 2025 diff hist +182‎ Instruction-Limited Busy Beaver ‎ Modified the section describing a key difference between TMs in the BBi contest and the BB contests. In BBi, halting on an undefined transition is an advantage, because it saves us having to add an explicit halting instruction. In traditional BB, this is would be a disadvantage, because we could simply replace the undefined transition with a halting instruction, which allows the TM to take an additional step. Tag: Visual edit

17 July 2025

• 06:3706:37, 17 July 2025 diff hist +11‎ Instruction-Limited Busy Beaver ‎ Added cumulative TNF value for all machines having 7 or fewer states. Tag: Visual edit