/// <summary>
/// Minimizes the DFA.
/// </summary>
/// <typeparam name="TState">The state type.</typeparam>
/// <typeparam name="TSymbol">The symbol type.</typeparam>
/// <typeparam name="TResultState">The resulting state type.</typeparam>
/// <param name="dfa">The DFA to minimize.</param>
/// <param name="combiner">The state combiner to use.</param>
/// <returns>The minimized DFA.</returns>
public static IDfa <TResultState, TSymbol> Minimize <TState, TSymbol, TResultState>(
this IReadOnlyDfa <TState, TSymbol> dfa,
IStateCombiner <TState, TResultState> combiner) =>
dfa.Minimize(combiner, Enumerable.Empty <(TState, TState)>());
/// <summary>
/// Minimizes the DFA.
/// </summary>
/// <typeparam name="TState">The state type.</typeparam>
/// <typeparam name="TSymbol">The symbol type.</typeparam>
/// <typeparam name="TResultState">The resulting state type.</typeparam>
/// <param name="dfa">The DFA to minimize.</param>
/// <param name="combiner">The state combiner to use.</param>
/// <param name="differentiate">The list of states to differentiate from every other state.</param>
/// <returns>The minimized DFA.</returns>
public static IDfa <TResultState, TSymbol> Minimize <TState, TSymbol, TResultState>(
this IReadOnlyDfa <TState, TSymbol> dfa,
IStateCombiner <TState, TResultState> combiner,
IEnumerable <TState> differentiate) =>
dfa.Minimize(combiner, differentiate.SelectMany(s1 => dfa.States.Select(s2 => (s1, s2))));
