什么是 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。
广告