recursive definition

(redirected from Inductive definition)
Also found in: Dictionary, Thesaurus.

recursive definition

References in periodicals archive ?
A parse tree for G is a witness for the inductive definition describing how G was constructed.
Given a graph G of clique-width at most k, together with its parse tree of the inductive definition from Section 2.
To overcome this problem, we introduce the auxiliary unary predicate symbol reachable and express it through the inductive definition provided in figure 17.
D // a shorthand for {A; B; C; D} forbidden = {(A,A); (A,B); (A,C); (B,A); (B,B); (B,C); (C,C); (C,D); (D,D)} root = A } theory T:V { // inductive definition of reachable define { reachable(root).
Inductive definitions, for instance, are rarely conservative.