Turing jump en · NOUN
Etymology
Named after Alan Turing.
Meanings
- In computability theory, an operation that assigns to each decision problem X a successively harder decision problem X′ with the property that X′ is not decidable by an oracle machine with an oracle for X.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Turing jumps | Number=Plur | lexicographic |