The rewrite relation of the following TRS is considered.
f(f(X)) | → | c | (1) |
c | → | d | (2) |
h(X) | → | c | (3) |
final states:
{0, 1, 2, 3}
transitions:
f0(0) | → | 0 |
f0(1) | → | 0 |
f0(2) | → | 0 |
f0(3) | → | 0 |
c0 | → | 1 |
d0 | → | 2 |
h0(0) | → | 3 |
h0(1) | → | 3 |
h0(2) | → | 3 |
h0(3) | → | 3 |
c1 | → | 0 |
d1 | → | 1 |
d2 | → | 0 |
0 | → | 3 |