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);
}