シナリオ
A duplicated NFA with an epsilon move between two identical copies of the remainder automaton is subset-constructed; the resulting DFA states are pairs like {A₀,B₀} and retain the same 0/1 transition structure.
この図に含まれるもの
図の背後にある意思決定を読み解く。
01
Use subset labels to show NFA state combinations after epsilon-closure
02
Mark the accepting DFA state with a note instead of a final sink
03
Omit unreachable empty subset to keep the diagram clean
Reuse when illustrating the subset construction algorithm for NFAs with epsilon transitions or duplicated states.