Esempio n. 1
0
 public Automat(TabelkaStanow tabelka, TabelkaStanow tabelkaStos, TabelkaStos tstos)
 {
     this.tabelka     = tabelka;
     this.tabelkaStos = tabelkaStos;
     this.tstos       = tstos;
     stos             = new Stack <char>();
 }
Esempio n. 2
0
        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);
            }
        }
Esempio n. 3
0
        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);
            }
        }