/// <summary>
/// Creates the example ndfa to dfa.
/// </summary>
public static void CreateExampleNDFAToDFA()
{
// Aftekenlijst Opdracht 5 Creating pic of the ndfa1 -> toDfa + graphfile and new pic
Automata <string> ndfaToDfa1 = TestAutomata.ReadGraphFile(@".\..\..\graphviz\dotfiles\ndfaToDfaExample1");
FileDotEngine.Run(@".\..\..\graphviz\dotfiles\ndfaToDfaExample1", "ndfaToDfaExample1Pic");
Automata <string> Dfa1 = NdfaToDfaConverter.ConvertToDFA(ndfaToDfa1);
Dfa1.GenerateGraphFile("ndfaToDfaExample1Result");
FileDotEngine.Run(@".\..\..\graphviz\dotfiles\ndfaToDfaExample1Result", "ndfaToDfaExample1ResultPic");
// Aftekenlijst Opdracht 5 Creating pic of the ndfa2 -> toDfa + graphfile and new pic DOESNT work
Automata <string> ndfaToDfa2 = TestAutomata.ReadGraphFile(@".\..\..\graphviz\dotfiles\ndfaToDfaExample2");
FileDotEngine.Run(@".\..\..\graphviz\dotfiles\ndfaToDfaExample2", "ndfaToDfaExample2Pic");
Automata <string> Dfa2 = NdfaToDfaConverter.ConvertToDFA(ndfaToDfa2);
Dfa2.GenerateGraphFile("ndfaToDfaExample2Result");
FileDotEngine.Run(@".\..\..\graphviz\dotfiles\ndfaToDfaExample2Result", "ndfaToDfaExample2ResultPic");
// NDFA without epsilon
Automata <string> ndfaToDfa3 = TestAutomata.ReadGraphFile(@".\..\..\graphviz\dotfiles\ndfaExample3");
FileDotEngine.Run(@".\..\..\graphviz\dotfiles\ndfaExample3", "ndfaExample3Pic");
Automata <string> Dfa3 = NdfaToDfaConverter.ConvertToDFA(ndfaToDfa3);
Dfa3.GenerateGraphFile("ndfaToDfaExample3Result");
FileDotEngine.Run(@".\..\..\graphviz\dotfiles\ndfaToDfaExample3Result", "ndfaToDfaExample3ResultPic");
}
/// <summary>
/// Creates 2 DFA and minimize them
/// </summary>
public static void CreateExampleMinimizeDfa()
{
// Creating pic of the dfa1 -> minimize dfa and create graphfile and pic
Automata <string> DFAToMin1 = TestAutomata.ReadGraphFile(@".\..\..\graphviz\dotfiles\dfaToMinExample1");
FileDotEngine.Run(@".\..\..\graphviz\dotfiles\dfaToMinExample1", "dfaToMinExample1Pic");
Automata <string> MinDFA1 = NdfaToDfaConverter.RenameStates(NdfaToDfaConverter.MinimizeDfa(DFAToMin1));
MinDFA1.GenerateGraphFile("MinDfaExample1");
FileDotEngine.Run(@".\..\..\graphviz\dotfiles\MinDfaExample1", "MinDfaExample1Pic");
// Aftekenlijst opdracht 6 Creating pic of the dfa2 -> minimize dfa and create graphfile and pic
Automata <string> DFAToMin2 = TestAutomata.ReadGraphFile(@".\..\..\graphviz\dotfiles\dfaToMinExample2");
FileDotEngine.Run(@".\..\..\graphviz\dotfiles\dfaToMinExample2", "dfaToMinExample2Pic");
Automata <string> MinDFA2 = NdfaToDfaConverter.RenameStates(NdfaToDfaConverter.MinimizeDfa(DFAToMin2));
MinDFA2.GenerateGraphFile("MinDfaExample2");
FileDotEngine.Run(@".\..\..\graphviz\dotfiles\MinDfaExample2", "MinDfaExample2Pic");
}
