https://kottke.org/04/06/the-turing-machine-is-an-abstract-model