random 2-state 5-color Turing machine