code: public static <S, I> List<Word<I>> stateCharacterizingSet(UniversalDeterministicAutomaton<S, I, ?, ?, ?> automaton,
                                                                Collection<? extends I> inputs,
                                                                S state) {
          List<Word<I>> result = new ArrayList<>();
          stateCharacterizingSet(automaton, inputs, state, result);
          return result;
      }
docs: Computes a characterizing set for a single state, and returns it as a {@link List}.
  
  @param <S>
  state type
  @param <I>
  input symbol type
  @param automaton
  the automaton containing the state
  @param inputs
  the input symbols to consider
  @param state
  the state for which to determine a characterizing set
  
  @return a list containing the characterizing words
  
  @see CharacterizingSets