private static void TestNDFAClass()
{
Automata <String> NDFA1 = TestAutomata.getExampleSlide8Lesson2();
Automata <String> NDFA2 = TestAutomata.getExampleSlide14Lesson2();
NDFA1.PrintTransitions();
Console.WriteLine("-----------------------------------------");
Console.WriteLine("NDFA1 is dfa? " + NDFA1.IsDfa());
Console.WriteLine("-----------------------------------------");
foreach (string state in NDFA1.StartStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
foreach (string state in NDFA1.FinalStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
Console.WriteLine("String {0} is a {1} string for Auto1.", VALID_STRING_1, NDFA1.IsStringAcceptable(VALID_STRING_1) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for Auto1.", INVALID_STRING_0, NDFA1.IsStringAcceptable(INVALID_STRING_0) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for Auto1.", VALID_STRING_2, NDFA1.IsStringAcceptable(VALID_STRING_2) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for Auto1.", INVALID_STRING_1, NDFA1.IsStringAcceptable(INVALID_STRING_1) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for Auto1.", INVALID_STRING_2, NDFA1.IsStringAcceptable(INVALID_STRING_2) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for Auto1.", INVALID_STRING_3, NDFA1.IsStringAcceptable(INVALID_STRING_3) ? "valid" : "invalid");
Console.WriteLine("-----------------------------------------");
Console.WriteLine("Generate a string of length 9. Resulting string = " + NDFA1.GenerateLanguageOfGivenLength(9));
Console.WriteLine("-----------------------------------------");
NDFA2.PrintTransitions();
Console.WriteLine("NDFA2 is dfa? " + NDFA2.IsDfa());
Console.WriteLine("-----------------------------------------");
}
private static void TestMutationAndMinimalization()
{
Automata <string> L1 = TestAutomata.dfaMutationTestL1();
Automata <string> L4 = TestAutomata.dfaMutationTestL4();
Console.WriteLine("L1 is dfa? " + L1.IsDfa());
Console.WriteLine("-----------------------------------------");
L1.PrintTransitions();
Console.WriteLine("-----------------------------------------");
foreach (string state in L1.StartStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
foreach (string state in L1.FinalStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
Console.WriteLine("L4 is dfa? " + L4.IsDfa());
Console.WriteLine("-----------------------------------------");
L4.PrintTransitions();
Console.WriteLine("-----------------------------------------");
foreach (string state in L4.StartStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
foreach (string state in L4.FinalStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
//Not L1
DfaMutation <string> dfaMutator = new DfaMutation <string>();
Automata <string> notL1 = dfaMutator.NotDfa(L1);
foreach (string state in notL1.StartStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
foreach (string state in notL1.FinalStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
//Reverted L4
Automata <string> revertedL4 = dfaMutator.ReverseDfa(L4);
Console.WriteLine("revertedL4 is dfa? " + revertedL4.IsDfa());
Console.WriteLine("-----------------------------------------");
revertedL4.PrintTransitions();
Console.WriteLine("-----------------------------------------");
foreach (string state in revertedL4.StartStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
foreach (string state in revertedL4.FinalStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
Automata <string> L1AndL4 = dfaMutator.CombineAutomataAnd(L1, L4);
Console.WriteLine("L1AndL4 is dfa? " + L1AndL4.IsDfa());
Console.WriteLine("-----------------------------------------");
L1AndL4.PrintTransitions();
Console.WriteLine("-----------------------------------------");
foreach (string state in L1AndL4.StartStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
foreach (string state in L1AndL4.FinalStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
Automata <string> L1OrL4 = dfaMutator.CombinaAutomataOr(L1, L4);
Console.WriteLine("L1OrL4 is dfa? " + L1OrL4.IsDfa());
Console.WriteLine("-----------------------------------------");
L1OrL4.PrintTransitions();
Console.WriteLine("-----------------------------------------");
foreach (string state in L1OrL4.StartStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
foreach (string state in L1OrL4.FinalStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
Minimizer <string> minimizer = new Minimizer <string>();
Automata <string> L1AndL4Minimal = minimizer.MinimizeUsingBrzozowski(L1AndL4);
Console.WriteLine("L1AndL4Minimal is dfa? " + L1AndL4Minimal.IsDfa());
Console.WriteLine("-----------------------------------------");
L1AndL4Minimal.PrintTransitions();
Console.WriteLine("-----------------------------------------");
foreach (string state in L1AndL4Minimal.StartStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
foreach (string state in L1AndL4Minimal.FinalStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
}
private static void TestNdfaToDfa()
{
Automata <string> testNdfa = TestAutomata.ndfaToDfaTest();
Console.WriteLine("testNdfa is dfa? " + testNdfa.IsDfa());
Console.WriteLine("-----------------------------------------");
testNdfa.PrintTransitions();
Console.WriteLine("-----------------------------------------");
Console.WriteLine("StartStatesIn NDFA: ");
foreach (string startState in testNdfa.StartStates)
{
Console.WriteLine(startState);
}
Console.WriteLine("-----------------------------------------");
Console.WriteLine("EndStates NDFA: ");
foreach (string endState in testNdfa.FinalStates)
{
Console.WriteLine(endState);
}
Console.WriteLine("-----------------------------------------");
Console.WriteLine("String {0} is a {1} string for testNdfa.", NDFA_TO_DFA_VALID_1, testNdfa.IsStringAcceptable(NDFA_TO_DFA_VALID_1) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfa.", NDFA_TO_DFA_VALID_2, testNdfa.IsStringAcceptable(NDFA_TO_DFA_VALID_2) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfa.", NDFA_TO_DFA_VALID_3, testNdfa.IsStringAcceptable(NDFA_TO_DFA_VALID_3) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfa.", NDFA_TO_DFA_VALID_4, testNdfa.IsStringAcceptable(NDFA_TO_DFA_VALID_4) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfa.", NDFA_TO_DFA_INVALID_1, testNdfa.IsStringAcceptable(NDFA_TO_DFA_INVALID_1) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfa.", NDFA_TO_DFA_INVALID_2, testNdfa.IsStringAcceptable(NDFA_TO_DFA_INVALID_2) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfa.", NDFA_TO_DFA_INVALID_3, testNdfa.IsStringAcceptable(NDFA_TO_DFA_INVALID_3) ? "valid" : "invalid");
Console.WriteLine("-----------------------------------------");
NdfaToDfa <string> converter = new NdfaToDfa <string>();
Automata <string> testNdfaDFA = converter.TransformNdfaIntoDfa(testNdfa);
Console.WriteLine("testNdfaDFA is dfa? " + testNdfaDFA.IsDfa());
Console.WriteLine("-----------------------------------------");
testNdfaDFA.PrintTransitions();
Console.WriteLine("-----------------------------------------");
foreach (string state in testNdfaDFA.StartStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
foreach (string state in testNdfaDFA.FinalStates)
{
Console.WriteLine(state);
}
Console.WriteLine("-----------------------------------------");
Console.WriteLine("And the same strings as befor in the DFA:");
Console.WriteLine();
Console.WriteLine("String {0} is a {1} string for testNdfaDFA.", NDFA_TO_DFA_VALID_1, testNdfaDFA.IsStringAcceptable(NDFA_TO_DFA_VALID_1) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfaDFA.", NDFA_TO_DFA_VALID_2, testNdfaDFA.IsStringAcceptable(NDFA_TO_DFA_VALID_2) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfaDFA.", NDFA_TO_DFA_VALID_3, testNdfaDFA.IsStringAcceptable(NDFA_TO_DFA_VALID_3) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfaDFA.", NDFA_TO_DFA_VALID_4, testNdfaDFA.IsStringAcceptable(NDFA_TO_DFA_VALID_4) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfaDFA.", NDFA_TO_DFA_INVALID_1, testNdfaDFA.IsStringAcceptable(NDFA_TO_DFA_INVALID_1) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfaDFA.", NDFA_TO_DFA_INVALID_2, testNdfaDFA.IsStringAcceptable(NDFA_TO_DFA_INVALID_2) ? "valid" : "invalid");
Console.WriteLine("String {0} is a {1} string for testNdfaDFA.", NDFA_TO_DFA_INVALID_3, testNdfaDFA.IsStringAcceptable(NDFA_TO_DFA_INVALID_3) ? "valid" : "invalid");
Console.WriteLine("-----------------------------------------");
}
