Content deleted Content added
m v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) |
→Total recursive function: start section, to have a link target for the recurect total recursive function, see talk |
||
Line 31:
:<math>f(x_1,\ldots,x_k) \simeq g(x_1,\ldots,x_l)</math>
holds if and only if for any choice of arguments either both functions are defined and their values are equal or both functions are undefined.
== Total recursive function ==
A general recursive function is called '''total recursive function''' if it is defined for every input.{{cn}}
== Equivalence with other models of computability ==
| |||