编译原理讲课

本文深入探讨了DFA(确定有限状态自动机)的最小化过程,阐述了最小化的重要性和存在性,并详细介绍了如何通过预处理、状态划分等步骤实现DFA的最小化。通过状态等价性和可区分性的概念,以及无用状态和不可达状态的消除,最终得到状态数最少的等价DFA。这一过程有助于降低编译器复杂度,提升运行效率。
摘要由CSDN通过智能技术生成

DFA的最小化

为什么最小化

DFA的最小化即寻求状态数最小的,且与原DFA等价的DFA

意义:最小化可以降低编译器构造的复杂度,提高编译器的运行效率

最小化是否存在

P56 定理3.2:对任意一个DFA N都存在一个等价的DFA M使得M包含最少的状态数,且M唯一(状态名不同的同构情况除外)

最小化算法

前置知识

1.状态之间的等价与可区分:

假设s和t为M的两个状态

  • 若分别从状态s和状态t出发都能读出某个字α而停止于终态,则称s和t等价

  • 存在一个字α,使得s和t一个读出α停止于终态,另一个读出α停止于非终态,则称s和t可区分

因此通过空串,一切非终态和终态之间都是可区分的

2.无用状态和不可达状态

无用状态:不存在从该状态到达终态的路径
不可达状态:不存在从初态到达该状态的路径

eg:在这里插入图片描述

详细步骤

1.预处理:删除N中所有的无用状态和不可达状态

2.对N的状态集进行划分

  • 初始划分:Π={F,S-F [,{error}] }

  • 对Π的每个子集P进行划分,直到Π中任意两个不同子集的状态是可区分的,而同一子集的任何两个状态是等价的(划分依据)

划分的依据:

对于任意一个状态子集
I j = { q 1 , q 2 , q 3 . . . q k } I_j = \bigr\{{q_1,q_2,q_3...q_k}\bigr\} Ij={q1,q2,q3...qk}
若存在一个输入字母表中的a,使得
T ( q i , a ) = s , T ( q j , a ) = t , s 和 t 不 在 当 前 划 分 Π 的 任 何 一 个 状 态 子 集 中 T ( q i , a ) 和 T ( q j , a ) 的 任 何 一 个 无 定 义 T(q_i,a)=s,T(q_j,a)=t,s和t不在当前划分Π的任何一个状态子集中\\ T(q_i,a)和T(q_j,a)的任何一个无定义 T(qi,a)=s,T(qj,a)=t,stΠT(qi,a)T(qj,a)
则可以把 I j I_j Ij一分为二

3.让每个子集选出一个代表,同时消去该子集的其他状态

实例

P55 图3-13

在这里插入图片描述

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值