The rewrite relation of the following TRS is considered.
f(X,X) | → | f(a,n__b) | (1) |
b | → | a | (2) |
b | → | n__b | (3) |
activate(n__b) | → | b | (4) |
activate(X) | → | X | (5) |
[activate(x1)] | = |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
[a] | = |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
[b] | = |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
[f(x1, x2)] | = |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
[n__b] | = |
|
b | → | a | (2) |
b | → | n__b | (3) |
activate(n__b) | → | b | (4) |
activate(X) | → | X | (5) |
f#(X,X) | → | f#(a,n__b) | (6) |
The dependency pairs are split into 0 components.