A nondeterministic Turing machine (NTM) performs computations, such as factorization and arithmetic, using a spatial binary enumeration system, a three-dimensional relation system, a simulated-human logic system, and a bijective-set memory system. The NTM may be constructed by a deterministic Turing machine (DTM) using the four systems listed above.
展开▼