ChatDiagram
automata theory · formal languages · state machines

Subset Construction DFA for NFA with ε-Transitions

النوع مخطط حالاتالمعيار OMG UML 2.5.1 §14 + Harel (1987) statechartالمحرّك schematex-stateآخر تحديث 28‏/9‏/2026
Subset Construction DFA for NFA with ε-Transitions
Drawing preview
السيناريو

An NFA with epsilon transitions is converted to an equivalent DFA using subset construction. This diagram shows the deterministic state machine where each state is a set of NFA states.

ما الذي يتضمنه هذا الرسم

اقرأ القرارات الكامنة وراءه.

01

Start with ε-closure of the NFA start state

02

Include a dead state ∅ for undefined transitions to keep the DFA complete

03

Mark states containing an NFA accept state as accepting using notes rather than final pseudo-states

Use when transforming a non-deterministic finite automaton with ε-transitions into a deterministic one for simulation, minimization, or regex matching.

تصفّح جميع قوالب مخطط حالات ←