A theorem on graft
You've defined a graft operation in this
exercise .
Prove that, if some tree t1 has only infinite branches,
then t1 and (graft t1 t2) are
bisimilar (see this and
this exercise).
Resources
All the solutions of this thread of exercises.
Solution
Follow this link for a complete solution.