f(g(

R

↳Dependency Pair Analysis

F(g(x,y), f(y,y)) -> F(g(y,x),y)

Furthermore,

R

↳DPs

→DP Problem 1

↳Instantiation Transformation

**F(g( x, y), f(y, y)) -> F(g(y, x), y)**

f(g(x,y), f(y,y)) -> f(g(y,x),y)

innermost

On this DP problem, an Instantiation SCC transformation can be performed.

As a result of transforming the rule

one new Dependency Pair is created:

F(g(x,y), f(y,y)) -> F(g(y,x),y)

F(g(f(y'',y''),y''), f(y'',y'')) -> F(g(y'', f(y'',y'')),y'')

The transformation is resulting in no new DP problems.

Duration:

0:00 minutes