https://9dok.net/document/zlg58dko-registermaschine-ram-church-turing-these.html