Example #1
0
 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);
 }
Example #2
0
 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);
                        }
                    }

                }
            }
        }