grumle-turingThe Turing Machine behind Grumlegrumleturing machinecomputabilitytheory1.0.3 • Published 6 years ago
ackermannThe Ackermann function A(m,n)ackermannalgorithmscomputabilityrecursive1.0.1 • Published 9 years ago