703
                    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 einem Wege heimweist.