【发布时间】：2022-06-30 01:42:46
【问题描述】：
我的 NFA 的起始状态 (S0) 有 2 个输出 epsilon 转换到 S1 和 S2，并且 S1 和 S2 有进一步的转换，并且彼此不相交。那么在将 {S1,S2} 转换为 DFA 时，我是否将其视为一种状态？
【问题讨论】：
-
这个问题可能更适合Computer Science Stack Exchange
标签： finite-automata dfa nfa
【发布时间】：2022-06-30 01:42:46
【问题描述】：
**The start state(S0) of my NFA has 2 outgoing epsilon** transitions to S1 and S2, and, S1 and S2 have further transitions, and are disjoint of each other.
Yes..we consider {S1,S2} as one state while converting €-NFA to DFA..
Because both the transition having € closure...and they move from the same state...
let us take a example..
We have 7 states...
Q={q0,q1,q2,q3,q4,q5,q6}
Δ={0,1}
We have epsilon transitions for {q0,q3,q6,q1}
We have two outgoing epsilon transitions q5,q2 from q1
即， ε-闭包(q1)={q2,q5}
From the above example we have to convert ε-nfa to dfa
【讨论】：