什么是 TOC 中的空闭包?


ε 闭包 (P) 是从状态 P 在 ε 转换上可达的状态集。

ε 闭包如下所述 −

  • ε 闭包 (P) = P,其中 P ∈ Q
  • 如果存在 ε 闭包 (P) = {q} 且 𝛿(q, ε) =r 则,ε 闭包 (P) = {q, r}

示例

查找具有空值的以下非确定有限自动机 (NFA) 的 ε 闭包。

解决方案

ε 闭包 (q0)= {q0,q1,q2}

自身状态 + 可达 ε 状态。

ε 闭包 (q1)= { q1,q2}

q1 是自身状态,q2 是从 q1 输入空值获得的状态。

ε 闭包 (q2)= {q2}

让我们考虑一个示例来更清楚地理解空闭包 −

问题 - 在下面的图表中找到空闭包的数量?

解决方案 −

 

f2 的空闭包集合由元素组成 - {f2, f3}。因此,闭包集合中元素的数量为 2。

更新于:2021 年 6 月 12 日

19K+ 次浏览

开启你的 职业生涯

完成课程获得认证

开始
广告