Write “Turing machines” section of README-alternate