Definition:Total Recursive Function
Jump to navigation
Jump to search
Definition
In general, a recursive function is a partial function.
A total recursive function is a recursive function which is total.
In general, a recursive function is a partial function.
A total recursive function is a recursive function which is total.