《编译原理与技术》知识点、例题整理——2 形式语言与自动机基础

诸葛思颖

已于 2024-02-28 14:19:16 修改

阅读量1k

点赞数 18

分类专栏：编译原理文章标签：编译原理

于 2024-01-26 13:51:16 首次发布

本文链接：https://blog.csdn.net/si_ying/article/details/135863642

版权

编译原理专栏收录该内容

1 篇文章 0 订阅

订阅专栏

一、语言和文法

1、字母表、符号串、语言

字母表：符号（字母、数字、各种标点和运算符等）的非空有限集合。

符号串：定义在某个字母表上，由该字母表中的符号组成的有限长度的符号序列。空串用 $\varepsilon$ 表示。

符号串的运算：

字符串 $\alpha$ 的长度： $|\alpha|$ ，表示 $\alpha$ 中出现的符号的个数。 $|\varepsilon|=0$
字符串 $\alpha$ 的前缀：从符号串 $\alpha$ 的末尾删除任意个字符后得到的符号串，包括 $\varepsilon$ 和 $\alpha$
字符串 $\alpha$ 的后缀：从符号串 $\alpha$ 的开头删除任意个字符后得到的符号串，包括 $\varepsilon$ 和 $\alpha$
字符串 $\alpha$ 的子串：从符号串 $\alpha$ 的开头/末尾删除任意个字符后得到的符号串
符号串 $\alpha$ 的真前缀、真后缀、真子串：从 $\alpha$ 的前缀、后缀、子串中分别删掉 $\alpha$
符号串 $\alpha$ 的子序列：从符号串 $\alpha$ 中删除任意个符号后得到的符号串，被删的符号可以不连续
符号串的连接：拼起来。 $\varepsilon\alpha=\alpha\varepsilon=\alpha$
符号串 $\alpha$ 的 $n$ 次幂： $n$ 个 $\alpha$ 拼起来。 $\alpha^0=\varepsilon$

语言：在某个确定字母表上的符号串的集合。

语言的运算：

