a (mathematics|not comparable) of an expression, each term of which is determined by applying a formula to preceding terms
a (computing theory|not comparable|of a function) which can be computed by a theoretical model of a computer, in a finite amount of time