f(

TRS

↳Dependency Pair Analysis

F(x) -> F(f(x))

F(x) -> F(x)

Furthermore,

TRS

↳DPs

→DP Problem 1

↳Non Termination

**F( x) -> F(x)**

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

innermost

Found an infinite P-chain over R:

P =

F(x) -> F(x)

F(x) -> F(f(x))

R =

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

s = F(

evaluates to t =F(

Thus, s starts an infinite chain.

Duration:

0:00 minutes