FormeleMethode/Program.cs
/// <summary>
/// Creates the example ndfa to dfa.
/// </summary>
Creates the example ndfa to dfa.
Creates the example ndfa to dfa .
public static void CreateExampleNDFAToDFA()
		{
			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");
			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");
			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");
		}
public static void CreateExampleNDFAToDFA ( ) { Automata < string > ndfaToDfa1 = TestAutomata . ReadGraphFile ( @".\..\..\graphviz\dotfiles\ndfaToDfaExample1" ) ; FileDotEngine . Run ( @".\..\..\graphviz\dotfiles\ndfaToDfaExample1" , " " ) ; Automata < string > Dfa1 = NdfaToDfaConverter . ConvertToDFA ( ndfaToDfa1 ) ; Dfa1 . GenerateGraphFile ( " " ) ; FileDotEngine . Run ( @".\..\..\graphviz\dotfiles\ndfaToDfaExample1Result" , " " ) ; Automata < string > ndfaToDfa2 = TestAutomata . ReadGraphFile ( @".\..\..\graphviz\dotfiles\ndfaToDfaExample2" ) ; FileDotEngine . Run ( @".\..\..\graphviz\dotfiles\ndfaToDfaExample2" , " " ) ; Automata < string > Dfa2 = NdfaToDfaConverter . ConvertToDFA ( ndfaToDfa2 ) ; Dfa2 . GenerateGraphFile ( " " ) ; FileDotEngine . Run ( @".\..\..\graphviz\dotfiles\ndfaToDfaExample2Result" , " " ) ; Automata < string > ndfaToDfa3 = TestAutomata . ReadGraphFile ( @".\..\..\graphviz\dotfiles\ndfaExample3" ) ; FileDotEngine . Run ( @".\..\..\graphviz\dotfiles\ndfaExample3" , " " ) ; Automata < string > Dfa3 = NdfaToDfaConverter . ConvertToDFA ( ndfaToDfa3 ) ; Dfa3 . GenerateGraphFile ( " " ) ; FileDotEngine . Run ( @".\..\..\graphviz\dotfiles\ndfaToDfaExample3Result" , " " ) ; }
Creates the example ndfa to dfa.
Creates the example ndfa to dfa .
// Aftekenlijst Opdracht 5   Creating pic of the ndfa1 -> toDfa + graphfile and new pic // Aftekenlijst Opdracht 5 Creating pic of the ndfa2 -> toDfa + graphfile and new pic DOESNT work // NDFA without epsilon