コード例 #1
0
        public void siguientes(List <int> numeros, Estado nuevoEstado)
        {
            List <int> estadosCerradura = new List <int>();

            for (int i = 0; i < numeros.Count; i++)
            {
                NodoExpresion paraCerradura = buscarNodo(numeros.ElementAt(i));
                if (paraCerradura != null)
                {
                    cerradura(paraCerradura, estadosCerradura);
                }
            }
            mostrarCerradura(estadosCerradura);
            bool has = estadosCerradura.Any(x => x == ultimo.Id);

            if (has == true)
            {
                nuevoEstado.Aceptacion = true;
            }
            List <Transicion> trancisionesEstado = new List <Transicion>();

            for (int i = 0; i < listaSimbolos.Count; i++)
            {
                List <int> estadosMueve = new List <int>();
                for (int l = 0; l < estadosCerradura.Count; l++)
                {
                    NodoExpresion paraMove = buscarNodo(estadosCerradura.ElementAt(l));
                    if (paraMove != null)
                    {
                        move(paraMove, listaSimbolos.ElementAt(i), estadosMueve);
                    }
                }
                if (estadosMueve.Count > 0)
                {
                    bool sn = existeCerradura(estadosMueve);
                    if (sn)
                    {
                        int        id = devolverId(estadosMueve);
                        Transicion nuevaTransicion = new Transicion();
                        nuevaTransicion.Estado  = id;
                        nuevaTransicion.Simbolo = listaSimbolos.ElementAt(i).ToString();
                        trancisionesEstado.Add(nuevaTransicion);
                    }
                    else
                    {
                        Estado apuntar = new Estado();
                        apuntar.EstadoInicial = j;
                        j++;
                        apuntar.Numeros = estadosMueve;
                        transiciones.Add(apuntar);
                        Transicion nuevaTransicion = new Transicion();
                        nuevaTransicion.Estado  = apuntar.EstadoInicial;
                        nuevaTransicion.Simbolo = listaSimbolos.ElementAt(i).ToString();
                        trancisionesEstado.Add(nuevaTransicion);
                        siguientes(estadosMueve, apuntar);
                    }
                }
            }
            nuevoEstado.Transiciones = trancisionesEstado;
        }
コード例 #2
0
        public NodoExpresion buscarNodo(int id)
        {
            NodoExpresion devolver = new NodoExpresion();

            for (int i = 0; i < listaNodo.Count; i++)
            {
                if (listaNodo.ElementAt(i).Id == id)
                {
                    devolver = listaNodo.ElementAt(i);
                }
            }
            return(devolver);
        }
コード例 #3
0
 public void move(NodoExpresion raiz, Object simbolo, List <int> estados)
 {
     if (raiz.Izquierda != null)
     {
         if (raiz.TransicionIzquierda.ToString() == simbolo.ToString())
         {
             estados.Add(raiz.Izquierda.Id);
         }
     }
     if (raiz.Derecha != null)
     {
         if (raiz.TransicionDerecha.ToString() == simbolo.ToString())
         {
             estados.Add(raiz.Derecha.Id);
         }
     }
 }
コード例 #4
0
 public void cerradura(NodoExpresion inicio, List <int> estados)
 {
     estados.Add(inicio.Id);
     if (inicio.Izquierda != null)
     {
         if (inicio.TransicionIzquierda.ToString() == "Ɛ")
         {
             cerradura(inicio.Izquierda, estados);
         }
     }
     if (inicio.Derecha != null)
     {
         if (inicio.TransicionDerecha.ToString() == "Ɛ")
         {
             cerradura(inicio.Derecha, estados);
         }
     }
 }
