diff --git a/README.md b/README.md index 71986a8..cf45943 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,10 @@ I never make jokes :) Anyways, to grok how Turing machines, as described in Automata and Computability, by Dexter C. Kozen, work, here are: - A Turing Machine that accepts if a number n doesn't divide another number m and rejects otherwise. - Its input should be: a 0, followed by (n-1) 1s followed by an 8, followed by (m-1) 2s followed by a 9. +- A Turing Machine that accepts if n doesn't divide m, or if n=m, and rejects otherwise. +- A Turing Machine that accepts if n is prime, and rejects otherwise. +- A Turing Machine that accepts once it has found the nth prime. + +Early versions, deprecated, start with 0. +- A Turing Machine that accepts if a number n doesn't divide another number m and rejects otherwise. - A Turing Machine that detects whether a number >=2 is prime. - Its input should be: a 0, followed by a 1, followed by an 8, followed [...] -The input for