turing machine for gate