コード例 #5
0
 public void generarAFN(Object nodo, int n, NodoExpresion nodoexp)
 {
     if (nodo.ToString() == "|")
     {
         grafica += "node" + n + "[label=\u0022" + n + "\u0022]; \n";
         k        = n;
         ultimo   = nodoexp;
         generarOr(n, nodoexp);
     }
     else if (nodo.ToString() == ".")
     {
         k      = n;
         ultimo = nodoexp;
         generarConcatenacion(n, nodoexp);
     }
     else if (nodo.ToString() == "+")
     {
         grafica += "node" + n + "[label=\u0022" + n + "\u0022]; \n";
         k        = n;
         ultimo   = nodoexp;
         generarCerrduraPositiva(n, nodoexp);
     }
     else if (nodo.ToString() == "*")
     {
         grafica += "node" + n + "[label=\u0022" + n + "\u0022]; \n";
         k        = n;
         ultimo   = nodoexp;
         generarCerraduaKleene(n, nodoexp);
     }
     else if (nodo.ToString() == "?")
     {
         grafica += "node" + n + "[label=\u0022" + n + "\u0022]; \n";
         k        = n;
         ultimo   = nodoexp;
         generarInterrogacion(n, nodoexp);
     }
 }
コード例 #6
0
        public void generarTabla(List <NodoExpresion> listaNodos, List <int> numeros, List <Object> simbolos, String nombre, NodoExpresion final, ListaCircularGaleria lg, Galeria nuevoGaleria)
        {
            listaNodo     = listaNodos;
            name          = nombre;
            listaSimbolos = simbolos;
            ultimo        = final;
            List <int> estadosCerradura = new List <int>();

            for (int i = 0; i < numeros.Count; i++)
            {
                NodoExpresion paraCerradura = buscarNodo(numeros.ElementAt(i));
                if (paraCerradura != null)
                {
                    cerradura(paraCerradura, estadosCerradura);
                }
            }
            mostrarCerradura(estadosCerradura);
            Estado nuevoEstado = new Estado();

            nuevoEstado.EstadoInicial = j;
            j++;
            nuevoEstado.Numeros = numeros;
            bool has = estadosCerradura.Any(x => x == ultimo.Id);

            if (has == true)
            {
                nuevoEstado.Aceptacion = true;
            }
            transiciones.Add(nuevoEstado);
            List <Transicion> trancisionesEstado = new List <Transicion>();

            for (int i = 0; i < listaSimbolos.Count; i++)
            {
                List <int> estadosMueve = new List <int>();
                for (int l = 0; l < estadosCerradura.Count; l++)
                {
                    NodoExpresion paraMove = buscarNodo(estadosCerradura.ElementAt(l));
                    if (paraMove != null)
                    {
                        move(paraMove, listaSimbolos.ElementAt(i), estadosMueve);
                    }
                }
                if (estadosMueve.Count > 0)
                {
                    bool sn = existeCerradura(estadosMueve);
                    if (sn)
                    {
                        int        id = devolverId(estadosMueve);
                        Transicion nuevaTransicion = new Transicion();
                        nuevaTransicion.Estado  = id;
                        nuevaTransicion.Simbolo = listaSimbolos.ElementAt(i).ToString();
                        trancisionesEstado.Add(nuevaTransicion);
                    }
                    else
                    {
                        Estado apuntar = new Estado();
                        apuntar.EstadoInicial = j;
                        j++;
                        apuntar.Numeros = estadosMueve;
                        transiciones.Add(apuntar);

                        Transicion nuevaTransicion = new Transicion();
                        nuevaTransicion.Estado  = apuntar.EstadoInicial;
                        nuevaTransicion.Simbolo = listaSimbolos.ElementAt(i).ToString();
                        trancisionesEstado.Add(nuevaTransicion);
                        siguientes(estadosMueve, apuntar);
                    }
                }
            }
            nuevoEstado.Transiciones = trancisionesEstado;
            nuevoGaleria.Estados     = transiciones;
            lg.insertar(nuevoGaleria);
        }
