(0) Obligation:
Relative term rewrite system:
The relative TRS consists of the following R rules:
a → b
The relative TRS consists of the following S rules:
f(x) → c(x, f(x))
(1) RelTRSEmissionProof (COMPLETE transformation)
The TRS S admits the following R-emitting loop:
f(x)→c(x, f(x))
Therefore R/S does not terminate.
(2) NO