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