README.md

About

This project studies the Busy Beaver function for CounterScript, a minimal computational model.

Note: some informations may be outdated: feel free to fix them if you find any.

Wiki page

• Busy Beaver wiki page

Documentation

• Glossary
• CounterScript Language Spec
• BBCS Results & Open Problems
• Architecture & Execution Model
• Search & Optimization Techniques
• TNF Enumeration

Other

• Task roadmap
• Contribution guidelines
• License