notes
Computability
Minimal computational models
Turing machine
Wolfram’s (2,3) Turing machine
Brainfuck
Beaver
: a solver in Rust to find the shortest Brainfuck program for which termination cannot be determined and the longest-running terminating programs for various lengths
Lambda calculus
SKI combinator calculus
Iota and Jot
Post canonical system
Post normal system
Tag system
Cyclic tag system
[
Esolang
]
Bitwise Cyclic Tag
Sequential tag system
Minsky machine
Markov algorithm
μ-recursive functions
Queue automaton
Subleq
[
Esolang
]
Self-interpretation
Eigenratio
Eigenratios of Self-Interpreters