dieErsetzungsregel

Substantiv, feminin (die)

Bedeutungen

1. Schlussregel, bei der ein Ausdruck durch einen gleichwertigen ersetzt wird
2. 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.