《编译原理》一道关于逆波兰式的作业题（学委推导出了逆波兰式的数学公式表示）

$考虑下面的上下文无关文法：$ $$S\to SS\ast |SS+|a$$
$(1).表明通过此文法如何生成串aa+a\ast ，并为该串构造语法树$
$(2).该文法生成的语言是什么？$

$解：$
$(1).S\Rightarrow SS\ast \Rightarrow Sa\ast \Rightarrow SS+a\ast \Rightarrow Sa+a\ast \Rightarrow aa+a\ast$
$可为该推导序列构造语法树如下：$

$(2).$ 由 规 则 { S → a S → S S ∗    ∣    S S + 可 知 ， 一 个 串 可 以 由 两 个 串 及 一 个 紧 跟 其 后 的 运 算 符 { + ∗ } 组 成 由规则\begin{cases} S → a \\ S → SS* \; | \; SS+ \end{cases}可知，一个串可以由两个串及一个紧跟其后的运算符\{+ \quad *\}组成 由规则{S→aS→SS∗∣SS+​可知，一个串可以由两个串及一个紧跟其后的运算符{+∗}组成
这 个 语 言 显 然 定 义 了 字 符 a 在 运 算 集 { + ∗ } 上 的 逆 波 兰 式 \qquad\qquad 这个语言显然定义了字符a在运算集\{+ \quad * \}上的逆波兰式 这个语言显然定义了字符a在运算集{+∗}上的逆波兰式

$下面附上\underline{\text{咱班学委}}苦思一天所想到逆波兰式的数学表达式，以及老师的理解思路$

$\text{数学表达式}$
{    a w 1 w 2 ⋯ w k    ∣    w i = a A i ( +    ∣    ∗ ) B i ,    A i , B i , k ∈ N , 其 中 ∑ i = 1 k A i = ∑ i = 1 k B i , 且    ∀    j ≤ k    有 ∑ i = 1 j A i ≥ ∑ i = 1 j B i    } \qquad\qquad\qquad\qquad \begin{aligned} \{ \; a w_1 w_2 \cdots w_k \; | \; & w_i = a^{A_i} (+ \; | \; *)^{B_i}, \; A_i, B_i, k ∈ N, \\ & 其中 \sum\limits_{i=1}^{k}A_i = \sum\limits_{i=1}^{k}B_i, \\ & 且 \; \forall \; j \le k \;有 \sum\limits_{i=1}^{j}A_i \ge \sum\limits_{i=1}^{j}B_i \; \} \end{aligned} {aw1​w2​⋯wk​∣​wi​=aAi​(+∣∗)Bi​,Ai​,Bi​,k∈N,其中i=1∑k​Ai​=i=1∑k​Bi​,且∀j≤k有i=1∑j​Ai​≥i=1∑j​Bi​}​

$\text{理解思路}$
$做出状态转换图如下：$
\qquad\qquad\qquad\qquad
$根据这个状态转换图构造出的自动机其实是一个无限状态自动机$

$从这个状态转换图来看$
$①S到Z的第一个状态转换，需要1次a$
$②Z到A、B、C等状态，可以经过若干组【连续的a和连续的(+|\ast )】$
$③Z到A、B、C等状态，需要的a的总次数必然比需要的(+|\ast )的总次数多$
$④Z经过若干次回到Z终态，需要的a的次数必然等于需要的(+|\ast )$

$那么$
$根据①②，可以知道表达式的形式为a{w}_1{w}_2\cdots w_k，w_i=a^{A_i}(+|\ast {)}^{B_i}，A_i,B_i,k\in N$
$根据③，可以知道存在约束：\forall j\le k有\sum _{i=1}^j{A}_i\ge \sum _{i=1}^j{B}_i$
$根据④，可以知道存在约束：\sum _{i=1}^k{A}_i=\sum _{i=1}^k{B}_i$

$于是就总结出了逆波兰式的数学表达式如下：$

{    a w 1 w 2 ⋯ w k    ∣    w i = a A i ( +    ∣    ∗ ) B i ,    A i , B i , k ∈ N , 其 中 ∑ i = 1 k A i = ∑ i = 1 k B i , 且    ∀    j ≤ k    有 ∑ i = 1 j A i ≥ ∑ i = 1 j B i    } \qquad\qquad\qquad\qquad\qquad\qquad \begin{aligned} \{ \; a w_1 w_2 \cdots w_k \; | \; & w_i = a^{A_i} (+ \; | \; *)^{B_i}, \; A_i, B_i, k ∈ N, \\ & 其中 \sum\limits_{i=1}^{k}A_i = \sum\limits_{i=1}^{k}B_i, \\ & 且 \; \forall \; j \le k \;有 \sum\limits_{i=1}^{j}A_i \ge \sum\limits_{i=1}^{j}B_i \; \} \end{aligned} {aw1​w2​⋯wk​∣​wi​=aAi​(+∣∗)Bi​,Ai​,Bi​,k∈N,其中i=1∑k​Ai​=i=1∑k​Bi​,且∀j≤k有i=1∑j​Ai​≥i=1∑j​Bi​}​