private void buttonSave_Click(object sender, EventArgs e)
{
SaveFileDialog saveFileDialog = new SaveFileDialog();
if (saveFileDialog.ShowDialog(this) == DialogResult.OK)
{
StreamWriter stream = new StreamWriter(saveFileDialog.OpenFile());
dataTable = automata.OutputToDataTable();
int states = dataTable.Rows.Count;
int letters = dataTable.Columns.Count - 1;
stream.WriteLine(states);
stream.WriteLine(letters);
for (int i = 0; i < states; ++i)
{
for (int j = 0; j < letters; ++j)
{
stream.Write(dataTable.Rows[i][j + 1]);
if (j + 1 == letters)
{
stream.Write(';');
}
else
{
stream.Write(',');
}
}
}
stream.Close();
}
}
/// <summary>
/// Нажатие клавиши генерации нового автомата
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private void buttonGenerate_Click(object sender, EventArgs e)
{
RightPanel(deactivate);
automata = Automata.Random(
Convert.ToInt32(numericUpDownStates.Value),
Convert.ToInt32(numericUpDownAlphabet.Value));
dataTable = automata.OutputToDataTable();
dataGridViewAutomata.DataSource = dataTable;
RightPanel(activate);
}
/// <summary>
/// Нажатие клавиши генерации нового автомата
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private void buttonGenerate_Click(object sender, EventArgs e)
{
// Сброс интерфейса, т.к. создается новый автомат
ResetUI();
automata = Automata.Random(
Convert.ToInt32(numericUpDownStates.Value),
Convert.ToInt32(numericUpDownAlphabet.Value));
dataTable = automata.OutputToDataTable();
ActivateUI();
}