private void wordTextBox_TextChanged(object sender, EventArgs e)
{
bool validWord = AutomataUtils.CheckWord(AutomataProvider.A, wordTextBox.Text);
if (validWord)
{
wordTextBox.ForeColor = Constants.ValidWordColor;
}
else
{
wordTextBox.ForeColor = Constants.InvalidWordColor;
}
StepByStepRichTextBox.Text = AutomataUtils.stepByStepTranzitions;
}
private void mainForm_Load(object sender, EventArgs e)
{
AutomataProvider.A = AutomataUtils.LoadFromJson(Constants.defaultAutomata);
automataRichTextBox.Text = AutomataConvertor.GetAutomataAsString(AutomataProvider.A);
}
private void MockDataButton_Click(object sender, EventArgs e)
{
Automata a = new Automata();
AutomataUtils.SaveToJson(Constants.defaultAutomata, a);
}