Update turing-machines.tex