busy-beaver icon indicating copy to clipboard operation
busy-beaver copied to clipboard

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

Results 3 busy-beaver issues
Sort by recently updated
recently updated
newest added

I profiled Quick Sim running over a list of programs for 10,000 loops. ![profile](https://user-images.githubusercontent.com/17630138/154820922-ac6bfb89-a650-412c-82cb-96bba943ee58.png) 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---...