FormeleMethode/Program.cs
/// <summary>
/// Creates 2 DFA and minimize them
/// </summary>
Creates 2 DFA and minimize them
Creates 2 DFA and minimize them
public static void CreateExampleMinimizeDfa()
		{
			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");
			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");
		}
public static void CreateExampleMinimizeDfa ( ) { Automata < string > DFAToMin1 = TestAutomata . ReadGraphFile ( @".\..\..\graphviz\dotfiles\dfaToMinExample1" ) ; FileDotEngine . Run ( @".\..\..\graphviz\dotfiles\dfaToMinExample1" , " " ) ; Automata < string > MinDFA1 = NdfaToDfaConverter . RenameStates ( NdfaToDfaConverter . MinimizeDfa ( DFAToMin1 ) ) ; MinDFA1 . GenerateGraphFile ( " " ) ; FileDotEngine . Run ( @".\..\..\graphviz\dotfiles\MinDfaExample1" , " " ) ; Automata < string > DFAToMin2 = TestAutomata . ReadGraphFile ( @".\..\..\graphviz\dotfiles\dfaToMinExample2" ) ; FileDotEngine . Run ( @".\..\..\graphviz\dotfiles\dfaToMinExample2" , " " ) ; Automata < string > MinDFA2 = NdfaToDfaConverter . RenameStates ( NdfaToDfaConverter . MinimizeDfa ( DFAToMin2 ) ) ; MinDFA2 . GenerateGraphFile ( " " ) ; FileDotEngine . Run ( @".\..\..\graphviz\dotfiles\MinDfaExample2" , " " ) ; }
Creates 2 DFA and minimize them
Creates 2 DFA and minimize them
// Creating pic of the dfa1 -> minimize dfa and create graphfile and pic // Aftekenlijst opdracht 6 Creating pic of the dfa2 -> minimize dfa and create graphfile and pic