time-constructible function

名词 n.

英文释义

名词 n.
  1. A function f from natural numbers to natural numbers with the property that f(n) can be constructed from n by a Turing machine in the time of order f(n), whose purpose of such a definition is to exclude functions that do not provide an upper bound on the runtime of some Turing machine. countable,uncountable

词形变化

0 次浏览 数据来源: Wiktionary