random Turing machine