语言 $L$ 和语言 $M$ 的并： $L\cup M=\left\{ s|s\in L\text{或}s\in M \right\}$
语言 $L$ 和语言 $M$ 的连接： ${ LM=\{$ $s t$ $|s\in L,t\in M\}$
语言 $L$ 的 $n$ 次幂： $L^n=LL^{n-1},L^0=\left\{ \varepsilon \right\}$
语言 $L$ 的 Kleene 闭包： $L^*=L^0\cup L^1\cup L^2\cup L^3\cup \cdots$
语言 $L$ 的正闭包： $L^+=L^1\cup L^2\cup L^3\cup \cdots$

2、文法及其形式定义

文法的形式定义：
在这里插入图片描述

💡 文法描述的语言是唯一的，但用于描述语言的方法不唯一

文法的分类：根据对产生式的施加条件不同进行划分，文法由强到弱，逐级包含

在这里插入图片描述
约定：“文法” 默认为上下文无关文法

巴科斯范式元符号：

$“ ::= ”$ ：定义为 / 由……组成
$“ < ... > ”$ ：非终结符号
$“∣”$ ：或

文法的书写约定：

终结符号	非终结符号	文法符号	终结符号串	文法符号串
$a\ b\ c$ 等	A B C S 等，S 常作开始符号	$X\ Y\ Z$ 等	$u\ v\ z$ 等	$\alpha\ \beta\ \gamma$ 等
正体字符串：id if then 等	小写斜体字符串： $expr\ term$ 等
$+\ -\ *\ /$ 等
$(\ )\ ,\ :\ =$ 等
1 2 … 9
$\varepsilon$ ∅ 等

通常，可以直接用产生式的集合代替四元组来描述文法，第一个产生式的左部符号是文法的开始符号。

3、推导和短语

推导：
假定 $A\rightarrow\gamma$ 是一个产生式，则有 $\alpha A\beta\Rightarrow\alpha\gamma\beta$ ， $“\Rightarrow”$ 表示一步推导
如果有直接推导序列 $\alpha_1\Rightarrow\alpha_2\Rightarrow...\Rightarrow\alpha_n$ ，则记作 $\alpha _1\overset{*}{\Rightarrow}\alpha _n$ ， $“\overset{*}{\Rightarrow}”$ 表示 0 步或多步推导， $“\overset{+}{\Rightarrow}”$ 表示 1 步或多步推导
如果 $\alpha \overset{*}{\Rightarrow}\beta$ ，且在每一步推导中都替换 $\alpha$ 中最左边的非终结符号，则称为最左推导，记作 $\alpha \underset{\mathrm{lm}}{\overset{*}{\Rightarrow}}\beta$
如果 $\alpha \overset{*}{\Rightarrow}\beta$ ，且在每一步推导中都替换 $\alpha$ 中最右边的非终结符号，则称为最右推导，记作 $\alpha \underset{\mathrm{rm}}{\overset{*}{\Rightarrow}}\beta$
最右推导也称规范推导

句型：对于文法 $G=(V_T,V_N,S,\varphi)$ ，如果 $S\overset{*}{\Rightarrow}\alpha$ ，则称 $\alpha$ 为文法 $G$ 的一个句型
句子：仅含有终结符的句型是文法的句子
语言：文法 $G$ 的所有句子组成的集合，记作 $L (G)$

短语：对于文法 $G=(V_T,V_N,S,\varphi)$ ，
如果 $S\overset{*}{\Rightarrow}\alpha A\delta\overset{+}{\Rightarrow}\alpha\beta\delta$ ，则称 $\beta$ 是句型 $\alpha\beta\delta$ 关于非终结符号 $A$ 的短语
如果 $S\overset{*}{\Rightarrow}\alpha A\delta\ {\Rightarrow}\ \alpha\beta\delta$ ，则称 $\beta$ 是句型 $\alpha\beta\delta$ 关于非终结符号 $A$ 的直接短语
句柄：一个句型的最左直接短语称为该句型的句柄

4、分析树及二义性

分析树 / 推导树：推导的图形表示，内部结点由非终结符号标记，叶结点由非终结符号或终结符号标记

💡 一颗分析树可以对应多个推导过程

分析树的子树：如果子树的根结点的标记是非终结符号 $A$ ，则该子树为 $A$ -子树

子树与短语的关系：

分析树所有叶结点从左到右排列起来，构成一个句型
分析树的一颗子树所有叶结点从左到右排列起来，构成该句型的一个相对于子树根节点的短语
分析树的一颗只有父子两代的子树所有叶结点从左到右排列起来，构成该句型的一个相对于子树根节点的直接短语
分析树中最左边的直接短语就是该句型的句柄

【例】画出如下推导的分析树，说明该句型的短语、直接短语和句柄。
在这里插入图片描述
【答】 分析树如下：

短语有： $i_1*(i_2+T)$ 、 $i_1$ 、 $i_2$ 、 $i_2+T)$ 、 $i_2+T$
直接短语有： $i_1$ 、 $i_2$
句柄为： $i_1$

二义性：
如果一个文法的某个句子（或句型）有不止一颗分析树与之对应，则这个句子（或句型）是二义性的。含有二义性句子（或句型）的文法是二义性文法。

如果两个文法产生的语言相同，则称这两个文法是等价的。

有时可以一个二义性的文法变换为一个与之等价的但无二义性的文法，有时不能，若一种语言不存在无二义性的文法，这样的语言称为二义性的语言。

5、文法变换

1）文法二义性的消除

【例】有文法如下图，判断是否有二义性，若有则进行消除。
在这里插入图片描述
【答】 对于句子 $\mathrm{if}\ e_1 \mathrm{then}\ \mathrm{if}\ e_2\ \mathrm{then}\ other_1\ \mathrm{else}\ other_2$ 有以下两颗不同的分析树“

故这个文法是二义性的。

可以通过规定 “else 必须匹配离它最近的那个未与 else 匹配的 then”，即最近最后匹配原则来消除二义性。

将文法改写为：

在这里插入图片描述
根据改写后的文法，上述句子只有一颗分析树：

2）左递归的消除（暂时先空下）

二、有限自动机

含义：具有离散输入和输出的一种数学模型，系统可以处于有限个内部状态的任何一个中。

分类：
确定的有限自动机（ $\mathrm{DFA}$ ）—— 后继状态唯一
非确定的有限自动机（ $\mathrm{NFA}$ ）—— 后继状态不唯一

