private void HandleSubInput(int index) { var running = true; var automaat = automates[index].automaat; while (running) { Console.Clear(); Console.WriteLine($"Gekozen {automates[index].text}"); subsubtext.ToList().ForEach(s => Console.WriteLine(s)); int input = GetInput(subsubtext.Length); switch (input) { case 0: Graphviz.PrintGraph(automaat, "test"); break; case 1: var gram = RegGram <int> .NdfaToRegGram(automaat); Console.WriteLine(gram.ToString()); Console.ReadLine(); break; case 2: running = false; automates.Clear(); break; } } }
private static void GramToNdfaAndReverse() { char[] alphabet = { 'a', 'b' }; var ndfa = new Automaat <int>(alphabet); ndfa.AddTransition(new Transition <int>(0, alphabet[0], 0)); ndfa.AddTransition(new Transition <int>(0, alphabet[0], 1)); ndfa.AddTransition(new Transition <int>(0, alphabet[1], 0)); ndfa.AddTransition(new Transition <int>(0, alphabet[1], 3)); ndfa.AddTransition(new Transition <int>(1, alphabet[0], 2)); ndfa.AddTransition(new Transition <int>(2, alphabet[0])); ndfa.AddTransition(new Transition <int>(2, alphabet[1])); ndfa.AddTransition(new Transition <int>(3, alphabet[1], 4)); ndfa.AddTransition(new Transition <int>(4, alphabet[0])); ndfa.AddTransition(new Transition <int>(4, alphabet[1])); ndfa.DefineAsStartState(0); ndfa.DefineAsFinalState(2); ndfa.DefineAsFinalState(4); Graphviz.PrintGraph(ndfa, "ndfaToGram"); var gram = RegGram <int> .NdfaToRegGram(ndfa); Console.WriteLine(gram.ToString()); }