コード例 #7
0
        public void generarCerrduraPositiva(int n, NodoExpresion nodoexp)
        {
            j++;
            int    t    = j;
            int    m    = n + 1;
            Object nodo = nodos.ElementAt(j);

            NodoExpresion nuevo = new NodoExpresion();

            nuevo.Id = m;
            if (nodo.ToString() == "|")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
            }
            else if (nodo.ToString() == ".")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
            }
            else if (nodo.ToString() == "+")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
            }
            else if (nodo.ToString() == "*")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
            }
            else if (nodo.ToString() == "?")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
            }
            else
            {
                revisarSimboloExistente(nodo);
                grafica += "node" + m + "[label=\u0022" + m + "\u0022];\n";
                listaNodos.Add(nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022 " + nodo.ToString().Replace('"', ' ').Trim() + "\u0022];\n";
                nodoexp.TransicionIzquierda = nodo.ToString();
                nodoexp.Izquierda           = nuevo;
                k      = m;
                ultimo = nuevo;
            }
            int           z         = k;
            NodoExpresion izquierda = ultimo;
            int           l         = z + 1;
            int           r         = l + 1;

            j = t;
            NodoExpresion nuevo2 = new NodoExpresion();

            nuevo2.Id = l;
            nodo      = nodos.ElementAt(j);
            if (nodo.ToString() == "|")
            {
                listaNodos.Add(nuevo2);
                generarAFN(nodo, l, nuevo2);
                grafica += "node" + z + " -> node" + l + " [label=\u0022Ɛ\u0022];\n";
                izquierda.TransicionIzquierda = "Ɛ";
                izquierda.Izquierda           = nuevo2;
            }
            else if (nodo.ToString() == ".")
            {
                listaNodos.Add(nuevo2);
                generarAFN(nodo, l, nuevo2);
                grafica += "node" + z + " -> node" + l + " [label=\u0022Ɛ\u0022];\n";
                izquierda.TransicionIzquierda = "Ɛ";
                izquierda.Izquierda           = nuevo2;
            }
            else if (nodo.ToString() == "+")
            {
                listaNodos.Add(nuevo2);
                generarAFN(nodo, l, nuevo2);
                grafica += "node" + z + " -> node" + l + " [label=\u0022Ɛ\u0022];\n";
                izquierda.TransicionIzquierda = "Ɛ";
                izquierda.Izquierda           = nuevo2;
            }
            else if (nodo.ToString() == "*")
            {
                listaNodos.Add(nuevo2);
                generarAFN(nodo, l, nuevo2);
                grafica += "node" + z + " -> node" + l + " [label=\u0022Ɛ\u0022];\n";
                izquierda.TransicionIzquierda = "Ɛ";
                izquierda.Izquierda           = nuevo2;
            }
            else if (nodo.ToString() == "?")
            {
                listaNodos.Add(nuevo2);
                generarAFN(nodo, l, nuevo2);
                grafica += "node" + z + " -> node" + l + " [label=\u0022Ɛ\u0022];\n";
                izquierda.TransicionIzquierda = "Ɛ";
                izquierda.Izquierda           = nuevo2;
            }
            else
            {
                revisarSimboloExistente(nodo);
                grafica += "node" + l + "[label=\u0022" + l + "\u0022]; \n";
                listaNodos.Add(nuevo2);
                grafica += "node" + z + " -> node" + l + " [label=\u0022Ɛ\u0022];\n";
                izquierda.TransicionIzquierda = "Ɛ";
                izquierda.Izquierda           = nuevo2;
                grafica += "node" + r + "[label=\u0022" + r + "\u0022]; \n";
                NodoExpresion nuevo3 = new NodoExpresion();
                nuevo3.Id = r;
                listaNodos.Add(nuevo3);
                grafica += "node" + l + " -> node" + r + " [label=\u0022 " + nodo.ToString().Replace('"', ' ').Trim() + "\u0022];\n";
                nuevo2.TransicionIzquierda = nodo.ToString();
                nuevo2.Izquierda           = nuevo3;
                k      = r;
                ultimo = nuevo3;
            }
            int           rr      = k;
            NodoExpresion derecha = ultimo;
            int           p       = k + 1;

            grafica += "node" + rr + " -> node" + l + " [label=\u0022Ɛ\u0022];\n";
            derecha.TransicionIzquierda = "Ɛ";
            derecha.Izquierda           = nuevo2;
            grafica += "node" + p + "[label=\u0022" + p + "\u0022]; \n";
            NodoExpresion nuevo4 = new NodoExpresion();

            nuevo4.Id = p;
            listaNodos.Add(nuevo4);
            grafica += "node" + rr + " -> node" + p + " [label=\u0022Ɛ\u0022];\n";
            derecha.TransicionDerecha = "Ɛ";
            derecha.Derecha           = nuevo4;
            grafica += "node" + z + " -> node" + p + " [label=\u0022Ɛ\u0022];\n";
            izquierda.TransicionDerecha = "Ɛ";
            izquierda.Derecha           = nuevo4;
            k      = p;
            ultimo = nuevo4;
        }
