busy-beaver
busy-beaver copied to clipboard
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
I profiled Quick Sim running over a list of programs for 10,000 loops.  A lot of time is getting spent in `strip_config` and its subsidiary `stripped_info`. I don't know...
`Quick_Sim.py` is able to run the below beavers to the point of halting. (I'm collecting, not claiming originality.) - [ ] `1RB0LA_0RC1RE_0RD1RC_1LD1LA_1RF1RB_0LC1RZ` - [ ] `1RB0LA_0RC1RE_0RD1RC_1LD1LA_1RF1RB_0RD1RZ` - [ ] `1RB0LE_0RC1RZ_0LD0RF_1LA0LF_1LF1LD_0LA1LF`...
It would be nice if we could tell Quick_Sim.py to watch for one specific config pattern that might have some exponents fixed with others variable. Specific example: ``` Code/Quick_Sim.py 1RB2RA1LB_0LC0RA1LA_---2LA---...