by Hakusan
The rewrite relation of the following TRS is considered.
c | → | f(f(c)) |
h(h(h(b,b),f(f(a))),f(f(f(a)))) | → | a |
b | → | h(h(f(a),c),f(a)) |
t0 | = | h(h(h(b,b),f(f(a))),f(f(f(a)))) |
→1.1.1 | h(h(h(h(h(f(a),c),f(a)),b),f(f(a))),f(f(f(a)))) | |
= | t1 |
t0 | = | h(h(h(b,b),f(f(a))),f(f(f(a)))) |
→ε | a | |
= | t1 |
Hakusan