public void alter_afaf(AFN a, AFN b)
{
Class_nodos i = new Class_nodos(); i.aumentarcount(); i.setTipoNodo("alter"); // le da numeracion al nodo
Class_nodos f = new Class_nodos(); f.aumentarcount(); f.setTipoNodo("alter"); // le da numeracion al nodo
i.addTransicion(new Class_transiciones("£", a.getInicio().getContadorNodo().ToString())); //punteros de i
i.addTransicion(new Class_transiciones("£", b.getInicio().getContadorNodo().ToString())); //punteros de i
i.setNext1(a.getInicio()); a.getFinal().setNext1(f); a.getFinal().addTransicion(new Class_transiciones("£", f.getContadorNodo().ToString())); //punteros de a.final
i.setNext2(b.getInicio()); b.getFinal().addTransicion(new Class_transiciones("£", f.getContadorNodo().ToString())); //punteros de a.final
//b.getFinal().setNext1(f); //tal vez de error al recorrer
this.inicio = i; this.final = f;
}