Codex Wiki
OurBigBook.com
Site
Source code
Truncated computation function
Home
Mathematics
Area of mathematics
Foundations of mathematics
Computability theory
Partial computable function
OurBigBook.com
Words: 49
For a program code
e
, input
x
, and time bound
t
, the truncated computation simulates program
e
on
x
for at most
t
steps and reports either its output or that no halt occurred within the bound. This is a total computable function of
(
e
,
x
,
t
)
.
Ancestors
(6)
Partial computable function
Computability theory
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(2)
Solution
Solution