https://www.theoryofcomputation.co/turing-machine/