Ersetzungsregel

置換規則- ある表現を等価な表現で置き換える推論規則

Schlussregel, bei der ein Ausdruck durch einen gleichwertigen ersetzt wird

書き換え規則- 文法の規則で、一般に記号の並びを、しばしば単一の記号だけを記号の並びで置き換えるもの

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