コード例 #8
0
        public void generarCerraduaKleene(int n, NodoExpresion nodoexp)
        {
            j++;
            int    m    = k + 1;
            int    l    = m + 1;
            Object nodo = nodos.ElementAt(j);

            NodoExpresion nuevo = new NodoExpresion();

            nuevo.Id = m;

            if (nodo.ToString() == "|")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
            }
            else if (nodo.ToString() == ".")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
            }
            else if (nodo.ToString() == "+")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
            }
            else if (nodo.ToString() == "*")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
            }
            else if (nodo.ToString() == "?")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
            }
            else
            {
                revisarSimboloExistente(nodo);
                grafica += "node" + m + "[label=\u0022" + m + "\u0022]; \n";
                listaNodos.Add(nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022;\n]";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
                grafica += "node" + l + "[label=\u0022" + l + "\u0022]; \n";
                NodoExpresion nuevo2 = new NodoExpresion();
                listaNodos.Add(nuevo2);
                nuevo2.Id = l;
                grafica  += "node" + m + " -> node" + l + " [label=\u0022 " + nodo.ToString().Replace('"', ' ').Trim() + "\u0022];\n";
                nuevo.TransicionIzquierda = nodo.ToString();
                nuevo.Izquierda           = nuevo2;
                k      = l;
                ultimo = nuevo2;
            }
            l = k;
            NodoExpresion izquierda = ultimo;
            int           p         = k + 1;

            grafica += "node" + l + " -> node" + m + " [label=\u0022Ɛ\u0022;\n]";
            izquierda.TransicionIzquierda = "Ɛ";
            izquierda.Izquierda           = nuevo;
            grafica += "node" + p + "[label=\u0022" + p + "\u0022]; \n";
            NodoExpresion nuevo3 = new NodoExpresion();

            listaNodos.Add(nuevo3);
            nuevo3.Id = p;
            grafica  += "node" + l + " -> node" + p + " [label=\u0022Ɛ\u0022;\n]";
            izquierda.TransicionDerecha = "Ɛ";
            izquierda.Derecha           = nuevo3;
            grafica += "node" + n + " -> node" + p + " [label=\u0022Ɛ\u0022;\n]";
            nodoexp.TransicionDerecha = "Ɛ";
            nodoexp.Derecha           = nuevo3;
            k      = p;
            ultimo = nuevo3;
        }
