ndet-turing-machine [ndet-turing-machine]