public Automat(TabelkaStanow tabelka, TabelkaStanow tabelkaStos, TabelkaStos tstos)
{
this.tabelka = tabelka;
this.tabelkaStos = tabelkaStos;
this.tstos = tstos;
stos = new Stack <char>();
}
public Form1()
{
// a^n b^n
TabelkaStanow tabelka = new TabelkaStanow(3, 3, new List <Char> {
'$', 'a', 'b'
});
tabelka.wklejStan(new List <int> {
-1, 0, 1
}, 0);
tabelka.wklejStan(new List <int> {
-1, -1, 1
}, 1);
tabelka.wklejStan(new List <int> {
-2, -1, -1
}, 2);
TabelkaStanow tabelkaStos = new TabelkaStanow(3, 3, new List <Char> {
'$', 'a', 'b'
});
tabelkaStos.wklejStan(new List <int> {
0, 1, 2
}, 0);
tabelkaStos.wklejStan(new List <int> {
0, 0, 2
}, 1);
tabelkaStos.wklejStan(new List <int> {
0, 0, 0
}, 2);
TabelkaStos stos = new TabelkaStos(3, 3, new List <Char> {
'#', 'a', 'b'
});
stos.wklejStan(new List <int> {
0, 0, -1
}, 0);
stos.wklejStan(new List <int> {
2, 1, -1
}, 1);
stos.wklejStan(new List <int> {
2, -1, -1
}, 2);
automat = new Automat(tabelka, tabelkaStos, stos);
automat.PrzypiszList(list);
InitializeComponent();
/*
* DataGridViewRow row = (DataGridViewRow)dataGridView1.Rows[0].Clone();
* row.Cells[0].Value = -1;
* row.Cells[1].Value = -1;
* row.Cells[2].Value = -1;
*
* dataGridView1.Rows.Add(row);
*/
for (int i = 0; i < tabelka.pobierzliczbaZnakow(); i++)
{
DataGridViewRow row = (DataGridViewRow)dataGridView1.Rows[i].Clone();
for (int j = 0; j < tabelka.pobierzliczbaStanow(); j++)
{
int symbol = tabelka.pobierzStan(i, j);
row.Cells[j].Value = (symbol == -1 ? "N" : (symbol == -2 ? "A" : symbol.ToString()));
}
row.HeaderCell.Value = tabelka.pobierzZnak(i).ToString();
dataGridView1.Rows.Add(row);
}
for (int i = 0; i < tabelkaStos.pobierzliczbaZnakow(); i++)
{
DataGridViewRow row = (DataGridViewRow)dataGridView2.Rows[i].Clone();
for (int j = 0; j < tabelkaStos.pobierzliczbaStanow(); j++)
{
int symbol = tabelkaStos.pobierzStan(i, j);
row.Cells[j].Value = (symbol == -1 ? "N" : (symbol == -2 ? "A" : symbol.ToString()));
}
row.HeaderCell.Value = tabelkaStos.pobierzZnak(i).ToString();
dataGridView2.Rows.Add(row);
}
for (int i = 0; i < stos.pobierzliczbaZnakow(); i++)
{
DataGridViewRow row = (DataGridViewRow)dataGridView3.Rows[i].Clone();
for (int j = 0; j < stos.pobierzliczbaStanow(); j++)
{
int symbol = stos.pobierzStan(i, j);
row.Cells[j].Value = (symbol == -1 ? "N" : (symbol == -2 ? "A" : symbol.ToString()));
}
row.HeaderCell.Value = stos.pobierzZnak(i).ToString();
dataGridView3.Rows.Add(row);
}
}
private void button1_Click(object sender, EventArgs e)
{
try
{
// a^n b^n
List <char> list = new List <char>();
foreach (DataGridViewRow rzad in dataGridView1.Rows)
{
try
{
list.Add(Char.Parse(rzad.HeaderCell.Value.ToString()));
}
catch (NullReferenceException)
{
continue;
}
}
TabelkaStanow tabelka = new TabelkaStanow(dataGridView1.Columns.Count, dataGridView1.Rows.Count - 1, list);
for (int i = 0; i < dataGridView1.Columns.Count; i++)
{
List <int> listint = new List <int>();
for (int j = 0; j < dataGridView1.Rows.Count - 1; j++)
{
try
{
string symbol = this.dataGridView1[i, j].Value.ToString().ToUpper();
if (symbol == "N")
{
symbol = "-1";
}
if (symbol == "A")
{
symbol = "-2";
}
listint.Add(Int32.Parse(symbol));
}
catch (Exception)
{
MessageBox.Show("Uzupełnij wszystkie pola!");
return;
}
}
tabelka.wklejStan(listint, i);
}
foreach (DataGridViewRow rzad in dataGridView2.Rows)
{
try
{
list.Add(Char.Parse(rzad.HeaderCell.Value.ToString()));
}
catch (NullReferenceException)
{
continue;
}
}
TabelkaStanow tabelkaStos = new TabelkaStanow(dataGridView2.Columns.Count, dataGridView2.Rows.Count - 1, list);
for (int i = 0; i < dataGridView2.Columns.Count; i++)
{
List <int> listint = new List <int>();
for (int j = 0; j < dataGridView2.Rows.Count - 1; j++)
{
string symbol = this.dataGridView2[i, j].Value.ToString().ToUpper();
if (symbol == "N")
{
symbol = "-1";
}
if (symbol == "A")
{
symbol = "-2";
}
listint.Add(Int32.Parse(symbol));
}
tabelkaStos.wklejStan(listint, i);
}
list = new List <char>();
foreach (DataGridViewRow rzad in dataGridView3.Rows)
{
try
{
list.Add(Char.Parse(rzad.HeaderCell.Value.ToString()));
}
catch (NullReferenceException)
{
continue;
}
}
TabelkaStos stos = new TabelkaStos(dataGridView3.Columns.Count, dataGridView3.Rows.Count - 1, list);
for (int i = 0; i < dataGridView3.Columns.Count; i++)
{
List <int> listint = new List <int>();
for (int j = 0; j < dataGridView3.Rows.Count - 1; j++)
{
string symbol = this.dataGridView3[i, j].Value.ToString().ToUpper();
if (symbol == "N")
{
symbol = "-1";
}
if (symbol == "A")
{
symbol = "-2";
}
listint.Add(Int32.Parse(symbol));
}
stos.wklejStan(listint, i);
}
listView1.Clear();
automat = new Automat(tabelka, tabelkaStos, stos);
automat.waliduj(wyraz);
int opoznienie = (int)this.numericUpDown1.Value;
bool wynik_bool = automat.Operacja(wyraz, dataGridView1, dataGridView2, dataGridView3, opoznienie);
wynik.Text = "Wynik: " + (wynik_bool ? "Stan Akceptowalny" : "Stan Nieakceptowalny");
for (int i = 0; i < automat.PobierzList().Count(); i++)
{
listView1.Items.Add(new ListViewItem(automat.PobierzList()[i]));
}
}
catch (Exception ex)
{
Debug.WriteLine(ex.StackTrace.ToString());
MessageBox.Show(ex.Message);
}
}