Update README.md for Turing completeness