Random Turing machine