Capable of being appraised.
drawing upon itself, referring back.
whose characteristic function is recursive (4)
of an expression, each term of which is determined by applying a formula to preceding terms
of a program or function that calls itself
which can be computed by a theoretical model of a computer, in a finite amount of time