public static AutomatonCore ShowAutomatonMaker(bool nondeterministic)
{
AutomatonMaker automatonMaker = new AutomatonMaker(nondeterministic);
automatonMaker.ShowDialog();
return(automatonMaker.createdAutomatonCore);
}
public static void Create()
{
#region Add command
CommandsList.Add(new Command("DFA",
"Play with (N)DFAs.\n" +
"Controls:\n" +
"Leftern Double Click - New Node\n" +
"Rightern Double Click - Remove Node\n" +
"Drag - Move Node\n" +
"Click - Select / Deselect Node\n" +
"Enter when selecting - Make Start Node / Undo Making Start Node\n" +
"Tab Then Selecting - Transition Maker Enabled / Transition Maker Disabled\n" +
"Click When Transition Making - New Transition / Remove Transition\n" +
"Keyup - Assign State Name",
delegate(string paramaters)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = AutomatonMaker.CreateNew(false);
}));
CommandsList.Add(new Command("NDFA",
"Play with (N)DFAs.\n" +
"Controls:\n" +
"Leftern Double Click - New Node\n" +
"Rightern Double Click - Remove Node\n" +
"Drag - Move Node\n" +
"Click - Select / Deselect Node\n" +
"Enter when selecting - Make Start Node / Undo Making Start Node\n" +
"Tab Then Selecting - Transition Maker Enabled / Transition Maker Disabled\n" +
"Click When Transition Making - New Transition / Remove Transition\n" +
"Keyup - Assign State Name",
delegate(string paramaters)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = AutomatonMaker.CreateNew(true);
}));
CommandsList.Add(new Command("DFAAnd",
"Uses the AND operator on save slot (0-9, 0-9) and places the new DFA in the current save slot",
delegate(string paramaters)
{
string[] parts = paramaters.Split(' ');
int a;
int b;
if (parts.Length == 2)
{
if (int.TryParse(parts[0], out a) && int.TryParse(parts[1], out b))
{
if (Console.INSTANCE.processedResults[a] is AutomatonCore && Console.INSTANCE.processedResults[b] is AutomatonCore)
{
if (!(Console.INSTANCE.processedResults[a] as AutomatonCore).nondeterministic && !(Console.INSTANCE.processedResults[b] as AutomatonCore).nondeterministic)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = AutomatonMaker.AndDFA(Console.INSTANCE.processedResults[a] as AutomatonCore, Console.INSTANCE.processedResults[b] as AutomatonCore);
}
}
}
}
}));
CommandsList.Add(new Command("DFAOr",
"Uses the OR operator on save slot (0-9, 0-9) and places the new DFA in the current save slot",
delegate(string paramaters)
{
string[] parts = paramaters.Split(' ');
int a;
int b;
if (parts.Length == 2)
{
if (int.TryParse(parts[0], out a) && int.TryParse(parts[1], out b))
{
if (Console.INSTANCE.processedResults[a] is AutomatonCore && Console.INSTANCE.processedResults[b] is AutomatonCore)
{
if (!(Console.INSTANCE.processedResults[a] as AutomatonCore).nondeterministic && !(Console.INSTANCE.processedResults[b] as AutomatonCore).nondeterministic)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = AutomatonMaker.OrDFA(Console.INSTANCE.processedResults[a] as AutomatonCore, Console.INSTANCE.processedResults[b] as AutomatonCore);
}
}
}
}
}));
CommandsList.Add(new Command("ChangeSaveSlot",
"Changes the current save slot (0-9)",
delegate(string paramaters)
{
int i = 0;
if (int.TryParse(paramaters, out i))
{
if (i < amountOfSaveSlots)
{
Console.INSTANCE.currentSaveSlot = i;
Console.INSTANCE.WriteLine("Current Save Slot is now: " + i);
}
}
}));
CommandsList.Add(new Command("isPreviousItemDFA",
"Check whether the last made object is a DFA",
delegate(string paramaters)
{
if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is AutomatonCore)
{
Console.INSTANCE.WriteLine("Was the previous automaton deterministic?: " + (AutomatonMaker.isDFA(Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as AutomatonCore) ? "true" : "false"));
}
else
{
Console.INSTANCE.WriteLine("The previous result was not an automaton."); //TODO: Check for other needs
}
}));
CommandsList.Add(new Command("convertPreviousNDFAToDFA",
"ConvertNDFAToDFA",
delegate(string paramaters)
{
if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is AutomatonCore)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = AutomatonMaker.toDFA(Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as AutomatonCore);
}
else
{
Console.INSTANCE.WriteLine("The previous result was not an automaton."); //TODO: Check for other needs
}
}));
CommandsList.Add(new Command("ItemIs",
"Prints what the saved item is",
delegate(string paramaters)
{
if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is AutomatonCore)
{
Console.INSTANCE.WriteLine("Result is " + ((Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as AutomatonCore).nondeterministic ? "NDFA" : "DFA"));
}
else if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is RegularGrammar)
{
Console.INSTANCE.WriteLine("Result is Grammar");
}
else if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] == null)
{
Console.INSTANCE.WriteLine("Result is empty");
}
}));
CommandsList.Add(new Command("Grammar",
"Play with formal grammar.",
delegate(string paramaters)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = new RegularGrammar();
Console.INSTANCE.WriteLine("Type the symbols.");
Console.INSTANCE.WriteLine("Example: A, B");
}));
/* CommandsList.Add(new Command("Regex",
* "Play with regular expressions.",
* delegate(string paramaters)
* {
* Window.INSTANCE.WriteLine("Params: " + paramaters);
* //Regex.ParseRegex(paramaters);
* }));*/
CommandsList.Add(new Command("Exit",
"Quit the program.",
delegate(string paramaters)
{
Program.Terminate();
}));
CommandsList.Add(new Command("GrammarString",
"Do grammar string thing.",
delegate(string paramaters)
{
if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is RegularGrammar)
{
Console.INSTANCE.WriteLine((Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as RegularGrammar).toString());
}
}));
CommandsList.Add(new Command("GrammarToNDFA",
"Convert Grammar to NDFA",
delegate(string paramaters)
{
if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is RegularGrammar)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as RegularGrammar).changeToNDFA();
Console.INSTANCE.WriteLine("The NDFA has made from the grammar");
}
}));
CommandsList.Add(new Command("ShowAutomaton",
"Shows the automaton in a table",
delegate(string paramaters)
{
if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is AutomatonCore)
{
//Window.INSTANCE.processedResults[Window.INSTANCE.currentSaveSlot];
AutomatonTable table = new AutomatonTable(Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as AutomatonCore);
table.ShowDialog();
}
}));
CommandsList.Add(new Command("DFAReverse",
"Reverse the DFA/NDFA, new Automaton will be NDFA",
delegate(string paramaters)
{
if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is AutomatonCore && !(Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as AutomatonCore).nondeterministic)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = AutomatonMaker.reverseDFA(Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as AutomatonCore);
}
}));
CommandsList.Add(new Command("DFANegate",
"Negate the DFA/NDFA",
delegate(string paramaters)
{
if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is AutomatonCore)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = AutomatonMaker.negateDFA(Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as AutomatonCore);
}
}));
CommandsList.Add(new Command("DFAMinimize",
"Minimize the DFA",
delegate(string paramaters)
{
if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is AutomatonCore && !(Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as AutomatonCore).nondeterministic)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = AutomatonMaker.DFAMinimize(Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as AutomatonCore);
}
}));
CommandsList.Add(new Command("AutomatonToGrammar",
"Convert Automaton to Grammar",
delegate(string paramaters)
{
if (Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] is AutomatonCore)
{
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = new RegularGrammar((Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] as AutomatonCore));
Console.INSTANCE.WriteLine("Automaton converted to Grammar");
}
}));
CommandsList.Add(new Command("Regex",
"Fill in regex to perform operations on.\nShows the NDFA of the expression in a table",
delegate(string parameters)
{
AutomatonCore regexNDFA = MyRegex.ParseRegex(parameters);
if (regexNDFA != null)
{
AutomatonTable table = new AutomatonTable(regexNDFA);
table.ShowDialog();
Console.INSTANCE.processedResults[Console.INSTANCE.currentSaveSlot] = regexNDFA; //Save our NDFA
}
}
));
CommandsList.Add(new Command("Help",
"This help command.",
delegate(string parameters)
{
foreach (Command c in CommandsList)
{
Console.INSTANCE.WriteLine(c.ToString());
Console.INSTANCE.WriteLine("");
}
}));
CommandsList.Add(new Command("About",
"About info",
delegate(string parameters)
{
Console.INSTANCE.WriteLine("This application was made by:");
Console.INSTANCE.WriteLine("Patrick Bakx, ");
Console.INSTANCE.WriteLine("Thom Trignol, &");
Console.INSTANCE.WriteLine("Julian West");
Console.INSTANCE.WriteLine("According to the criteria for the school subject");
Console.INSTANCE.WriteLine("Formal Language Theory");
}));
#endregion
}
