Die rek[j|u]rsive Definition ist eine Regel zur Bildung v[l|o]n Ersetzungsregeln. Oder auch das allgemeine Glied einer Reihe von Definitionsreihen. Sie ist ein Wegweiser, der alle Ausdrücke einer bestimmten Form einem Wege heimweist.