The rewrite relation of the following TRS is considered.
g(f(x),y) | → | f(h(x,y)) | (1) |
h(x,y) | → | g(x,f(y)) | (2) |
final states:
{0, 1, 2}
transitions:
f0(0) | → | 0 |
g0(0,0) | → | 1 |
h0(0,0) | → | 2 |
h1(0,0) | → | 3 |
f1(3) | → | 1 |
f1(0) | → | 4 |
g1(0,4) | → | 2 |
h1(0,4) | → | 3 |
f1(3) | → | 2 |
f2(0) | → | 5 |
g2(0,5) | → | 3 |
f2(4) | → | 5 |
h1(0,5) | → | 3 |
f1(3) | → | 3 |
f2(5) | → | 5 |