f(

TRS

↳Dependency Pair Analysis

F(x) -> F(a)

Furthermore,

TRS

↳DPs

→DP Problem 1

↳Non Termination

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

f(x) -> f(a)

Found an infinite P-chain over R:

P =

F(x) -> F(a)

R =

f(x) -> f(a)

s = F(a)

evaluates to t =F(a)

Thus, s starts an infinite chain.

Duration:

0:00 minutes