/// <summary>
/// Создание автомата по таблице
/// </summary>
/// <param name="table"></param>
/// <returns></returns>
private NondeterminedFiniteAutomaton TableToNFA(List <List <string> > table)
{
NondeterminedFiniteAutomaton nfa = new NondeterminedFiniteAutomaton();
foreach (var sequence in symbolsSequence)
{
foreach (var symbol in sequence)
{
if (!nfa.IsSymbolExist(symbol))
{
nfa.AddSymbol(symbol);
}
}
}
for (int i = 0; i < states.Count; i++)
{
nfa.AddState(states[i]);
}
for (int j = 0; j < transitionsBySequence.Count; j++)
{
for (int i = 0; i < transitionsBySequence[j].Destinations.Count; i++)
{
nfa.AddTransitionBySymbolsSequence(
transitionsBySequence[j].Source, transitionsBySequence[j].Destinations[i],
transitionsBySequence[j].Symbols);
}
}
for (int j = 0; j < transitions.Count; j++)
{
for (int i = 0; i < transitions[j].Destinations.Count; i++)
{
nfa.AddTransition(transitions[j].Source, transitions[j].Destinations[i],
transitions[j].Symbol);
}
}
nfa.SetStartStates(new HashSet <string>(startStates));
nfa.SetFinalStates(new HashSet <string>(finalStates));
return(nfa);
}
