Exemplo n.º 1
0
 void obtenerCerradura(nodoThompson n)
 {
     if (n.getValorTransicion() == null)
     {
         transicionActual.getTerminalesAlcanza().Add(n);
         transicionActual.setEsFinal(true);
     }
     else
     if (!n.getValorTransicion().Equals("ε"))
     {
         transicionActual.getNodosAlcanza().Add(n.getArriba().getId());
         transicionActual.getTerminalesAlcanza().Add(n);
     }
     else
     {
         obtC(n);
     }
 }
 public void setArriba(nodoThompson arriba)
 {
     this.arriba = arriba;
 }
 public void setAbajo(nodoThompson abajo)
 {
     this.abajo = abajo;
 }
 public void setNodo(nodoThompson nodo)
 {
     this.nodo = nodo;
 }
 public transicion(string nombre, nodoThompson nodo)
 {
     this.nombre = nombre;
     this.nodo   = nodo;
 }
Exemplo n.º 6
0
        string escribirAFN(nodoThompson n)
        {
            string nodos;



            if (n.getArriba() == null && n.getAbajo() == null)
            {
                nodos = "nodo" + n.getId() + " [ label =\"" + n.getId() + "\"shape= doublecircle];\n";
            }
            else
            {
                nodos = "nodo" + n.getId() + " [ label =\"" + n.getId() + "\" ];\n";
            }



            if (n.getArriba() != null)
            {
                bool control = true;
                //Console.WriteLine("vuelta a");
                foreach (int j in no)
                {
                    //Console.WriteLine(j);
                    if (n.getId() == j)
                    {
                        control = false;
                    }
                }
                if (control == true)
                {
                    if (n.getAbajo() == null)
                    {
                        no.Push(n.getId());
                    }
                    nodos = nodos + escribirAFN(n.getArriba())
                            + "nodo" + n.getId() + "->nodo" + n.getArriba().getId() + " [label=" + n.getValorTransicion() + "]" + ";\n";
                }

                /*if (!n.getValorTransicion().Equals("ε"))
                 * {
                 *      no.Push(n.getId());
                 * }
                 * if(n.getArriba()!= null)
                 * {
                 *      if (n.getArriba().getValorTransicion() == null || n.getArriba().getValorTransicion().Equals("ε"))
                 *      {
                 *              no.Push(n.getId());
                 *      }
                 * }*/
            }
            if (n.getAbajo() != null)
            {
                bool control = true;
                //
                foreach (int j in no)
                {
                    //Console.WriteLine(j);
                    if (n.getId() == j)
                    {
                        control = false;
                    }
                }
                if (control == true)
                {
                    no.Push(n.getId());
                    nodos = nodos + escribirAFN(n.getAbajo())
                            + "nodo" + n.getId() + "->nodo" + n.getAbajo().getId() + " [label=" + n.getValorTransicion() + "]" + ";\n";;
                }

                /*if (!n.getValorTransicion().Equals("ε"))
                 * {
                 *
                 * }
                 * if (n.getArriba() != null)
                 * {
                 *      if (n.getArriba().getValorTransicion() == null || n.getArriba().getValorTransicion().Equals("ε"))
                 *      {
                 *              no.Push(n.getId());
                 *      }
                 * }*/
                /*nodos = nodos + escribirAFN(n.getAbajo())
                 + "nodo" + n.getId() + "->nodo" + n.getAbajo().getId() + " [label=" + n.getValorTransicion() + "]" + ";\n";*/
            }

            //nodos += "nodo" + raiz.getId() + " [ label =\"" + raiz.getId() + "\"];\n";
            return(nodos);
        }
