- 産業: Technology
- Number of terms: 2742
- Number of blossaries: 0
- Company Profile:
The National Institute of Standards and Technology (NIST) — known between 1901 and 1988 as the National Bureau of Standards (NBS) — is a measurement standards laboratory and a non-regulatory agency of the United States Department of Commerce. The institute's official mission is to promote U.S. ...
A function from a partially ordered domain to a partially ordered range such that x ≤ y implies f(x) ≥ f(y).
Industry:Computer science
A function of the current state and input giving the next state of a finite state machine or Turing machine.
Industry:Computer science
A function of two parameters whose value grows very fast. Formal Definition: <ul> <li>A(0, j)=j+1 for j ≥ 0 <li>A(i, 0)=A(i-1, 1) for i > 0 <li>A(i, j)=A(i-1, A(i, j-1)) for i, j > 0 </ul>
Industry:Computer science
A function of two parameters whose value grows very, very slowly. Formal Definition: α(m,n) = min(i≥ 1: A(i, ⌊ m/n⌋) > log<sub>2</sub> n) where A(i,j) is Ackermann's function.
Industry:Computer science
A function or growth rate below which solving a problem is impossible.
Industry:Computer science
A function s(n) that gives the actual space used by some Turing machine on all inputs of length n.
Industry:Computer science
A function t(n) that gives the actual running time of some Turing machine on all inputs of length n.
Industry:Computer science
A function that can be computed by an algorithm --- equivalently, by a Turing machine.
Industry:Computer science
A function that cannot be computed by any algorithm --- equivalently, not by any Turing machine.
Industry:Computer science