描述形式：状态转换图、状态转换矩阵/表

1、DFA

在这里插入图片描述
字符串识别：对 $\Sigma$ 上的任何符号串 $\omega \in \Sigma ^*$ ，若存在一条从初态结点到终态结点的路径，该路径上每条边的标记连接成的符号串恰好是 $\omega$ ，则称 $\omega$ 能为 $\mathrm{DFA}\ M$ 所识别。

语言识别： $\mathrm{DFA}\ M$ 所能识别的符号串全体记为 $L (M)$ ，称为 $\mathrm{DFA}\ M$ 所识别的语言。 $L\left( M \right) =\left( \omega |\omega \in \varSigma ^*,\text{并且存在}q\in F,\text{使}\delta \left( q_0,\omega \right) =q \right)$

【例】设有 ${\mathrm{DFA}\ M=\left( \left\{ 0,1 \right\} ,\left\{ A,B,C,S,f \right\} ,S,\left\{ f \right\} ,\delta \right) }$ ，其中 $\delta \left( S,0 \right) =B\,\ \ \ \, \delta \left( A,0 \right) =f\,\ \ \ \, \delta \left( B,0 \right) =C\,\ \ \ \, \delta \left( C,0 \right) =f \\ \delta \left( S,1 \right) =A\,\ \ \ \, \delta \left( A,1 \right) =C\,\ \ \ \, \delta \left( B,1 \right) =f\,\ \ \ \, \delta \left( C,1 \right) =f$ $M$ 的状态转换图为：
在这里插入图片描述
$M$ 的状态转换矩阵为：

$L\left( M \right) =\left\{ 10,110,111,01,000,001 \right\}$

2、NFA

在这里插入图片描述
字符串识别：对 $\Sigma$ 上的任何符号串 $\omega \in \Sigma ^*$ ，若存在一条从初态结点到终态结点的路径，该路径上每条边的标记连接成的符号串恰好是 $\omega$ ，则称 $\omega$ 能为 $\mathrm{NFA}\ M$ 所识别。

语言识别： $\mathrm{NFA}\ M$ 所能识别的符号串全体记为 $L (M)$ ，称为 $\mathrm{NFA}\ M$ 所识别的语言。

【例】设有 ${\mathrm{NFA}\ M=\left( \left\{ a,b \right\} ,\left\{ 0,1,2,3 \right\} ,0,\left\{ 3 \right\} ,\delta \right) }$ ，其中 $\delta \left( 0,a \right) =\left\{ 0,1 \right\} \,\ \ \ \, \delta \left( 0,b \right) =\left\{ 0 \right\} \,\ \ \ \, \delta \left( 1,b \right) =\left\{ 2 \right\} \,\ \ \ \, \delta \left( 2,b \right) =\left\{ 3 \right\}$ $M$ 的状态转换图为：
在这里插入图片描述
$M$ 的状态转换矩阵为：

$L\left( M \right) =\left\{ \left( a|b \right) ^*abb \right\}$

3、NFA 的确定化【重点】

结论：对于任意一个 $\mathrm{NFA}\ M$ ，都存在一个与之等价的 $\mathrm{DFA}\ D$ ，即 $L (M) = L (D)$ .

方法一：转换函数构造法

