The TRS could be proven terminating. The proof took 16 ms.
Problem 1 was processed with processor DependencyGraph (3ms).
| f#(f(a)) | → | f#(a) | activate#(n__f(X)) | → | f#(X) |
| f(f(a)) | → | c(n__f(g(f(a)))) | f(X) | → | n__f(X) | |
| activate(n__f(X)) | → | f(X) | activate(X) | → | X |
Termination of terms over the following signature is verified: f, activate, g, c, a, n__f