The rewrite relation of the following TRS is considered.
| p(p(b(a(x0)),x1),p(x2,x3)) | → | p(p(x3,a(x2)),p(b(a(x1)),b(x0))) | (1) |
final states:
{4}
transitions:
| b0(4) | → | 4 |
| a0(4) | → | 4 |
| p0(4,4) | → | 4 |
| a1(19) | → | 12 |
| a1(15) | → | 12 |
| a1(16) | → | 17 |
| a1(4) | → | 12 |
| a1(4) | → | 15 |
| a1(13) | → | 19 |
| b1(4) | → | 11 |
| b1(12) | → | 13 |
| p1(16,14) | → | 4 |
| p1(14,17) | → | 16 |
| p1(11,19) | → | 16 |
| p1(4,15) | → | 16 |
| p1(13,11) | → | 14 |