Subset construction (powerset construction)

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:algorithm
gptkbp:alsoKnownAs powerset construction
gptkbp:complexity exponential in number of NFA states
gptkbp:describedBy Hopcroft and Ullman, Introduction to Automata Theory, Languages, and Computation
gptkbp:field theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label Subset construction (powerset construction)
gptkbp:input gptkb:nondeterministic_finite_automaton
gptkbp:output gptkb:deterministic_finite_automaton
gptkbp:relatedTo gptkb:finite_automata
regular languages
gptkbp:step construct states as subsets of NFA states
define transitions based on NFA transitions
identify start state as subset containing NFA start state
identify accepting states as subsets containing NFA accepting states
gptkbp:usedFor converting NFA to DFA
gptkbp:usedIn automata theory
gptkbp:bfsParent gptkb:Nondeterministic_finite_automaton
gptkbp:bfsLayer 7