docs: 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