Ersetzungsregel
Substantiv · f
—
Formale Logik: Schlussregel, bei der ein Ausdruck durch einen gleichwertigen ersetzt wird
—
Linguistik, speziell Generative Grammatik: Regel einer Grammatik (Syntax), nach der im Allgemeinen eine Folge von Symbolen, oft aber auch nur ein Einzelsymbol durch eine Folge von Symbolen ersetzt wird
Eine Ersetzungsregel einer allgemeinen Chomsky-Grammatik (Typ 0) hat die Form: &;alpha; → &;beta;. Dabei sind &;alpha; und &;beta; Folgen von Symbolen der Grammatik, &;alpha; muss außerdem ein Nichtterminalsymbol der Grammatik enthalten und darf also nicht leer sein. Diese Ersetzungsregel wird gelesen als: Ersetze &;alpha; durch &;beta;. Für Chomsky-Grammatiken höherer Typen gelten fortschreitend stärkere Einschränkungen an die Gestalt der erlaubten Ersetzungsregeln. Bei kontextfreien Grammatiken etwa (Typ 2) muss die linke Seite &;alpha; jeder Ersetzungsregel ein einzelnes Nichtterminalsymbol sein.
In einer Generativen Grammatik werden Sätze durch eine Reihe von Ersetzungsregeln erzeugt.