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