コード例 #9
0
        public void generarInterrogacion(int n, NodoExpresion nodoexp)
        {
            //Lado Izquierdo
            j++;

            int    m    = n + 1;
            int    l    = m + 1;
            Object nodo = nodos.ElementAt(j);

            NodoExpresion nuevo = new NodoExpresion();

            nuevo.Id = m;
            if (nodo.ToString() == "|")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
            }
            else if (nodo.ToString() == ".")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
            }
            else if (nodo.ToString() == "+")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
            }
            else if (nodo.ToString() == "*")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
            }
            else if (nodo.ToString() == "?")
            {
                listaNodos.Add(nuevo);
                generarAFN(nodo, m, nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
            }
            else
            {
                revisarSimboloExistente(nodo);
                grafica += "node" + m + "[label=\u0022" + m + "\u0022]; \n";
                listaNodos.Add(nuevo);
                grafica += "node" + n + " -> node" + m + " [label=\u0022Ɛ\u0022];\n";
                nodoexp.TransicionIzquierda = "Ɛ";
                nodoexp.Izquierda           = nuevo;
                grafica += "node" + l + "[label=\u0022" + l + "\u0022]; \n";
                NodoExpresion nuevo2 = new NodoExpresion();
                listaNodos.Add(nuevo2);
                nuevo2.Id = l;
                grafica  += "node" + m + " -> node" + l + " [label=\u0022 " + nodo.ToString().Replace('"', ' ').Trim() + "\u0022];\n";
                nuevo.TransicionIzquierda = nodo.ToString();
                nuevo.Izquierda           = nuevo2;
                k      = l;
                ultimo = nuevo2;
            }
            l = k;
            NodoExpresion izquierda = ultimo;
            //Lado Derecho
            int d = k + 1;
            int r = d + 1;

            grafica += "node" + d + "[label=\u0022" + d + "\u0022]; \n";
            NodoExpresion nuevo3 = new NodoExpresion();

            listaNodos.Add(nuevo3);
            nuevo3.Id = d;
            grafica  += "node" + n + " -> node" + d + " [label=\u0022Ɛ\u0022];\n";
            nodoexp.TransicionDerecha = "Ɛ";
            nodoexp.Derecha           = nuevo3;
            grafica += "node" + r + "[label=\u0022" + r + "\u0022]; \n";
            NodoExpresion nuevo4 = new NodoExpresion();

            listaNodos.Add(nuevo4);
            nuevo4.Id = r;
            grafica  += "node" + d + " -> node" + r + " [label=\u0022Ɛ\u0022];\n";
            nuevo3.TransicionIzquierda = "Ɛ";
            nuevo3.Izquierda           = nuevo4;
            k = r;

            int u = k + 1;

            grafica += "node" + u + "[label=\u0022" + u + "\u0022]; \n";
            NodoExpresion nuevo5 = new NodoExpresion();

            listaNodos.Add(nuevo5);
            nuevo5.Id = u;
            grafica  += "node" + l + " -> node" + u + " [label=\u0022Ɛ\u0022];\n";
            izquierda.TransicionIzquierda = "Ɛ";
            izquierda.Izquierda           = nuevo5;
            grafica += "node" + r + " -> node" + u + " [label=\u0022Ɛ\u0022];\n";
            nuevo4.TransicionIzquierda = "Ɛ";
            nuevo4.Izquierda           = nuevo5;
            k      = u;
            ultimo = nuevo5;
        }
コード例 #10
0
        public void generarConcatenacion(int n, NodoExpresion nodoexp)
        {
            //Lado Izquierdo
            j++;
            int           m     = n;
            int           l     = m + 1;
            Object        nodo  = nodos.ElementAt(j);
            NodoExpresion nuevo = nodoexp;

            if (nodo.ToString() == "|")
            {
                generarAFN(nodo, m, nuevo);
            }
            else if (nodo.ToString() == ".")
            {
                generarAFN(nodo, m, nuevo);
            }
            else if (nodo.ToString() == "+")
            {
                generarAFN(nodo, m, nuevo);
            }
            else if (nodo.ToString() == "*")
            {
                generarAFN(nodo, m, nuevo);
            }
            else if (nodo.ToString() == "?")
            {
                generarAFN(nodo, m, nuevo);
            }
            else
            {
                revisarSimboloExistente(nodo);
                m        = k;
                l        = k + 1;
                grafica += "node" + m + "[label=\u0022" + m + "\u0022]; \n";
                grafica += "node" + l + "[label=\u0022" + l + "\u0022]; \n";
                NodoExpresion nuevo2 = new NodoExpresion();
                listaNodos.Add(nuevo2);
                nuevo2.Id = l;
                grafica  += "node" + m + " -> node" + l + " [label=\u0022 " + nodo.ToString().Replace('"', ' ').Trim() + "\u0022];\n";
                nuevo.TransicionIzquierda = nodo.ToString();
                nuevo.Izquierda           = nuevo2;
                k      = l;
                ultimo = nuevo2;
            }


            //Lado Derecho
            j++;
            int d = k;
            int r = d + 1;

            nodo = nodos.ElementAt(j);
            NodoExpresion nuevou = ultimo;

            if (nodo.ToString() == "|")
            {
                generarAFN(nodo, d, nuevou);
            }
            else if (nodo.ToString() == ".")
            {
                generarAFN(nodo, d, nuevou);
            }
            else if (nodo.ToString() == "+")
            {
                generarAFN(nodo, d, nuevou);
            }
            else if (nodo.ToString() == "*")
            {
                generarAFN(nodo, d, nuevou);
            }
            else if (nodo.ToString() == "?")
            {
                generarAFN(nodo, d, nuevou);
            }
            else
            {
                revisarSimboloExistente(nodo);
                d = k;
                NodoExpresion nuevo3 = ultimo;
                r = k + 1;
                NodoExpresion nuevo4 = new NodoExpresion();
                listaNodos.Add(nuevo4);
                nuevo4.Id = r;
                grafica  += "node" + r + "[label=\u0022" + r + "\u0022]; \n";
                grafica  += "node" + d + " -> node" + r + " [label=\u0022 " + nodo.ToString().Replace('"', ' ').Trim() + "\u0022];\n";
                nuevo3.TransicionIzquierda = nodo.ToString();
                nuevo3.Izquierda           = nuevo4;
                k      = r;
                ultimo = nuevo4;
            }
        }
