词法分析前置知识题型分析

最新推荐文章于 2023-09-04 23:45:44 发布

小萌新嘤嘤嘤

最新推荐文章于 2023-09-04 23:45:44 发布

阅读量195

点赞数

分类专栏：编译原理与技术文章标签：正则表达式

本文链接：https://blog.csdn.net/weixin_43931042/article/details/108815602

版权

本文详细探讨了有限自动机与正规表达式之间的转换，包括NFA转化为DFA的方法子集构造法，正则文法转化为NFA，DFA转化为正规文法的方程法，以及正规表达式如何转化为有限自动机。此外，还介绍了消除ε转换的NFA构造方法，以及DFA的化简过程，如填表法和等价替换。

摘要由CSDN通过智能技术生成

题型分类

NFA $\implies$ DFA

方法：子集构造法

例：设NFA $M=(\Sigma,Q,q_0,F,\delta)$ ，其中 $Q$ ={ $q_0$ , $q$ }， $T$ ={ $a$ , $b$ }， $\Sigma$ ={ $q$ }， $\delta$ 如表所示， $M$ 的状态转换图。找出等效的DFA $M_D$

	$a$	$b$
$q_0$	{ $q_0$ , $q$ }	{ $q$ }
$q$	$\phi$	{ $q_0$ , $q$ }

在这里插入图片描述

Sol. 构造一个接受 $L$ $($ $M$ $)$ 的DFA $L$ $($ $M_D$ $)$ = $(\Sigma_D,Q_D,q_{0D},F,\delta_D)$ ,其中
$Q_D=([q_0],[q],[q_0,q],\phi)$ $q_{0D}=[q_0]$ $F_D=([q],[q_0,q])$ $\delta_D$ 的定义如下，
由于 $\delta$ $($ $q_0$ , $a$ $)$ ={ $q_0$ , $q$ }，则有 $\delta_D$ $($ [ $q_0$ , $a$ ] $)$ = $[$ $q_0$ , $q$ $]$ ;
由于 $\delta$ $($ $q_0$ , $b$ $)$ ={ $q$ }，则有 $\delta_D$ $($ [ $q_0$ , $b$ ] $)$ = $[$ $q$ $]$ ;
由于 $\delta$ $($ $q$ , $a$ $)$ = $\phi$ ，则有 $\delta_D$ $($ [ $q$ , $a$ ] $)$ = $\phi$ ;
由于 $\delta$ $($ $q$ , $b$ $)$ ={ $q_0$ , $q$ }，则有 $\delta_D$ $($ [ $q$ , $b$ ] $)$ ={ $q_0$ , $q$ };
由于 $\delta$ $($ { $q_0$ , $q$ }, $a$ $)$ = $\delta$ $($ $q_0$ , $a$ $)$ $\bigcup$ $\delta$ $($ $q$ , $a$ $)$ ={ $q_0$ , $q$ } $\bigcup$ $\phi$ ={ $q_0$ , $q$ }，则有 $\delta_D$ $($ [ $q_0$ , $q$ ], $a$ $)$ = $[$ $q_0$ , $q$ $]$ ;
由于 $\delta$ $($ { $q_0$ , $q$ }, $b$ $)$ = $\delta$ $($ $q_0$ , $b$ $)$ $\bigcup$ $\delta$ $($ $q$ , $b$ $)$ ={ $q$ } $\bigcup$ { $q_0$ , $q$ }={ $q_0$ , $q$ }，则有 $\delta_D$ $($ [ $q_0$ , $q$ ], $b$ $)$ = $[$ $q_0$ , $q$ $]$
因此，DFA $M_D$ 的状态转换图如图所示

在这里插入图片描述

$\epsilon$ -NFA $\implies$ NFA

方法： $\epsilon$ 闭包法

首先对应有 $\epsilon$ 转换的NFA $M$ ={ $\Sigma,Q,q_0,F,\delta$ }，构造无 $\epsilon$ 转换的NFA $M_1$ ={ $\Sigma,Q,q_0,F_1,\delta_1$ }
$F_1=\begin{cases} F\bigcup\{q_0\}, & \text {当$\epsilon-closure(q_0)$含$F$的一个状态} \\ F, & \text{否则} \end{cases}$
定义 $\delta_1$ ：对任意 $q\in{Q},a\in{\Sigma}$