public void a() { DFA.State s1 = new DFA.State(); DFA.State s2 = new DFA.State() { IsFinal = true }; s1.AddTransition('a', s2); DFA dfa = new DFA(s1); Assert.IsFalse(dfa.IsMatch("")); Assert.IsTrue(dfa.IsMatch("a")); Assert.IsFalse(dfa.IsMatch("aa")); Assert.IsFalse(dfa.IsMatch("aaa")); Assert.IsFalse(dfa.IsMatch("ab")); Assert.IsFalse(dfa.IsMatch("b")); Assert.IsFalse(dfa.IsMatch("ba")); }