WOLFRAM 语言教程

函数的变换规则

"符号的值" 节讨论过如何使用形如 的变换规则来用一个值替换符号. 然而,在 Wolfram 系统中,变换规则的表示法是相当一般的. 用户不仅能对符号,也能对任何 Wolfram 系统表达式建立变换规则.

使用变换规则 替换 .
In[1]:=
Click for copyable input
Out[1]=
也可以对 使用变换规则. 这个规则并不影响 .
In[2]:=
Click for copyable input
Out[2]=
是一个模式 ,它代表具有任何自变量的 .
In[3]:=
Click for copyable input
Out[3]=

Wolfram 系统变换规则最强有力的方面或许是它们不仅能用于表达式,而且能用于模式(patterns). 模式是一个诸如 这样的包含下划线的表达式. 下划线可以代表任何表达式. 这样,对 的变换规则将变换具有任何 自变量的函数 . 注意,作为对照,对不带有下划线的 的变换规则只变换表达式 ,而对诸如 等表达式没有任何作用.

当用户定义一个函数,例如 时,所做的事情是告诉 Wolfram 系统,在任何可能的时候,自动使用变换规则.

可以对任何形式的表达式建立变换规则.
In[4]:=
Click for copyable input
Out[4]=
这里对 使用变换规则.
In[5]:=
Click for copyable input
Out[5]=

"模式""变换规则和定义" 节将讨论怎样对任何种类的表达式建立模式和变换规则,我们可以说 Wolfram 系统的所有表达式都有一个确定的符号结构;而变换规则允许用户变换结构的一部分.