Termination w.r.t. Q of the given QTRS could not be shown:

(0) Obligation:

Q restricted rewrite system:
The TRS R consists of the following rules:

f(X, g(X)) → f(1, g(X))
g(1) → g(0)

Q is empty.