Lukas' Notes

Definition

Total Computable Function

A function is total computable (t.c.) if it is partial computable and total:

Thus a URM program computing must halt and return on every input tuple .