docs: def from_transitions(cls, initial_state, accepting_states, transition_function):
          # type: (State, Set[State], NondeterministicTransitionFunction) -> NFA
          """
          Initialize a DFA without explicitly specifying the set of states and the alphabet.
  
          :param initial_state: the initial state.
          :param accepting_states: the accepting state.
          :param transition_function: the (nondeterministic) transition function.
          :return: the NFA.
          """
          states, alphabet = _extract_states_from_nondeterministic_transition_function(transition_function)
  
          return NFA(states, alphabet, initial_state, accepting_states, transition_function)