static void Main(string[] args)
{
AutomataConverterApplication app = new AutomataConverterApplication();
NondeterminedFiniteAutomaton nfa = new NondeterminedFiniteAutomaton();
nfa.AddSymbols(new string[] { "a", "b", "c" });
nfa.AddStates(new string[] { "q0", "q1", "q2", "q3", "q4", "q5" });
nfa.SetStartStates(new HashSet <string>()
{
"q0", "q1"
});
nfa.SetFinalStates(new HashSet <string>()
{
"q5"
});
/*nfa.AddTransitionBySymbolsSequence("q0", "q1", new List<int>() {"" })*/
app.AddCommand(new HelpCommand(app));
app.AddCommand(new ReadAvtomateCommand(app));
app.AddCommand(new ConvertAutomateCommand(app));
app.AddCommand(new WriteAutomateCommand(app));
app.AddCommand(new ExitCommand(app));
app.AddCommand(new ShowStorageCommand(app));
app.AddCommand(new DeleteEpsilonTransitionsCommand(app));
app.Run();
}
public WriteAutomateCommand(AutomataConverterApplication app)
{
this.app = app;
}
public ShowStorageCommand(AutomataConverterApplication app)
{
this.app = app;
}
public ReadAvtomateCommand(AutomataConverterApplication app)
{
this.app = app;
}
public DeleteEpsilonTransitionsCommand(AutomataConverterApplication app)
{
this.app = app;
}
