f(a, f(b, f(a,

f(b, f(b, f(b,

R

↳Dependency Pair Analysis

F(a, f(b, f(a,x))) -> F(a, f(b, f(b, f(a,x))))

F(a, f(b, f(a,x))) -> F(b, f(b, f(a,x)))

Furthermore,

R

↳DPs

→DP Problem 1

↳Narrowing Transformation

**F(a, f(b, f(a, x))) -> F(a, f(b, f(b, f(a, x))))**

f(a, f(b, f(a,x))) -> f(a, f(b, f(b, f(a,x))))

f(b, f(b, f(b,x))) -> f(b, f(b,x))

innermost

On this DP problem, a Narrowing SCC transformation can be performed.

As a result of transforming the rule

no new Dependency Pairs are created.

F(a, f(b, f(a,x))) -> F(a, f(b, f(b, f(a,x))))

The transformation is resulting in no new DP problems.

Duration:

0:00 minutes