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();
}
}