Die rekursive Definition ist eine Regel zur Bildung von Ersetzungsregeln. Oder auch das allgemeine Glied einer Reihe
von Definitionsreihen. Sie ist ein Wegweiser der alle Ausdrücke einer bestimmten Form auf einem bestimmten Wege heimweist.