Theory of Computation: NFA to DFA conversion (Subset Construction Method)