(logic) A branch of mathematical logic studying computable functions and Turing degrees, concerned with questions such as "What does it mean for a function on the natural numbers to be computable?" and "Can noncomputable functions be classified into a hierarchy based on their level of noncomputability?".

plural of recursive acronym

(semantics) A definition of a term within which the term itself appears, and that is well-founded, avoiding an infinite regress.

(computing) Describing a definition, particularly of an algorithm, given in terms of its output, rather than its input.

plural of infinite recursion

(computing theory) Recursion to a fixed depth. / (computing theory) The operator 𝜌, that creates a new function from two functions g, and h, such that:

plural of recursive function

plural of recursive definition

plural of tail recursion

The case in which a string (in a language) may be decomposed to another string and a suffix