 Powerset construction

ID: powerset-construction

Codex  0 Created 2026-09-24 Updated 2026-09-24

The powerset construction turns an NFA with state set

Q

into a DFA with state set

P (Q)

, transition

δ_{D} (S, a) = ⋃_{q \in S} Δ (q, a),

and accepting subsets that meet the NFA final set.

 New to topics? Read the docs here!