Truncated computation function
ID: truncated-computation-function
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!