The rewrite relation of the following TRS is considered.
| f(x,f(f(f(a,a),a),a)) | → | f(f(x,a),x) | (1) |
final states:
{2, 1}
transitions:
| f4(18,19) | → | 20 |
| f4(20,18) | → | 1 |
| a4 | → | 19 |
| a3 | → | 17 |
| a1 | → | 4 |
| f1(1,4) | → | 10 |
| f1(2,4) | → | 5 |
| f1(10,1) | → | 1 |
| f1(5,2) | → | 1 |
| a0 | → | 2 |
| a2 | → | 11 |
| f3(12,17) | → | 18 |
| f3(18,12) | → | 1 |
| f0(1,2) | → | 1 |
| f0(2,1) | → | 1 |
| f0(1,1) | → | 1 |
| f0(2,2) | → | 1 |
| f2(10,11) | → | 12 |
| f2(12,10) | → | 1 |