Bibliography (8):

  1. The Busy Beaver Frontier

  2. The determination of the value of Rado’s noncomputable function Σ(𝑘) for four-state Turing machines

  3. https://gist.github.com/anonymous/a64213f391339236c2fe31f8749a0df6