nodo duplicar(nodo dupl) { if (dupl == null) { return(dupl); } nodo n = dupl; dupl = new nodo("", false, false, false); dupl.setValor(n.getValor()); dupl.setEsTerminal(n.getEsTerminal()); dupl.setUnitario(n.getUnitario()); dupl.setAnulable(n.getAnulable()); dupl.setIzquierda(duplicar(n.getIzquierda())); dupl.setDerecha(duplicar(n.getDerecha())); return(dupl); }