Ausdrücke erster Stufe/Über Alphabet/Rekursiv/Definition/Begriff

Die rekursive Definition für die Ausdrücke in einer Sprache erster Stufe.