A theorem on graft

You've defined a graft operation in this exercise , and proved some properties of this operation in this one .
Prove that, if some tree t1 has only infinite branches, then t1 and (graft t1 t2) are bisimilar (see this and this exercise).


All the solutions of this thread of exercises.


Follow this link for a complete solution.

Going home
Pierre Castéran