A turing machine whose tape is implemented with just two numbers
github.com