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;
    }
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 ; }
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