Regeln definieren und verwenden
Dieses Kapitel behandelt die Verwendung von Regeln für das Umschreiben von Ausdrücken.
Übersicht