The rewrite relation of the following TRS is considered.
h(X) | → | g(X,X) | (1) |
g(a,X) | → | f(b,activate(X)) | (2) |
f(X,X) | → | h(a) | (3) |
a | → | b | (4) |
activate(X) | → | X | (5) |
t0 | = | h(a) |
→ | g(a,a) | |
→ | f(b,activate(a)) | |
→ | f(b,a) | |
→ | f(b,b) | |
→ | h(a) | |
= | t5 |