private void btnPrintDiagram_Click(object sender, EventArgs e)
{
if (current == null)
{
MessageBox.Show("Seleccione un diagrama...");
return;
}
sd.printDiagram();
Console.WriteLine("despues de transformarlo------");
sd.tranformForElimination(current.FState);
txtRE.Text = sd.statesElimination();
}