step1：假设 $\mathrm{NFA}\ M = (\Sigma, Q,q_0,F,\delta)$ ， $\mathrm{DFA}\ D = (\Sigma, Q',q_0,F',\delta')$ ，其中：

$Q^{'}$ 为 $Q$ 的幂集，即 $Q$ 的一切子集组成的集合
$F^{'}$ 为含有 $M$ 终态的 $Q$ 的所有子集组成的集合
$\delta '\left( \left\{ q_1,q_2,\cdots ,q_k \right\} ,a \right) =\delta \left( q_1,a \right) \cup \delta \left( q_2,a \right) \cup \cdots \cup \delta \left( q_k,a \right)$

step2：去掉无用的状态 ∅

【例】请构造与 $\mathrm{NFA}\ M=(\{a,b\},\{A,B\},A,\{B\},\delta)$ 等价的 $\mathrm{DFA} D$ ，对应的状态转换图如下：
在这里插入图片描述
【答】 假设 $\mathrm{NFA}\ M = (\Sigma, Q,q_0,F,\delta)$ ， $\mathrm{DFA}\ D = (\Sigma, Q',q_0,F',\delta')$ ，
其中 $\Sigma=\{a,b\},Q=\{A,B\},q_0=A,F=\{B\}$ ，则

$Q'=\{∅,\{A\},\{B\},\{A,B\}\}$
$F'=\{\{B\},\{A,B\}\}$
$\delta '\left( ∅,a \right) =∅$ （删）
$\delta '\left( ∅,b \right) =∅$ （删）
$\delta '\left( \left\{ A \right\} ,a \right) =\delta \left( A,a \right) =\left\{ A,B \right\}$
$\delta '\left( \left\{ A \right\} ,b \right) =\delta \left( A,b \right) =\left\{ B \right\}$
$\delta '\left( \left\{ B \right\} ,a \right) =\delta \left( B,a \right) =∅$ （删）
$\delta '\left( \left\{ B \right\} ,b \right) =\delta \left( B,b \right) =\left\{ A,B \right\}$
$\delta '\left( \left\{ A,B \right\} ,a \right) =\delta \left( A,a \right) \cup \delta \left( B,a \right) =\left\{ A,B \right\} \cup ∅=\left\{ A,B \right\}$
$\delta '\left( \left\{ A,B \right\} ,b \right) =\delta \left( A,b \right) \cup \delta \left( B,b \right) =\left\{ B \right\} \cup \left\{ A,B \right\} =\left\{ A,B \right\}$

最后得到 $\mathrm{DFA}\ D$ 的状态转换矩阵和状态转换图如下：
在这里插入图片描述

在这里插入图片描述

方法二：子集构造法（我喜欢这个）

step1：用状态子集构造 $\mathrm{NFA}\ M$ 的状态转换矩阵，即列出每个状态子集，以及该子集相对于每个输入符号的后继子集

step2：对矩阵中的状态子集重新命名，如改成0、1、2、……

【例】题目同上道例题。

【答】 用状态子集构造 $\mathrm{NFA}\ M$ 的状态转换矩阵：

在这里插入图片描述
重命名：

4、DFA 对 $\delta$ 的扩充定义

前面定义的 $\delta$ 是作用于一个输入字符和一个状态上，现在扩充定义是作用在一个输入字符串和一个状态上：

对任何 $a\in \varSigma ,q\in Q$ ，定义： $\delta \left( q,\varepsilon \right) =q$ $\delta \left( q,\omega a \right) =\delta \left( \delta \left( q,\omega \right) ,a \right)$

5、DFA 的化简【重点】

含义： $\mathrm{DFA}\ D$ 化简就是寻找一个状态数比较少的 $\mathrm{DFA}\ D'$ ，使 $L (D) = L (D^{'})$

结论：存在唯一最少状态的 $\mathrm{DFA}\ D''$ ，使 $L (D) = L (D^{''})$

状态等价与状态可区分：设 $s,t\in Q$ ，若对任何 $\omega\in \Sigma^*$ , $\delta(s,w)\in F$ 当且仅当 $\delta(t,w)\in F$ ，则称状态 $s$ 和 $t$ 是等价的，否则 $s$ 和 $t$ 是可区分的。

化简方法：

step1：将状态集合 $Q$ 分割成一些互不相交的子集：使每个子集中的任何两个状态是等价的，而任何两个属于不同子集的状态是可区分的。

step2：在每个子集中人去一个状态作作为代表，删掉子集中其余状态，并将射向集合中其他节点的边改为射向代表节点的边

step3：删除无用状态，即到不了终结状态的状态

状态集合的分割：

step1：将状态集合 $Q$ 划分为两个子集：终结状态子集 $F$ 和非终结状态子集 $G$

step2：取每个输入符号 $a$ ，对每个子集再进行划分，使子集中相对于该符号能够转换到同一子集的状态作为一个新的子集

step3：重复 step2，直到每个子集都不能再划分为止

【例】最小化下面状态转换图描述的 $\mathrm{DFA}\ D$ .
在这里插入图片描述
【答】 首先进行分割：
① $F=\{E\}\ \ \ \ G=\{A,B,C,D\}$
② $F=\{E\}\ \ \ \ G=\{A,B,C\}\ \ \ \ G'=\{D\}$
③ $F=\{E\}\ \ \ \ G=\{A,C\}\ \ \ \ G'=\{D\}\ \ \ \ G''=\{B\}$
最终分割为四个子集： ${E\},\{A,C\},\{D\}\,\{B\}$

再进行代表化，取 $E, A, D, B$ 分别为 ${E\},\{A,C\},\{D\}\,\{B\}$ 的代表状态，重新连边：
在这里插入图片描述
没有无用状态，即该图为最小化后的 $\mathrm{DFA}\ D$ 。

6、具有 $\varepsilon$ -转移的 NFA 及去 $\varepsilon$ -转移

在这里插入图片描述
具有 $\varepsilon$ -转移的 NFA $M$ 的状态转换图中可能有标记为 $\varepsilon$ 的边
当 $\delta \left( q,\varepsilon \right) =\left\{ q_1,q_2,\cdots q_k \right\}$ 时，从 $q$ 出发有 $k$ 条标记为 $\varepsilon$ 的边分别指向 $q_1,q_2,\cdots q_k$ .

【例】有 $\mathrm{NFA} M=\left( \left\{ a,b \right\} ,\left\{ 0,1,2,3,4 \right\} ,0,\left\{ 2,4 \right\} ,\delta \right)$ ，其中 $\delta \left( 0,\varepsilon \right) =\left\{ 1,3 \right\} \,\, \delta \left( 1,a \right) =\left\{ 1,2 \right\} \,\, \delta \left( 3,b \right) =\left\{ 3,4 \right\}$
该 NFA $M$ 的状态转换矩阵和状态转换图分别为：
在这里插入图片描述
该 NFA $M$ 所识别的语言是 $L(M)=\{a^+|b^+\}$

定理：对任何一个具有 $\varepsilon$ -转移的 NFA $M$ ，都存在一个等价的不具有 $\varepsilon$ -转移的 NFA $N$

引入操作： $\varepsilon\_\mathrm{closure}(q)$ 表示从状态 $q$ 出发，经过 $\varepsilon-$ 道路（路径上所有边的标记连起来是 $\varepsilon$ 的道路）可以到达的所有状态的集合，集合中包含 $q$ 本身。求解时可用栈思想

构造不具有 $\varepsilon$ -转移的 NFA $N$ 的方法：

假设 $N=(\Sigma ,Q,q_0,F',\delta ')$
$F^{'}$ 为 $F$ 与 $\varepsilon\_\mathrm{closure}(q)$ 中包含终态的所有状态 $q$ 的并
$\delta '\left( q,a \right) =\left\{ q'|q'\text{从为从}q\text{出发，经过标记为}a\text{的道路所能达到的状态} \right\}$ ，再删掉结果为 ∅ 的部分

【例】构造与上道例题中的 NFA $M$ 等价的不具有 $\varepsilon$ -转移的 NFA $N$ 。

【答】 原 NFA $M$ 的状态转换矩阵和状态转换图分别为：
在这里插入图片描述
$F=\{2,4\}$
$\varepsilon\_\mathrm{closure}(0)=\{0,1,3\}$
$F\cap\varepsilon\_\mathrm{closure}(0)=$ ∅，则 $F'=F=\{2,4\}$

删掉无用状态 ∅ 后，NFA $N$ 的状态转换矩阵和状态转换图分别为：

7、对具有 $\varepsilon$ -转移的 NFA 确定【重点】

结论：对任何一个具有 $\varepsilon$ -转移的 NFA $M$ ，都存在一个等价的 DFA $D$

引入操作：

$\varepsilon \_\mathrm{closure(}T)=\bigcup\nolimits_{i=1}^n{\varepsilon \_closure(q_i)\ ,\text{其中}q_i\in T}$
$\mathrm{move}\left( T,a \right) =\left\{ q|\delta \left( q_i,a \right) =q,\text{其中}q_i\in T \right\}$

方法：
在这里插入图片描述
注：DTT 为 $D$ 的状态转换矩阵

【例】有 NFA $M$ 的状态转换图如下，请构造等价的 DFA $N$
在这里插入图片描述

【答】 由题知 $\Sigma=\{a,b\}$
令 $A=\varepsilon\_\mathrm{closure}(0)=\{0,1,2,4,7\}$

$\mathrm{DTT}[A,a]=\varepsilon\_\mathrm{closure}(\mathrm{move}(A,a))=\varepsilon\_\mathrm{closure}(\{3,8\})=\{1,2,3,4,6,7,8\}=B$
$\mathrm{DTT}[A,b]=\varepsilon\_\mathrm{closure}(\mathrm{move}(A,b))=\varepsilon\_\mathrm{closure}(\{5\})=\{1,2,4,5,6,7\}=C$

$\mathrm{DTT}[B,a]=\varepsilon\_\mathrm{closure}(\mathrm{move}(B,a))=\varepsilon\_\mathrm{closure}(\{3,8\})=B$
$\mathrm{DTT}[B,b]=\varepsilon\_\mathrm{closure}(\mathrm{move}(B,b))=\varepsilon\_\mathrm{closure}(\{5,9\})=\{1,2,4,5,6,7,9\}=D$

$\mathrm{DTT}[C,a]=\varepsilon\_\mathrm{closure}(\mathrm{move}(C,a))=\varepsilon\_\mathrm{closure}(\{3,8\})=B$
$\mathrm{DTT}[C,b]=\varepsilon\_\mathrm{closure}(\mathrm{move}(C,b))=\varepsilon\_\mathrm{closure}(\{5\})=C$

$\mathrm{DTT}[D,a]=\varepsilon\_\mathrm{closure}(\mathrm{move}(D,a))=\varepsilon\_\mathrm{closure}(\{3,8\})=B$
$\mathrm{DTT}[D,b]=\varepsilon\_\mathrm{closure}(\mathrm{move}(D,b))=\varepsilon\_\mathrm{closure}(\{5,10\})=\{1,2,4,5,6,7,10\}=E$

$\mathrm{DTT}[E,a]=\varepsilon\_\mathrm{closure}(\mathrm{move}(E,a))=\varepsilon\_\mathrm{closure}(\{3,8\})=B$
$\mathrm{DTT}[E,b]=\varepsilon\_\mathrm{closure}(\mathrm{move}(E,b))=\varepsilon\_\mathrm{closure}(\{5\})=C$

共构造出 $A 、 B 、 C 、 D 、 E$ 五种状态，其中 $A$ 为初态， $E$ 为终态，因为 $E$ 中包含原终态 10.

所构造的 DFA $D$ 的状态转换矩阵和状态转换图如下图所示：
在这里插入图片描述

8、正规表达式（简称正规式）

在这里插入图片描述

正规表达式表示的语言叫做正规集

规定优先级可省括号：闭包（*）＞连接＞并（|）

【例】如果 $\Sigma=\{a,b\}$
在这里插入图片描述

三、正规表达式与有限自动机的等价性

定理：对于任何一个正规表达式 $r$ ，都存在一个有限自动机 $M$ ，使 $L (r) = L (M)$

1、正规表达式向 FA 的转换

首先将转换图进行拓广：令每条有向边的标记可以是一个正规表达式
在这里插入图片描述
方法：不断将 $r$ 按照以下规则进行分裂、加入新的节点，直到所有有向边的标记都是基本符号为止

【例】为正规表达式 $a|b)^*abb$ 构造等价的 NFA
【答】
在这里插入图片描述

2、FA 向正规表达式的转换

首先，在 FA $M$ 中增加两个节点 $s$ 和 $f$ 作为新的初态结点和终结结点，并分别与原来的初态结点和终结结点用 $\varepsilon$ 边相连

方法：反复利用下面替换规则，逐步消去中间结点，直到只剩下 $s$ 和 $f$
在这里插入图片描述

【例】为下面的 NFA $M$ 构造等价的正规表达式 $r$
在这里插入图片描述
【答】

四、正规文法与有限自动机的等价性

定理：

对于每一个右线性文法 $G$ 或左线性文法 $G$ ，都存在一个等价的有限自动机 $M$
对于每一个 DFA $M$ ，都存在一个等价的右线性文法 $G$ 和左线性文法 $G^{'}$

1、右线性文法向有限自动机的转换

设有右线性文法 $G=(V_T,V_N,S,\varphi)$ ，与之等价的有限自动机 $M=(\Sigma ,Q,q_0,F,\delta)$

$\Sigma=V_T$
$Q=V_N\cup\{f\}$
$q_0=S$
$F=\{f\}$ ， $f$ 为新添加的符号
$\delta$ ：
若有 $A\rightarrow a$ ，则有 $\delta(A,a)=f$
若有 $A\rightarrow aA_1|aA_2|...|aA_k$ ，则有 $\delta(A,a)=\{A_1,A_2,...,A_k\}$
其中 $A\in V_N,A_i\in V_N(i=1,2,...,k),a\in V_T\cup\{\varepsilon\}$

对关系的形象描述：对于右线性文法 $G$ 和字符串 $\omega\in L(G)$ ，在最左推导的过程中，每一次利用产生式都相当于在有限自动机 $M$ 中向终态方向前进一步

2、左线性文法向有限自动机的转换

设有左线性文法 $G=(V_T,V_N,S,\varphi)$ ，与之等价的有限自动机 $M=(\Sigma ,Q,q_0,F,\delta)$

$\Sigma=V_T$
$Q=V_N\cup\{q_0\}$
$q_0$ ：新添加的符号
$F=\{S\}$
$\delta$ ：
若有 $A\rightarrow a$ ，则有 $\delta(q_0,a)=A$
若有 $A_1\rightarrow Aa,A_2\rightarrow Aa,...,A_k\rightarrow Aa$ ，则有 $\delta(A,a)=\{A_1,A_2,...,A_k\}$
其中 $A\in V_N,A_i\in V_N(i=1,2,...,k),a\in V_T\cup\{\varepsilon\}$

【例】试构造与如下右线性文法 $G=\left( \left\{ a,b \right\} ,\left\{ S,B \right\} ,S,\varphi \right)$ 等价的有限自动机 $M$ ，其中，
在这里插入图片描述
【答】 设 FA $M=(\Sigma ,Q,q_0,F,\delta)$

3、有限自动机向右线性文法的转换

设有有限自动机 $M=(\Sigma ,Q,q_0,F,\delta)$ ，与之等价的右线性文法 $G=(V_T,V_N,S,\varphi)$

$V_T=\Sigma$
$V_N=Q$
$S=q_0$
$\varphi$ ：
若有 $\delta(A,a)=B$ ，则
如果 $B\notin F$ ：则有 $A\rightarrow aB$
如果 $B\in F$ ：则有 $A\rightarrow aB | a$

【例】设有 DFA $M=(\{a,b\},\{q_0,q_1,q_2,q_3\},q_0,\{q_3\},\delta)$ ，其中 $\delta$ 如下：
在这里插入图片描述构造与之等价的右线性文法。

【答】 设等价的右线性文法为 $G=(V_T,V_N,S,\varphi)$
对于 $\varphi$ ，
由于 $q_1,q_2\notin\{q_3\}$ ，则有
$q_0\rightarrow aq_1$
$q_2\rightarrow aq_2$
$q_0\rightarrow bq_2$
$q_1\rightarrow bq_1$
由于 $q_2\in\{q_3\}$ ，则有
$q_1\rightarrow aq_3|a$
$q_2\rightarrow bq_3|b$

由于没有从 $q_3$ 开始的产生式，故 $q_3$ 是无用的状态。总上所述，则有：
$G=(\{a,b\},\{q_0,q_1,q_2\},q_0,\varphi)$
其中 $\varphi：$
$q_0\rightarrow aq_1|bq_2$
$q_1\rightarrow bq_1|aq_3|a$
$q_2\rightarrow aq_2|bq_3|b$

五、正规表达式与正规文法的等价性

1、正规定义式

在这里插入图片描述
作用：将一个正规表达式转换为一个等价的正规文法

【例】用正规表达式 $letter(letter|digit)^*$ 可以表示 Pascal 语言的标识符集合，如果引进一个名字 $i d$ 来表示它，而 $l e tt er$ 和 $d i g i t$ 也表示两个正规表达式的名字，则标识符集合可以表示为如下正规定义式：
在这里插入图片描述