private void btnDetener_Click(object sender, EventArgs e)
{
try
{
if (maquinaDeTuring != null)
{
maquinaDeTuring = new MaquinaDeTuring(
txtEstadoInicial.Text.Trim(),
new Cabezal(new List <char>(rtbEntrada.Text.Trim().ToCharArray())),
dgvTablaTransiciones,
int.Parse(txtIntervaloTiempo.Text));
maquinaDeTuring.CambiarEstadoAPausa();
foreach (DataGridViewRow dataGridViewRow in dgvTablaTransiciones.Rows)
{
dataGridViewRow.DefaultCellStyle.BackColor = SystemColors.Window;
}
rtbEntrada.Select(0, rtbEntrada.Text.Length);
rtbEntrada.SelectionColor = SystemColors.WindowText;
rtbSalida.Text = string.Empty;
txtEstadoFinal.Text = string.Empty;
txtEstadoFinal.BackColor = SystemColors.Window;
txtPasos.Text = "0";
dgvTablaTransiciones.Update();
rtbEntrada.Update();
}
btnEditar.Enabled = true;
btnCorrer.Enabled = true;
btnSiguiente.Enabled = true;
btnPausar.Enabled = false;
btnDetener.Enabled = false;
}
catch (Exception ex)
{
MessageBox.Show("Ocurrió un problema: " + ex.Message, "Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
}
}
private void btnPausar_Click(object sender, EventArgs e)
{
try
{
if (maquinaDeTuring != null)
{
maquinaDeTuring.CambiarEstadoAPausa();
}
btnEditar.Enabled = true;
btnCorrer.Enabled = true;
btnSiguiente.Enabled = true;
btnPausar.Enabled = false;
btnDetener.Enabled = true;
}
catch (Exception ex)
{
MessageBox.Show("Ocurrió un problema: " + ex.Message, "Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
}
}
