https://github.com/lukaskalbertodt/beaver

Simulating Turing machines for the Busy Beaver game
https://github.com/lukaskalbertodt/beaver

busy-beaver busy-beavers rust rust-application turing-machine

Last synced: 4 days ago
JSON representation

Simulating Turing machines for the Busy Beaver game

• Host: GitHub
• URL: https://github.com/lukaskalbertodt/beaver
• Owner: LukasKalbertodt
• License: apache-2.0
• Created: 2019-11-16T14:28:58.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2022-02-12T11:33:17.000Z (almost 3 years ago)
• Last Synced: 2024-05-02T04:43:16.247Z (7 months ago)
• Topics: busy-beaver, busy-beavers, rust, rust-application, turing-machine
• Language: Rust
• Homepage:
• Size: 246 KB
• Stars: 11
• Watchers: 3
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-APACHE

Awesome Lists containing this project

README

        
Busy Beaver

===========

An application that analyses/simulates all possible N-state Turing machines with tape alphabet = {0, 1}, where `N` is given as command line argument.

All TMs are generated, then categorized based on static analysis or their runtime behavior.

Finally, a summary of all results is printed.

This is related to the [Busy Beaver game](https://en.wikipedia.org/wiki/Busy_Beaver_game).

**Features**:

- Nice output, including histogram

- Fairly fast (on a Ryzen 3600, N=4 with its 11 billion TMs, 5.5 billion deduplicated, runs in roughly half a minute)

- Static analysis: state graph reachability check

- Can detect and categorize ≈97% of non-halting TMs (for N=4)



    



**Potential goals for future development**

- [ ] Optimize

- [ ] More smart analysis techniques

- [ ] Print states of certain TMs (e.g. the winning one)

- [ ] Show trace of the winning TM

Note that this is just a hobby project which I don't expect to be useful to anyone.

If you are still interested, PRs are always welcome.

---

## License

Licensed under either of Apache License, Version

2.0 or MIT license at your option.

Unless you explicitly state otherwise, any contribution intentionally submitted

for inclusion in this project by you, as defined in the Apache-2.0 license,

shall be dual licensed as above, without any additional terms or conditions.