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"));
}
