private void btn_agregarAFuncion_Click(object sender, EventArgs e)
{
string q=(string)list_q.SelectedItem;
string s = (string)list_s.SelectedItem;
string qi = (string)list_qi.SelectedItem;
Transicion transicion = new Transicion(q, qi, s);
// transiciones.Add(new modelo.Transicion(q,qi,s));
transiciones.Add(transicion);
MessageBox.Show("Transicion agregada" + " ∆("+q+","+s+")"+"="+qi);
}
public bool equals(Transicion transicion)
{
if ((transicion.getsimbolo().Equals(simbolo)) && (transicion.getestadoInicio().Equals(estadoInicio)) && transicion.getestadoestadoFinal().Equals(estadoFinal))
{
return false;
}
else
{
return true;
}
}
public void transAFD()
{
int contador = estados.Count();
for (int tablaEstadosIniciales = 0; tablaEstadosIniciales < estados.Count(); tablaEstadosIniciales++)
{
for (int a = 0; a < simbolos.Length; a++)
{
if (dataGridView1[a + 1, tablaEstadosIniciales].Value != null)
{
string [] cad = dataGridView1[a + 1, tablaEstadosIniciales].Value.ToString().Split(',');
if (cad.Length > 1)
{
Transicion transicion = new Transicion(estados[tablaEstadosIniciales], dataGridView1[a + 1, tablaEstadosIniciales].Value.ToString(), simbolos[a]);
transiciones.Add(transicion);
estados.Add(dataGridView1[a + 1, tablaEstadosIniciales].Value.ToString());
dataGridView1.Rows.Add();
dataGridView1["QΣ", contador].Value = dataGridView1[a + 1, tablaEstadosIniciales].Value.ToString();
contador++;
estados.Add(dataGridView1[a + 1, tablaEstadosIniciales].Value.ToString());
// agre(contador, cad);
}
}
}
}
}