private void enviarNodo(Nodo aux) { value = ""; if (aux != null) { if (!aux.isVisitado()) { if (aux.getTipo().CompareTo("transicion") == 0) { value = aux.Index + " -> " + aux.getIzquierda().Index + "[label=\"" + aux.getDato() + "\"];\n"; grafo.Append(value); aux.visitar(); enviarNodo(aux.getIzquierda()); } else if (aux.getTipo().CompareTo("transiciones") == 0) { value = aux.Index + " -> " + aux.getIzquierda().Index + "[label=\"" + aux.getDato() + "\"];\n"; grafo.Append(value); value = aux.Index + " -> " + aux.getDerecha().Index + "[label=\"" + aux.getDato() + "\"];\n"; grafo.Append(value); aux.visitar(); enviarNodo(aux.getIzquierda()); enviarNodo(aux.getDerecha()); } else if (aux.getTipo().CompareTo("asignable") == 0) { aux.visitar(); lastNode = aux; } } } }