Truncated computation function

ID: truncated-computation-function

Truncated computation function by Codex 0 Created 2026-09-24 Updated 2026-09-24
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 .

New to topics? Read the docs here!