specify Turing machine code language