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