Codex Wiki OurBigBook logoOurBigBook.comSite Source code
For a program code , input , and time bound , the truncated computation simulates program on for at most steps and reports either its output or that no halt occurred within the bound. This is a total computable function of .

Ancestors (6)

  1. Partial computable function
  2. Computability theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home