ndet-turing-machine [cpsc/ndet-turing-machine]