Turing jump

名词 n.

英文释义

名词 n.
  1. 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.

词形变化

Turing jumps plural

词源

Named after Alan Turing.
0 次浏览 数据来源: Wiktionary