private void setDFAAndFinite(Automaton inputAutomaton)
{
if (automaton.Stack != null)
{
return;
}
bool finite = FiniteChecker.isFinite(inputAutomaton);
bool DFA = IdentifierDFA.isDFA(automaton);
string text = DFA ? "✔" : "✘";
tbDFA.Text = text;
text = finite ? "✔" : "✘";
tbFinite.Text = text;
if (finite)
{
automaton.Words = FiniteChecker.generateWords(automaton);
}
}
public void isDFA_takesAutomaton_ReturnsTrueIfAutomatonIsDFA()
{
Node testNode1 = new Node("TS1");
Node testNode2 = new Node("TS2");
var states = new List <Node>(new Node[] { testNode1, testNode2 });
var final = new List <Node>(new Node[] { testNode1 });
var alphabet = new List <string>(new string[] { "t", "e", "s" });
string stack = null;
var transitions = new List <Transition>();
transitions.Add(new Transition("t", testNode2, testNode1));
transitions.Add(new Transition("e", testNode2, testNode1));
transitions.Add(new Transition("s", testNode2, testNode2));
transitions.Add(new Transition("t", testNode1, testNode2));
transitions.Add(new Transition("e", testNode1, testNode2));
transitions.Add(new Transition("s", testNode1, testNode2));
var words = new List <string>();
words.AddRange(new string[] { "test", "set", "sit" });
Automaton testInput = new Automaton(alphabet, states, final, transitions, true, false, words);
Assert.IsTrue(IdentifierDFA.isDFA(testInput));
}
