Turing machine test