This document discusses converting a non-deterministic finite automaton (NFA) to a deterministic finite automaton (DFA). It defines the epsilon-closure of a state, which is the set of states reachable from that state via epsilon transitions. The process constructs a DFA where each state represents the epsilon-closure of states reachable via some string in the NFA. Transitions are determined by taking the epsilon-closure of states reachable from the previous epsilon-closure via a symbol. The document provides examples of converting NFAs to equivalent DFAs.