离散数学-算术表达式-递归定义

定义

Arithmetic expressions like $3x^2+2x+1$ involving only one variable $x$. We’ll refer to the data type of such expressions as $\mathrm{Aexp}$.

• Base cases:
  • The variable $x\in \mathrm{Aexp}$.
  • The arabic numeral $k\in \mathrm{Aexp}$ for any nonnegative integer $k$.
• Constructor cases: If $e,f\in \mathrm{Aexp}$, then
  • $[e+f]\in \mathrm{Aexp}$.
  • $[e\ast f]\in \mathrm{Aexp}$.
  • $-[e]\in \mathrm{Aexp}$.

CFG文法

$G=(N,T,P,S)$
其中:

• N = { E } N = \{E\} N={E}
• T = { x , num , + , ∗ , − , [ , ] } T = \{\text{x}, \text{num}, +, *, -, [, ]\} T={x,num,+,∗,−,[,]}
• $S=E$ 是开始符号
• $P$ 是产生式集合:
  1. $E\to \text{x}$
  2. $E\to \text{num}$
  3. $E\to [E+E]$
  4. $E\to [E\ast E]$
  5. $E\to -[E]$

示例

示例1：推导$[[3\ast [x\ast x]]+[[2\ast x]+1]]$

$$\begin{array}{rlrl}E& \Rightarrow [E+E]& & \text{目标表达式最外层是加法，应用规则 3}\\ & \Rightarrow [[E\ast E]+E]& & \text{左边的 }E\text{ 是乘法 }[3\ast [x\ast x]]，\text{应用规则 4}\\ & \Rightarrow [[\text{num}\ast E]+E]& & \text{左边乘法的第一个因子是 3，应用规则 2}\\ & \Rightarrow [[3\ast E]+E]& & \text{将 num 替换为 3}\\ & \Rightarrow [[3\ast [E\ast E]]+E]& & \text{乘法的第二个因子是 }[x\ast x]，\text{应用规则 4}\\ & \Rightarrow [[3\ast [\text{x}\ast E]]+E]& & \text{内部乘法的第一个因子是 x，应用规则 1}\\ & \Rightarrow [[3\ast [\text{x}\ast \text{x}]]+E]& & \text{内部乘法的第二个因子是 x，应用规则 1}\\ & \Rightarrow [[3\ast [\text{x}\ast \text{x}]]+[E+E]]& & \text{右边的 }E\text{ 是加法 }[[2\ast x]+1]，\text{应用规则 3}\\ & \Rightarrow [[3\ast [\text{x}\ast \text{x}]]+[[E\ast E]+E]]& & \text{右边加法的第一个加数是 }[2\ast x]，\text{应用规则 4}\\ & \Rightarrow [[3\ast [\text{x}\ast \text{x}]]+[[\text{num}\ast E]+E]]& & \text{乘法的第一个因子是 2，应用规则 2}\\ & \Rightarrow [[3\ast [\text{x}\ast \text{x}]]+[[2\ast E]+E]]& & \text{将 num 替换为 2}\\ & \Rightarrow [[3\ast [\text{x}\ast \text{x}]]+[[2\ast \text{x}]+E]]& & \text{乘法的第二个因子是 x，应用规则 1}\\ & \Rightarrow [[3\ast [\text{x}\ast \text{x}]]+[[2\ast \text{x}]+\text{num}]]& & \text{右边加法的第二个加数是 1，应用规则 2}\\ & \Rightarrow [[3\ast [\text{x}\ast \text{x}]]+[[2\ast \text{x}]+1]]& & \text{将 num 替换为 1}\end{array}$$