static public void BevatWoord() { Console.Clear(); Console.WriteLine("1. Bevat woord"); Automata <string> a = new Automata <string>(); AutomataConverter c = new AutomataConverter(); var ans = Console.ReadLine(); int choice = 0; if (int.TryParse(ans, out choice)) { switch (choice) { case 1: Console.Clear(); Console.WriteLine("De volgende NDFA/DFA is gegenereerd:"); a = c.renameStates(Tester.generateRandomNdfa()); // a.printTransitions(); Tester.generateAutomataImage(a); Console.WriteLine("Geef een string mee en kijk of hij word geaccepteerd. (BV: aaabaabaaa)"); var input = Console.ReadLine(); if (a.isStringAccepted(input)) { Console.WriteLine("De string word geaccepteerd."); } else { Console.WriteLine("De string word NIET geaccepteerd."); } ResetToMenu(); break; default: Console.WriteLine("Deze optie is niet beschikbaar." + Environment.NewLine + "Druk op een knop om terug te gaan"); ResetToMenu(); break; } } else { Console.WriteLine("Vul alstublieft het nummer van de keuze in." + Environment.NewLine + "Druk op een knop om terug te gaan"); ResetToMenu(); } }