f(g(a)) -> f(s(g(b)))

f(f(

g(

R

↳Dependency Pair Analysis

F(g(a)) -> F(s(g(b)))

F(g(a)) -> G(b)

G(x) -> F(g(x))

G(x) -> G(x)

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**G( x) -> G(x)**

f(g(a)) -> f(s(g(b)))

f(f(x)) -> b

g(x) -> f(g(x))

innermost

Duration:

0:00 minutes