public static void testDfaOperation() { Console.WriteLine("--------------DFA AND--------------\nMerging 2 DFA's\n--------------DFA AND--------------"); GraphViz.PrintDFA(dfa1.and(dfa2), "dfa-and"); Console.WriteLine("--------------DFA OR-------------\nMerging 2 DFA's\n--------------DFA OR--------------"); GraphViz.PrintDFA(dfa1.or(dfa2), "dfa-or"); Console.WriteLine("--------------DFA NEGATIVE-------------\nNegative of a DFA\n--------------DFA NEGATIVE--------------"); GraphViz.PrintDFA(dfa1.negative(), "dfa-negative"); }
public static void TestDFA() { Console.WriteLine("--------------DFA--------------\nBegint met abb of eindigt op baab\n--------------DFA--------------"); // Begint met abb of eindigt op baab string test = "abbabaab"; tester(test, dfa.accept(test.ToCharArray())); test = "abbaaaaaa"; tester(test, dfa.accept(test.ToCharArray())); test = "abaaaaaabbbbbbabaab"; tester(test, dfa.accept(test.ToCharArray())); test = "abbaab"; tester(test, dfa.accept(test.ToCharArray())); test = "abaa"; tester(test, dfa.accept(test.ToCharArray())); test = "aaaaaaabbbbbb"; tester(test, dfa.accept(test.ToCharArray())); GraphViz.PrintDFA(dfa, "dfa"); }
public static void testSquashDFA() { Console.WriteLine("--------------SQUASH DFA--------------\nsquash dfa\n--------------SQUASH DFA--------------"); GraphViz.PrintDFA(dfa.squash(), "dfaSquash"); }
public static void testMinimiseDFA() { Console.WriteLine("--------------MINIMISE DFA--------------\nminimise dfa\n--------------MINIMISE DFA--------------"); GraphViz.PrintDFA(ndfa2.toDFA().minimise(), "dfaMinimise"); }
public static void testNDFAtoDFA() { Console.WriteLine("--------------NDFA TO DFA--------------\nNDFA to DFA\n--------------NDFA TO DFA--------------"); GraphViz.PrintDFA(ndfa2.toDFA(), "ndfaToDfa"); //GraphViz.PrintNDFA(ndfa2, "ndfa"); }