【编译原理】2—语言构造文法的方法⭐

语言构造文法的方法⭐

⭐⭐⭐⭐⭐⭐
Github主页👉https://github.com/A-BigTree
项目链接👉https://github.com/A-BigTree/college_assignment
⭐⭐⭐⭐⭐⭐

由语言构造文法的常用方法有4个：

• 对称法
• 逐步求精法（分解法）
• 等价法
• 电路状态转换法

对称法

适用于存在对称性的语言，方法如下：

1. 找出对称轴
2. 找出对称性

列题：
L = { a 2 n b n ∣ n > 1   a n d   a , b ∈ V T } L=\{a^{2n}b^n|n>1\ and\ a,b\in V_T\} L={a2nbn∣n>1 and a,b∈VT​}
观察可得：

• $n=1时，L=aab$；
• $n=2时，L=aaaab\Rightarrow L=aa\mathbf{aab}b $

我们可以推出以下文法：
$$\begin{gathered} (1)S\Rightarrow aaSb \\ (2)S\Rightarrow aab \end{gathered}$$

逐步求精法（分解法）

1. 两种方法：自上而下或者从左到右；

2. 使用条件：语言各成分之间没有关联；

例题：
L 2 = { a i b j c k ∣ i , j , k ≥ 1   a n d   a , b ∈ V T } L_2=\{a^ib^jc^k|i,j,k\ge 1\ and\ a,b \in V_T\} L2​={aibjck∣i,j,k≥1 and a,b∈VT​}

• 自上而下求精法：

分析：

我们把$a^i,b^j,c^k$各自看成一个整体，由$i\ge 1$，语言中最少存在一个$a$，所以可以写成这样的文法：$A\Rightarrow aA|a$。同理可以得到其他两个，推出以下文法：
$$\begin{gathered} (1)S\Rightarrow ABC \\ (2)A\Rightarrow aA|a \\ (3)B\Rightarrow bB|b \\ (4)C\Rightarrow cC|c \end{gathered}$$

• 从左向右求精法：

分析：

$a^i{b}^j{c}^k=a^{\ast }{a}^{i-1}{b}^j{c}^k$，其中$i-1\ge 0$。当$i-1\ge 1$时，$S\Rightarrow aS$；当$i-1=0时，S\Rightarrow aA$。$A$对应语言是$b^j{c}^k$，同理可以推出以下文法：
$$\begin{gathered} (1)S\Rightarrow aS|aA \\ (2)A\Rightarrow bA|bB \\ (3)B\Rightarrow cB|c \end{gathered}$$

等价法

产生式两边具有相同特性

例题：
L 3 = { ω ∣ ω ∈ ( a , b ) ∗   a n d   a , b 数 量 相 同 } L_3 =\{\omega|\omega\in(a,b)^*\ and\ a,b数量相同\} L3​={ω∣ω∈(a,b)∗ and a,b数量相同}
分析：

首先我们写出下面三个产生式：

• 当以$a$开头时，$S\Rightarrow aA$
• 当以$b$开头时，$S\Rightarrow bB$
• $S$可以为空，$S\Rightarrow ϵ$

在$S、A、B$中，$a，b$的数量满足：

• $S:|a|=|b|$
• $A:|a|+1=|b|$
• $B:|b|+1=|a|$

在$A$中，若以$b$开头：$A\Rightarrow bS|b$；若以$a$开头：$A\Rightarrow aAA$

同理推出以下文法：
$$\begin{gathered} (1)S\Rightarrow aA|bB|ϵ \\ (2)A\Rightarrow bS|b|aAA \\ (3)B\Rightarrow aS|a|bBB \end{gathered}$$

电路状态转换法

语言中对元素有奇偶要求

电路状态概念：0代表偶，1代表奇；

比如000代表语言中a，b，c的个数都是偶数，现在增加一个a，那么电路状态就转换成100，同理b，c如下图：

结题步骤：

1. 构造电路状态转换图

   首先确定状态，如果有n个元素，则存在$2^n$个状态，然后链接状态。下图为3个元素的所有状态转换：
   

2. 确定开始状态和结束状态

   开始状态和结束状态是相对的，视题目具体情况确定：

   • 以全是0作为结束状态，以题目要求作为开始状态；
   • 以题目要求作为结束状态，以全是0作为开始状态；
   • 比如对于某种语言，以a或b开头，以c结尾，abc的数量皆是偶数，那么开始状态就不是唯一的，就不能用全是0作为开始状态。而结束状态是唯一的，所以可以拿全是0作为结束状态；

3. 命名各个状态

   初始状态用$S$命名，其他状态用$A,B,C\dots$命名；

4. 写出相应的产生式

   每条边的变化都对应一条产生式，对结束状态要增加一条产生式：$G\Rightarrow ϵ$，严格来说，最后可以写出$2^n(n+1)+1$条产生式；

例题：
L 4 = { ω ∣ ω ∈ ( 0 , 1 ) ∗ , 1 的 数 量 为 偶 数 } L_4=\{\omega|\omega\in(0,1)^*,1的数量为偶数\} L4​={ω∣ω∈(0,1)∗,1的数量为偶数}
电路状态转换图如下所示：

由题可得，共有两个状态：

• $S$：1的数量为偶数，$A$：1的数量为奇数；
• $S$作为终止状态；

根据状态转换图推出以下产生式：
$$\begin{gathered} (1)S\Rightarrow 0S|1A|ϵ \\ (2)A\Rightarrow 0A|1S \end{gathered}$$