Exemplo n.º 7
0
        private void preOrder(nodo n)
        {
            if (n == null)
            {
                return;
            }



            preOrder(n.getIzquierda());
            preOrder(n.getDerecha());


            if (n.getEsTerminal() == false && n.getUnitario() == false)            // | o . o
            {
                if (n.getValor().Equals("."))
                {
                    Console.WriteLine(n.getIzquierda().getEsTerminal());
                    Console.WriteLine(n.getDerecha().getEsTerminal());
                    if (iniciales.FirstOrDefault() != null)
                    {
                        /**/

                        if (n.getIzquierda().getEsTerminal() == true && n.getDerecha().getEsTerminal() == false)
                        {
                            Console.WriteLine("izquierda t .");
                            nodoThompson c1 = terminales.Pop();

                            nodoThompson c2 = iniciales.Pop();
                            /**/

                            Console.WriteLine(c1.getValorTransicion());
                            Console.WriteLine(c2.getValorTransicion());

                            this.raiz = c1;

                            c1.setArriba(c2);
                            iniciales.Push(c1);


                            if (this.raiz == null)
                            {
                                this.raiz = c1;
                            }
                        }
                        else if (n.getDerecha().getEsTerminal() == true && n.getIzquierda().getEsTerminal() == false)
                        {
                            Console.WriteLine("derecha t .");
                            nodoThompson c2 = terminales.Pop();
                            nodoThompson c1 = iniciales.Pop();

                            /**/

                            Console.WriteLine(c2.getValorTransicion());
                            Console.WriteLine(c1.getValorTransicion());

                            this.raiz = c1;
                            iniciales.Push(c1);

                            while (c1.getArriba() != null || c1.getValorTransicion() != null)
                            {
                                c1 = c1.getArriba();
                            }


                            c1.setArriba(c2);
                            c1.setValorTransicion(c2.getValorTransicion());
                            c2.setValorTransicion(null);
                        }
                        else if (n.getIzquierda().getEsTerminal() == false && n.getDerecha().getEsTerminal() == false)
                        {
                            Console.WriteLine("ninguno t .");

                            nodoThompson c2 = iniciales.Pop();
                            nodoThompson c1 = iniciales.Pop();


                            /**/
                            this.raiz = c1;
                            iniciales.Push(c1);

                            Console.WriteLine(c2.getValorTransicion());
                            Console.WriteLine(c1.getValorTransicion());

                            while (c1.getArriba() != null || c1.getValorTransicion() != null)
                            {
                                c1 = c1.getArriba();
                            }


                            c1.setValorTransicion(c2.getValorTransicion());
                            c1.setArriba(c2.getArriba());
                            if (c2.getAbajo() != null)
                            {
                                c1.setAbajo(c2.getAbajo());
                            }

                            c2.setValorTransicion(null);
                        }
                        else
                        {
                            Console.WriteLine("ambos t .");
                            nodoThompson c2 = terminales.Pop();
                            nodoThompson c1 = terminales.Pop();
                            /**/

                            Console.WriteLine(c2.getValorTransicion());
                            Console.WriteLine(c1.getValorTransicion());


                            nodoThompson c3 = new nodoThompson(null, contadorNodos);
                            contadorNodos++;

                            if (this.raiz == null)
                            {
                                this.raiz = c1;
                            }

                            c1.setArriba(c2);
                            c2.setArriba(c3);

                            iniciales.Push(c1);
                        }
                    }
                    else
                    {
                        Console.WriteLine("ambos t .");
                        nodoThompson c2 = terminales.Pop();
                        nodoThompson c1 = terminales.Pop();
                        /**/

                        Console.WriteLine(c2.getValorTransicion());
                        Console.WriteLine(c1.getValorTransicion());


                        nodoThompson c3 = new nodoThompson(null, contadorNodos);
                        contadorNodos++;

                        if (this.raiz == null)
                        {
                            this.raiz = c1;
                        }

                        c1.setArriba(c2);
                        c2.setArriba(c3);

                        iniciales.Push(c1);
                    }
                }
                else if (n.getValor().Equals("|"))
                {
                    if (iniciales.FirstOrDefault() != null)
                    {
                        if (n.getIzquierda().getEsTerminal() == true && n.getDerecha().getEsTerminal() == false)
                        {
                            nodoThompson c2 = iniciales.Pop();
                            nodoThompson c1 = terminales.Pop();

                            nodoThompson c3 = new nodoThompson("ε", contadorNodos);
                            contadorNodos++;

                            c1.setId(contadorNodos);
                            contadorNodos++;

                            nodoThompson c4 = new nodoThompson("ε", contadorNodos);
                            contadorNodos++;

                            nodoThompson c6 = new nodoThompson(null, contadorNodos);
                            contadorNodos++;

                            c3.setArriba(c1);
                            c1.setArriba(c4);
                            c4.setArriba(c6);

                            c3.setAbajo(c2);

                            while (c2.getArriba() != null || c2.getValorTransicion() != null)
                            {
                                c2 = c2.getArriba();
                            }
                            c2.setValorTransicion("ε");

                            c2.setArriba(c6);

                            /**/
                            Console.WriteLine("izquierda t |");
                            Console.WriteLine(c2.getValorTransicion());
                            Console.WriteLine(c1.getValorTransicion());

                            iniciales.Push(c3);

                            this.raiz = c3;
                        }
                        else if (n.getDerecha().getEsTerminal() == true && n.getIzquierda().getEsTerminal() == false)
                        {
                            nodoThompson c1 = iniciales.Pop();

                            nodoThompson c2 = terminales.Pop();


                            nodoThompson c3 = new nodoThompson("ε", contadorNodos);
                            contadorNodos++;


                            c2.setId(contadorNodos);
                            contadorNodos++;


                            nodoThompson c5 = new nodoThompson("ε", contadorNodos);
                            contadorNodos++;


                            nodoThompson c6 = new nodoThompson(null, contadorNodos);
                            contadorNodos++;


                            c3.setAbajo(c2);
                            c2.setArriba(c5);
                            c5.setArriba(c6);

                            c3.setArriba(c1);
                            while (c1.getArriba() != null || c1.getValorTransicion() != null)
                            {
                                c1 = c1.getArriba();
                            }
                            c1.setValorTransicion("ε");

                            c1.setArriba(c6);



                            /**/
                            Console.WriteLine("derecha t |");
                            Console.WriteLine(c2.getValorTransicion());
                            Console.WriteLine(c1.getValorTransicion());


                            iniciales.Push(c3);

                            this.raiz = c3;
                        }
                        else if (n.getIzquierda().getEsTerminal() == false && n.getDerecha().getEsTerminal() == false)
                        {
                            nodoThompson c2 = iniciales.Pop();
                            nodoThompson c1 = iniciales.Pop();



                            nodoThompson c3 = new nodoThompson("ε", contadorNodos);
                            contadorNodos++;



                            nodoThompson c6 = new nodoThompson(null, contadorNodos);
                            contadorNodos++;


                            c3.setArriba(c1);
                            while (c1.getArriba() != null || c1.getValorTransicion() != null)
                            {
                                c1 = c1.getArriba();
                            }
                            c1.setValorTransicion("ε");
                            c1.setArriba(c6);

                            c3.setAbajo(c2);
                            while (c2.getArriba() != null || c2.getValorTransicion() != null)
                            {
                                c2 = c2.getArriba();
                            }
                            c2.setValorTransicion("ε");
                            c2.setArriba(c6);



                            /**/
                            Console.WriteLine("ninguno t |");
                            Console.WriteLine(c2.getValorTransicion());
                            Console.WriteLine(c1.getValorTransicion());


                            iniciales.Push(c3);

                            this.raiz = c3;
                        }
                        else
                        {
                            nodoThompson c2 = terminales.Pop();

                            nodoThompson c1 = terminales.Pop();
                            contadorNodos = c1.getId();


                            nodoThompson c3 = new nodoThompson("ε", contadorNodos);
                            contadorNodos++;


                            c1.setId(contadorNodos);
                            contadorNodos++;


                            nodoThompson c4 = new nodoThompson("ε", contadorNodos);
                            contadorNodos++;


                            nodoThompson c6 = new nodoThompson(null, contadorNodos);
                            contadorNodos++;
                            c2.setId(contadorNodos);
                            contadorNodos++;

                            nodoThompson c5 = new nodoThompson("ε", contadorNodos);
                            contadorNodos++;


                            c3.setArriba(c1);
                            c1.setArriba(c4);
                            c4.setArriba(c6);

                            c3.setAbajo(c2);
                            c2.setArriba(c5);
                            c5.setArriba(c6);

                            /**/
                            Console.WriteLine("ambos t |");
                            Console.WriteLine(c2.getValorTransicion());
                            Console.WriteLine(c1.getValorTransicion());



                            iniciales.Push(c3);


                            if (this.raiz == null)
                            {
                                this.raiz = c3;
                            }
                        }
                    }
                    else
                    {
                        nodoThompson c2 = terminales.Pop();

                        nodoThompson c1 = terminales.Pop();
                        contadorNodos = c1.getId();


                        nodoThompson c3 = new nodoThompson("ε", contadorNodos);
                        contadorNodos++;


                        c1.setId(contadorNodos);
                        contadorNodos++;


                        nodoThompson c4 = new nodoThompson("ε", contadorNodos);
                        contadorNodos++;


                        nodoThompson c6 = new nodoThompson(null, contadorNodos);
                        contadorNodos++;
                        c2.setId(contadorNodos);
                        contadorNodos++;

                        nodoThompson c5 = new nodoThompson("ε", contadorNodos);
                        contadorNodos++;


                        c3.setArriba(c1);
                        c1.setArriba(c4);
                        c4.setArriba(c6);

                        c3.setAbajo(c2);
                        c2.setArriba(c5);
                        c5.setArriba(c6);
Exemplo n.º 8
0
        void obtC(nodoThompson n)
        {
            if (n.getArriba() == null && n.getAbajo() == null)
            {
                transicionActual.setEsFinal(true);
                transicionActual.getNodosAlcanza().Add(n.getId());
            }

            if (n.getArriba() != null)
            {
                bool control = true;

                foreach (int j in noCerradura)
                {
                    if (n.getId() == j)
                    {
                        control = false;
                    }
                }
                if (control == true)
                {
                    if (n.getAbajo() == null)
                    {
                        noCerradura.Add(n.getId());
                    }
                    transicionActual.getNodosAlcanza().Add(n.getId());
                    if (!n.getValorTransicion().Equals("ε"))
                    {
                        transicionActual.getTerminalesAlcanza().Add(n);
                    }
                    else
                    {
                        obtC(n.getArriba());
                    }
                }
            }
            if (n.getAbajo() != null)
            {
                bool control = true;

                foreach (int j in noCerradura)
                {
                    if (n.getId() == j)
                    {
                        control = false;
                    }
                }
                if (control == true)
                {
                    if (n.getAbajo() == null)
                    {
                        noCerradura.Add(n.getId());
                    }
                    transicionActual.getNodosAlcanza().Add(n.getId());
                    if (!n.getValorTransicion().Equals("ε"))
                    {
                        transicionActual.getTerminalesAlcanza().Add(n);
                    }
                    else
                    {
                        obtC(n.getAbajo());
                    }
                }
            }


            /*******************************************************/
        }
Exemplo n.º 9
0
 public Recorridos(nodoThompson inicio)
 {
     this.inicio = inicio;
 }
Exemplo n.º 10
0
        void obT(nodoThompson n)
        {
            if (n.getArriba() != null)
            {
                bool control = true;

                foreach (int j in no)
                {
                    if (n.getId() == j)
                    {
                        control = false;
                    }
                }
                if (control == true)
                {
                    if (n.getAbajo() == null)
                    {
                        no.Add(n.getId());
                    }

                    if (!n.getValorTransicion().Equals("ε"))
                    {
                        transicion sig = new transicion("" + contadorEstados, n.getArriba());
                        contadorEstados++;
                        transiciones.Add(sig);


                        bool ctrl = true;

                        foreach (nodoThompson term in terminales)
                        {
                            if (term == n)
                            {
                            }
                            else
                            {
                                if (n.getValorTransicion().Equals(term.getValorTransicion()))
                                {
                                    ctrl = false;
                                }
                            }
                        }
                        if (ctrl == true)
                        {
                            terminales.Add(n);
                        }
                    }
                    obT(n.getArriba());
                }
            }
            if (n.getAbajo() != null)
            {
                bool control = true;

                foreach (int j in no)
                {
                    if (n.getId() == j)
                    {
                        control = false;
                    }
                }
                if (control == true)
                {
                    if (n.getAbajo() == null)
                    {
                        no.Add(n.getId());
                    }
                    if (!n.getValorTransicion().Equals("ε"))
                    {
                        transicion sig = new transicion("" + contadorEstados, n.getArriba());

                        transiciones.Add(sig);

                        bool ctrl = true;
                        foreach (nodoThompson term in terminales)
                        {
                            if (term == n)
                            {
                            }
                            else
                            {
                                if (n.getValorTransicion().Equals(term.getValorTransicion()))
                                {
                                    ctrl = false;
                                }
                            }
                        }
                        if (ctrl == true)
                        {
                            terminales.Add(n);
                        }
                    }
                    obT(n.getAbajo());
                }
            }
        }