protected static void AssertTransition(IReadOnlyDfa <StateSet <string>, char> dfa, string from, char on, string to)
{
var fromSet = ParseStateSet(from);
var toSet = ParseStateSet(to);
Assert.True(dfa.TryGetTransition(fromSet, on, out var gotTo));
AssertEqual(toSet, gotTo);
}
/// <summary>
/// Implements <see cref="IReadOnlyFiniteAutomaton{TState, TSymbol}.Accepts(IEnumerable{TSymbol})"/> for DFAs.
/// </summary>
/// <typeparam name="TState">The state type.</typeparam>
/// <typeparam name="TSymbol">The symbol type.</typeparam>
/// <param name="dfa">The DFA to check acceptance on.</param>
/// <param name="input">The input to check acceptance for.</param>
/// <returns>True, if the <paramref name="input"/> is accepted by <paramref name="dfa"/>.</returns>
public static bool Accepts <TState, TSymbol>(IReadOnlyDfa <TState, TSymbol> dfa, IEnumerable <TSymbol> input)
{
var currentState = dfa.InitialState;
foreach (var symbol in input)
{
if (!dfa.TryGetTransition(currentState, symbol, out var destinationState))
{
return(false);
}
currentState = destinationState;
}
return(dfa.AcceptingStates.Contains(currentState));
}
protected static void AssertTransition <T>(IReadOnlyDfa <T, char> dfa, T from, char on, T to)
{
Assert.True(dfa.TryGetTransition(from, on, out var gotTo));
Assert.Equal(to, gotTo);
}
