The rewrite relation of the following TRS is considered.
| f(a,y) | → | f(y,g(y)) | (1) |
| g(a) | → | b | (2) |
| g(b) | → | b | (3) |
final states:
{5, 6}
transitions:
| g1(6) | → | 8 |
| g1(5) | → | 9 |
| b2 | → | 9 |
| b2 | → | 12 |
| f1(5,9) | → | 5 |
| f1(6,8) | → | 5 |
| f0(5,5) | → | 5 |
| f0(5,6) | → | 5 |
| f0(6,6) | → | 5 |
| f0(6,5) | → | 5 |
| a0 | → | 6 |
| f2(8,12) | → | 5 |
| g2(8) | → | 12 |
| b0 | → | 5 |
| b1 | → | 5 |
| b1 | → | 8 |
| b1 | → | 9 |
| g0(6) | → | 5 |
| g0(5) | → | 5 |