private void hideStateDFA2()
 {
     DFA1simState0.Hide();
     DFA1simState1a.Hide();
     DFA1simState1b.Hide();
     DFA1simState2.Hide();
     DFA1simState3.Hide();
     DFA1simState4.Hide();
     DFA1simState6.Hide();
     DFA1simStateEndLoop.Hide();
 }
        private void onNext(object sender, EventArgs e)
        {
            sim = stringSimulation.ToCharArray(); //sim = stringSimulation.ToCharArray();
            switch (lblRegex.Text)
            {
                #region REGEX1
            case "Regular Expression:  (aa+bb)(a+b)* (a+b+ab+ba) (a+b+ab+ba)* (aa+bab)* (a+b+aa) (a+b+bb)*":
                if (forCTR <= stringSimulation.Length - 1)
                {
                    if (currentState == 0)
                    {
                        DFA1simState0.Show();
                        //StatusBar.Text = "The string enters start state!";
                        currentState++;
                    }

                    else if (currentState == 1)
                    {
                        if (sim[forCTR] == 'a')
                        {
                            DFA1simState0.Hide();
                            DFA1simState1a.Show();
                            lblInputChar.Text = Convert.ToString(sim[forCTR]);
                            //StatusBar.Text = "Since input is a, the string enters state 1a";
                            forCTR++;
                            currentState++;
                        }

                        else if (sim[forCTR] == 'b')
                        {
                            DFA1simState0.Hide();
                            DFA1simState1b.Show();
                            lblInputChar.Text = Convert.ToString(sim[forCTR]);
                            //StatusBar.Text = "Since input is b, the string enters state 1b";
                            forCTR++;
                            currentState++;
                        }

                        else
                        {
                            //start state only
                            lblInputChar.Text = "INVALID INPUT";
                            //StatusBar.Text = "The string is stuck in start state, and is therefore invalid";
                            btnNext.Enabled = false;
                        }
                    }

                    else if (currentState == 2)
                    {
                        if (sim[forCTR - 1] == 'a' && sim[forCTR] == 'a')
                        {
                            DFA1simState1a.Hide();
                            DFA1simState2.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            //StatusBar.Text = "From state 1a, the input is a, therefore the string enters state 2";
                            forCTR++;
                            currentState++;
                        }

                        else if (sim[forCTR - 1] == 'b' && sim[forCTR] == 'b')
                        {
                            DFA1simState1b.Hide();
                            DFA1simState2.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            //StatusBar.Text = "From state 1b, the input is b, therefore the string enters state 2";
                            forCTR++;
                            currentState++;
                        }

                        else if (sim[forCTR - 1] == 'a' && sim[forCTR] == 'b')
                        {
                            DFA1simState1a.Hide();
                            DFA1simState6.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            //StatusBar.Text = "From state 1a, the input is b, the string enters a trap state, and therefore is considered invalid for the DFA";
                            lblInputChar.Text = "INVALID INPUT";
                            forCTR++;
                            currentState++;
                            btnNext.Enabled = false;
                        }

                        else if (sim[forCTR - 1] == 'b' && sim[forCTR] == 'a')
                        {
                            DFA1simState1b.Hide();
                            DFA1simState6.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            //StatusBar.Text = "From state 1b, the input is a, the string enters a trap state, and therefore is considered invalid for the DFA";
                            lblInputChar.Text = "INVALID INPUT";
                            forCTR++;
                            currentState++;
                            btnNext.Enabled = false;
                        }

                        else
                        {
                            //STAYS WHEREVER IT IS
                            lblInputChar.Text = "INVALID INPUT";
                            //StatusBar.Text = "The string does not reach the end state, and is therefore invalid";
                            btnNext.Enabled = false;
                        }
                    }

                    else if (currentState == 3)
                    {
                        if (sim[forCTR] == 'a' || sim[forCTR] == 'b')
                        {
                            DFA1simState2.Hide();
                            DFA1simState3.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState++;
                        }

                        else
                        {
                            //STAYS WHEREVER IT IS
                            lblInputChar.Text = "INVALID INPUT";
                            //StatusBar.Text = "The string does not reach the end state, and is therefore invalid";
                            btnNext.Enabled = false;
                        }
                    }

                    else if (currentState == 4)
                    {
                        if (sim[forCTR] == 'a' || sim[forCTR] == 'b')
                        {
                            DFA1simState3.Hide();
                            DFA1simState4.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            //StatusBar.Text = "From state 3, the input is " + sim[forCTR] + ", therefore the string enters state 4";
                            forCTR++;
                            currentState++;
                        }

                        else
                        {
                            //STAYS WHEREVER IT IS
                            lblInputChar.Text = "INVALID INPUT";
                            //StatusBar.Text = "The string does not reach the end state, and is therefore invalid";
                            btnNext.Enabled = false;
                        }
                    }

                    else if (currentState > 4)
                    {
                        if (sim[forCTR] == 'a' || sim[forCTR] == 'b')
                        {
                            DFA1simState4.Hide();
                            DFA1simStateEndLoop.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            //StatusBar.Text = "From state 4, the input is " + sim[forCTR] + ", therefore the string stays in state 4";
                            forCTR++;
                            currentState++;
                        }

                        else
                        {
                            //STAYS WHEREVER IT IS
                            lblInputChar.Text = "INVALID INPUT";
                            //StatusBar.Text = "Input is neither a or b so the string doesn't go to any state, and is therefore invalid";
                            btnNext.Enabled = false;
                        }
                    }
                }

                else
                {
                    if (currentState > 4)
                    {
                        lblInputChar.Text = "VALID INPUT";
                        //StatusBar.Text = "The string ends in the end state, and is therefore valid!";
                        btnNext.Enabled = false;
                    }

                    else if (currentState <= 4)
                    {
                        lblInputChar.Text = "INVALID INPUT";
                        // StatusBar.Text = "The string does not end in the end state, and is therefore invalid!";
                        btnNext.Enabled = false;
                    }
                    currentState++;
                }
                break;
                #endregion

                #region REGEX2
            case "Regular Expression: ((101+111+101) + (1+0+11)*) (1+0+01)* (111+000+101) (1+0)*":
                if (forCTR <= stringSimulation.Length - 1)
                {
                    if (currentState == 0)
                    {
                        DFA2simState0.Show();
                        currentState = 1;
                    }
                    else if (currentState == 1)    //starting state
                    {
                        if (sim[forCTR] == '1')
                        {
                            DFA2simState0.Hide();
                            DFA2simState1.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 2;
                        }

                        else if (sim[forCTR] == '0')
                        {
                            DFA2simState0.Hide();
                            DFA2simState1.Hide();
                            DFA2simState2.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 2;
                        }

                        else
                        {
                            //start state only
                            lblInputChar.Text = "INVALID INPUT";
                            btnNext.Enabled   = false;
                        }
                    }
                    else if (currentState == 2)
                    {
                        if (sim[forCTR - 1] == '1' && sim[forCTR] == '1')
                        {
                            DFA2simState1.Hide();
                            DFA2simState3.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 3;
                        }

                        else if (sim[forCTR - 1] == '1' && sim[forCTR] == '0')
                        {
                            DFA2simState1.Hide();
                            DFA2simState4.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 4;
                        }
                        else if (sim[forCTR - 1] == '0' && sim[forCTR] == '0')
                        {
                            DFA2simState2.Hide();
                            DFA2simState5.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 5;
                        }
                        else if (sim[forCTR - 1] == '0' && sim[forCTR] == '1')
                        {
                            DFA2simState2.Hide();
                            DFA2simState1.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 2;
                        }
                        else
                        {
                            //STAYS WHEREVER IT IS
                            lblInputChar.Text = "INVALID INPUT";
                            btnNext.Enabled   = false;
                        }
                    }
                    else if (currentState == 3)
                    {
                        if (sim[forCTR] == '1')
                        {
                            DFA2simState1.Hide();
                            DFA2simState2.Hide();
                            DFA2simState3.Hide();
                            DFA2simState6.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 6;
                        }
                        else if (sim[forCTR] == '0')
                        {
                            DFA2simState1.Hide();
                            DFA2simState2.Hide();
                            DFA2simState3.Hide();
                            DFA2simState4.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 4;
                        }
                        else
                        {
                            //STAYS WHEREVER IT IS
                            lblInputChar.Text = "INVALID INPUT";
                            btnNext.Enabled   = false;
                        }
                    }
                    else if (currentState == 4)
                    {
                        if (sim[forCTR] == '1')
                        {
                            DFA2simState1.Hide();
                            DFA2simState2.Hide();
                            DFA2simState3.Hide();
                            DFA2simState4.Hide();
                            DFA2simState6.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 6;
                        }
                        else if (sim[forCTR] == '0')
                        {
                            DFA2simState1.Hide();
                            DFA2simState2.Hide();
                            DFA2simState3.Hide();
                            DFA2simState4.Hide();
                            DFA2simState5.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 5;
                        }
                        else
                        {
                            //STAYS WHEREVER IT IS
                            lblInputChar.Text = "INVALID INPUT";
                            btnNext.Enabled   = false;
                        }
                    }
                    else if (currentState == 5)
                    {
                        if (sim[forCTR] == '1')
                        {
                            DFA2simState1.Hide();
                            DFA2simState2.Hide();
                            DFA2simState3.Hide();
                            DFA2simState4.Hide();
                            DFA2simState5.Hide();
                            DFA2simState1.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 2;
                        }
                        else if (sim[forCTR] == '0')
                        {
                            DFA2simState1.Hide();
                            DFA2simState2.Hide();
                            DFA2simState3.Hide();
                            DFA2simState4.Hide();
                            DFA2simState5.Hide();
                            DFA2simState6.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState = 6;
                        }
                        else
                        {
                            //STAYS WHEREVER IT IS
                            lblInputChar.Text = "INVALID INPUT";
                            btnNext.Enabled   = false;
                        }
                    }
                    else if (currentState >= 6)
                    {
                        if (sim[forCTR] == '1' || sim[forCTR] == '0')
                        {
                            DFA2simState1.Hide();
                            DFA2simState2.Hide();
                            DFA2simState3.Hide();
                            DFA2simState4.Hide();
                            DFA2simState5.Hide();
                            DFA2simState6.Hide();
                            DFA2simStateEndLoop.Show();
                            lblInputChar.Text += Convert.ToString(sim[forCTR]);
                            forCTR++;
                            currentState++;
                        }
                        else
                        {
                            DFA2simState1.Hide();
                            DFA2simState2.Hide();
                            DFA2simState3.Hide();
                            DFA2simState4.Hide();
                            DFA2simState5.Hide();
                            DFA2simState6.Show();
                            lblInputChar.Text = "VALID INPUT";
                            btnNext.Enabled   = false;
                        }
                    }
                }
                else
                {
                    if (currentState >= 6)
                    {
                        lblInputChar.Text = "VALID INPUT";
                        btnNext.Enabled   = false;
                    }

                    else if (currentState < 6)
                    {
                        lblInputChar.Text = "INVALID INPUT";
                        btnNext.Enabled   = false;
                    }
                    currentState++;
                }

                break;
            }
        }