Hacker News
- Turing Machine Notation and Normal Form https://nickdrozd.github.io/2020/10/04/turing-machine-notation-and-normal-form.html 3 comments
Linking pages
- A Busy Beaver Champion Program Derived from Scratch | Something Something Programming https://nickdrozd.github.io/2021/10/31/busy-beaver-derived.html 33 comments
- A Solution to the Halting Problem | Something Something Programming https://nickdrozd.github.io/2022/05/05/halting-problem-solution.html 1 comment
- A Mathematical Fact from a Busy Beaver | Something Something Programming https://nickdrozd.github.io/2021/04/12/math-fact-busy-beaver.html 0 comments
- Halt, Quasihalt, Recur | Something Something Programming https://nickdrozd.github.io/2021/01/14/halt-quasihalt-recur.html 0 comments
- The Spaghetti Code Conjecture | Something Something Programming https://nickdrozd.github.io/2021/01/26/spaghetti-code-conjecture.html 0 comments
- Lin Recurrence and Lin’s Algorithm | Something Something Programming https://nickdrozd.github.io/2021/02/24/lin-recurrence-and-lins-algorithm.html 0 comments
- A New Record in Self-Cleaning Turing Machines | Something Something Programming https://nickdrozd.github.io/2021/07/11/self-cleaning-turing-machine.html 0 comments
- Structured Programming for Busy Beavers | Something Something Programming https://nickdrozd.github.io/2021/04/21/structured-programming-for-busy-beavers.html 0 comments
- The Lin-Rado Busy Beaver Proof | Something Something Programming https://nickdrozd.github.io/2020/12/15/lin-rado-proof.html 0 comments
Linked pages
Related searches:
Search whole site: site:nickdrozd.github.io
Search title: Turing Machine Notation and Normal Form | Something Something Programming
See how to search.