The corresponding parameterized problems p-Short-NTM-Halt and p-Short- NSTM-Halt are to decide for a given nondeterministic (single-tape) Turing machine M ...
確定! 回上一頁