Transforms the SFA into a DFA
        Args:
            None
        Returns:
            DFA: The generated DFA

def concretize(self):
        """
        Transforms the SFA into a DFA
        Args:
            None
        Returns:
            DFA: The generated DFA
        """
        dfa = DFA(self.alphabet)
        for state in self.states:
            for arc in state.arcs:
                for char in arc.guard:
                    dfa.add_arc(arc.src_state, arc.dst_state, char)

        for i in xrange(len(self.states)):
            if self.states[i].final:
                dfa[i].final = True
        return dfa