L'insieme degli stati possibili in una DFA è l'insieme delle combinazioni degli stati di una NFA, incluso insieme vuoto.
Per esempio, con un insieme di stati di una NFA {1, 2, 3}, si ottiene un insieme di stati DFA {∅, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}}
A questo punto compilo la tabella stati / alfabeto in base alle specifiche di NFA.