Turing jump
名词 n.
英文释义
名词 n.
- 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.
词形变化
词源
Named after Alan Turing.
0 次浏览
数据来源: Wiktionary