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: α → β. Dabei sind α und β Folgen von Symbolen der Grammatik, α muss außerdem ein Nichtterminalsymbol der Grammatik enthalten und darf also nicht leer sein. Diese Ersetzungsregel wird gelesen als: Ersetze α durch β. 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 α jeder Ersetzungsregel ein einzelnes Nichtterminalsymbol sein.
In einer Generativen Grammatik werden Sätze durch eine Reihe von Ersetzungsregeln erzeugt.
Patnáct vět německyKudy? Tudy! | Gehen Sie geradeausTyhle věty v němčině vám jednou možná pomůžou najít cestu v cizím městě.