public void TestMethod1() { State q0 = new State("q0"); State q1 = new State("q1"); State q2 = new State("q2"); q0.AddLink(new Link() { symbol = "0", newState = q0 }); q0.AddLink(new Link() { symbol = "1", newState = q0 }); q0.AddLink(new Link() { symbol = "0", newState = q1 }); q1.AddLink(new Link() { symbol = "0", newState = q2 }); List<State> endStates = new List<State>() { q2 }; List<State> listStates = new List<State>() { q0, q1, q2 }; string str = "100100"; Automation a = new Automation(q0, endStates, listStates); bool results = Automation.Check(str, a); Assert.AreEqual(true, results); }
public void TestMethod3() { State q0 = new State("q0"); State q1 = new State("q1"); State q2 = new State("q2"); State q3 = new State("q3"); State q4 = new State("q4"); State q5 = new State("q5"); State q6 = new State("q6"); State q7 = new State("q7"); State q8 = new State("q8"); q0.AddLink(new Link() { symbol = "0", newState = q1 }); q0.AddLink(new Link() { symbol = "1", newState = q2 }); q1.AddLink(new Link() { symbol = "0", newState = q2 }); q1.AddLink(new Link() { symbol = "1", newState = q2 }); q1.AddLink(new Link() { symbol = "0", newState = q4 }); q2.AddLink(new Link() { symbol = "0", newState = q2 }); q2.AddLink(new Link() { symbol = "1", newState = q8 }); q3.AddLink(new Link() { symbol = "0", newState = q5 }); q4.AddLink(new Link() { symbol = "0", newState = q6 }); q4.AddLink(new Link() { symbol = "1", newState = q3 }); q5.AddLink(new Link() { symbol = "0", newState = q2 }); q5.AddLink(new Link() { symbol = "1", newState = q7 }); q6.AddLink(new Link() { symbol = "0", newState = q6 }); q6.AddLink(new Link() { symbol = "1", newState = q4 }); q7.AddLink(new Link() { symbol = "0", newState = q8 }); List<State> endStates = new List<State>() { q2, q6, q8 }; List<State> listStates = new List<State>() { q0, q1, q2, q3, q4, q5, q6, q7, q8 }; Automation a = new Automation(q0, endStates, listStates); string str = "1100010100011"; bool results = Automation.Check(str, a); Assert.AreEqual(false, results); }