Ersetzungsregel

règle de remplacement- règle d'inférence par laquelle une expression est remplacée par une expression équivalente

Schlussregel, bei der ein Ausdruck durch einen gleichwertigen ersetzt wird

règle de réécriture- règle d'une grammaire (syntaxe) selon laquelle en général une suite de symboles, mais souvent aussi un seul symbole, est remplacée par une suite de symboles

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