private void button3_Click(object sender, EventArgs e)
{
List <char> ligas = new List <char>();
for (int i = 0; i < textBox2.Text.Length; i++)
{
if (alfabeto.Contains(textBox2.Text[i]))
{
ligas.Add(textBox2.Text[i]);
}
}
AFD afd = new AFD(op, ligas, encabezados);
afd.Genera_Estados();
Dictionary <string, char> estados = new Dictionary <string, char>();
estados = afd.Estados;
foreach (KeyValuePair <string, char> kvp in estados)
{
//textBox3.Text += ("Key = {0}, Value = {1}", kvp.Key, kvp.Value);
MessageBox.Show(string.Format("Key = {0}, Value = {1}", kvp.Key, kvp.Value));
}
foreach (char a in afd.DestadosF)
{
MessageBox.Show(a.ToString());
}
}
public string[,] AFD2()
{
List <char> ligas = new List <char>();
for (int i = 0; i < textBox2.Text.Length; i++)
{
if (alfabeto.Contains(textBox2.Text[i]))
{
ligas.Add(textBox2.Text[i]);
}
}
AFD afd = new AFD(op, ligas, encabezados);
afd.Genera_Estados();
Dictionary <string, char> estados = new Dictionary <string, char>();
List <string> transiciones = new List <string>(afd.DestadosT);
estados = afd.Estados;
this.dataGridView4.Columns.Clear();
this.dataGridView4.Rows.Clear();
this.dataGridView4.Refresh();
this.dataGridView4.ColumnHeadersVisible = true;
// Establece el estilo del encabezado de columna.
DataGridViewCellStyle columnHeaderStyle = new DataGridViewCellStyle();
columnHeaderStyle.BackColor = Color.White;
columnHeaderStyle.Font = new Font("Verdana", 8, FontStyle.Bold);
this.dataGridView4.ColumnHeadersDefaultCellStyle = columnHeaderStyle;
dataGridView4.Columns.Add("Edos", "Edos");
for (int i = 0; i < ligas.Count; i++)
{
this.dataGridView4.Columns.Add(ligas[i].ToString(), ligas[i].ToString());
}
for (int i = 0; i < afd.DestadosF.Count; i++)
{
this.dataGridView4.Rows.Add(afd.DestadosF[i].ToString());
}
int index = 0;
for (int i = 0; i < dataGridView4.Rows.Count - 1; i++)
{
for (int j = 0; j < dataGridView4.ColumnCount; j++)
{
for (int x = 0; x < transiciones.Count; x++)
{
if (dataGridView4.Rows[i].Cells[0].Value.ToString() == transiciones[x][0].ToString())
{
index = ligas.IndexOf(transiciones[x][1]);
dataGridView4.Rows[i].Cells[index + 1].Value = transiciones[x][2].ToString();
}
}
}
}
Edos = afd.DestadosF;
string[,] conjunto = new string[dataGridView4.Rows.Count, dataGridView4.Columns.Count];
foreach (DataGridViewRow row in dataGridView4.Rows)
{
if (!row.IsNewRow)
{
foreach (DataGridViewCell cel in row.Cells)
{
if (cel.Value != null)
{
conjunto[cel.RowIndex, cel.ColumnIndex] = cel.Value.ToString();
}
else
{
conjunto[cel.RowIndex, cel.ColumnIndex] = " ";
}
}
}
}
EdosAcep.Add(afd.Aceptacion);
return(conjunto);
}
