https://9dok.net/document/zgw2l1n6-theory-computer-science-turing-machines-formal-computation-gabriele.html