コード例 #11
0
        public void separarNodos(List <Expresion> listaExpresiones, ListaCircularGaleria lg)
        {
            for (int h = 0; h < listaExpresiones.Count; h++)
            {
                String expresion     = listaExpresiones.ElementAt(h).ExpresionRegular;
                String nombreGrafica = listaExpresiones.ElementAt(h).Identificador;
                int    estado        = 0;
                string lexema        = "";
                Char   c;
                grafica  += "digraph " + nombreGrafica + " { \n";
                grafica  += "rankdir = \u0022LR\u0022; \n";
                grafica  += "node [shape = circle, height=.1]; \n";
                expresion = expresion + " ";
                for (int i = 0; i < expresion.Length; i++)
                {
                    c = expresion[i];
                    switch (estado)
                    {
                    case 0:
                        if (c == '|')
                        {
                            nodos.Add(c);
                        }
                        else if (c == '.')
                        {
                            nodos.Add(c);
                        }
                        else if (c == '+')
                        {
                            nodos.Add(c);
                        }
                        else if (c == '*')
                        {
                            nodos.Add(c);
                        }
                        else if (c == '?')
                        {
                            nodos.Add(c);
                        }
                        else if (c == '{')
                        {
                            estado = 1;
                        }
                        else if (c == '\u0022')
                        {
                            lexema += c;
                            estado  = 2;
                        }
                        break;

                    case 1:
                        if (c == '}')
                        {
                            nodos.Add(lexema);
                            lexema = "";
                            estado = 0;
                        }
                        else
                        {
                            lexema += c;
                        }
                        break;

                    case 2:
                        if (c == '\u0022')
                        {
                            lexema += c;
                            nodos.Add(lexema);
                            lexema = "";
                            estado = 0;
                        }
                        else
                        {
                            lexema += c;
                        }
                        break;
                    }
                }
                j = 0;
                Object        nodo  = nodos.ElementAt(j);
                NodoExpresion nuevo = new NodoExpresion();
                nuevo.Id = j;
                listaNodos.Add(nuevo);
                generarAFN(nodo, 0, nuevo);
                raiz     = nuevo;
                grafica += "}";
                Graficador gr = new Graficador();
                gr.graficar(grafica, nombreGrafica);
                MetodoSubconjuntos ms      = new MetodoSubconjuntos();
                List <int>         numeros = new List <int>();
                numeros.Add(0);
                Galeria nuevoGaleria = new Galeria();
                nuevoGaleria.Nombre   = nombreGrafica;
                nuevoGaleria.Simbolos = simbolos;
                ms.generarTabla(listaNodos, numeros, simbolos, nombreGrafica, ultimo, lg, nuevoGaleria);
                ms.GraficarAFD();
                nodos      = new List <object>();
                listaNodos = new List <NodoExpresion>();
                simbolos   = new List <object>();
                j          = 0;
                k          = 0;
                grafica    = "";
            }
        }