https://github.com/cslarsen/busy-beaver
Calculates the uncomputable Busy Beaver Σ-function
https://github.com/cslarsen/busy-beaver
busy-beavers theoretical-computer-science turing-machine
Last synced: about 1 year ago
JSON representation
Calculates the uncomputable Busy Beaver Σ-function
- Host: GitHub
- URL: https://github.com/cslarsen/busy-beaver
- Owner: cslarsen
- Created: 2016-03-06T18:53:20.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2016-05-23T09:02:26.000Z (about 10 years ago)
- Last Synced: 2025-03-24T19:21:52.162Z (over 1 year ago)
- Topics: busy-beavers, theoretical-computer-science, turing-machine
- Language: Python
- Homepage: https://speakerdeck.com/csl/the-busy-beaver-game
- Size: 227 KB
- Stars: 10
- Watchers: 2
- Forks: 0
- Open Issues: 0