public static < S , I , T > void findCharacterizingSet ( UniversalDeterministicAutomaton < S , I , T , ? , ? > automaton , Collection < ? extends I > inputs , Collection < ? super Word < I > > result ) { findIncrementalCharacterizingSet ( automaton , inputs , Collections . emptyList ( ) , result ) ; }
Computes a characterizing set for the given automaton .