public void tabla_transiciones()
{
Automaton aut = automatons.ElementAt(contador);
dataGridView1.Columns.Add("Estados", "Estados");
foreach (string s in aut.getAlphabet())
{
dataGridView1.Columns.Add(s, s);
}
foreach (Estado e in aut.getEstados())
{
dataGridView1.Rows.Add(e.getId(), e.getId());
}
for (int i = 0; i < dataGridView1.Rows.Count - 1; i++)
{
for (int j = 1; j < dataGridView1.Columns.Count; j++)
{
Estado e = aut.getEstados().ElementAt(i);
foreach (Transition t in e.getTransitions())
{
if (t.getSimbol().ToString().Equals(dataGridView1.Columns[j].HeaderText))
{
dataGridView1.Rows[i].Cells[j].Value = t.getEnd().getId().ToString();
}
}
}
}
}