https://azpdf.net/document/y6e09ee7-turing-machines-and-computability.html