public void PdaTest2() { var lines = File.ReadAllLines("../../TestVectors/pdaTest2.txt").ToList(); var automata = FiniteAutomataParser.CreateAutomata(lines); Assert.AreEqual(automata.ShouldBeFinite, automata.IsFinite); Assert.AreEqual(automata.ShouldBeDfa, automata.IsDfa); }
public void PdaTest1() { var lines = File.ReadAllLines("../../TestVectors/pdaTest1.txt").ToList(); var automata = FiniteAutomataParser.CreateAutomata(lines); Assert.AreEqual(automata.ShouldBeFinite, automata.IsFinite); Assert.AreEqual(automata.ShouldBeDfa, automata.IsDfa); foreach (var word in automata.TestWords) { Assert.AreEqual(word.ShouldBeAccepted, word.IsAccepted); } }
public void FiniteTest4() { var lines = File.ReadAllLines("../../TestVectors/finiteTest4.txt").ToList(); var automata = FiniteAutomataParser.CreateAutomata(lines); Assert.AreEqual(automata.ShouldBeFinite, automata.IsFinite); Assert.AreEqual(automata.ShouldBeDfa, automata.IsDfa); Assert.IsTrue(automata.FiniteWords.Any()); foreach (var word in automata.TestWords) { Assert.AreEqual(word.ShouldBeAccepted, word.IsAccepted); } Assert.IsTrue(automata.FiniteWords.ToList().Any(x => x.WordString == "xxx")); }