有没看懂的德语单词吗？🌱
替换规则- 将一个表达式替换为等价表达式的推理规则
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