YES
TRS:
 {   f(f(X)) -> f(a(b(f(X)))),
  f(a(g(X))) -> b(X),
        b(X) -> a(X)}
 RUF:
  Strict:
   {f(f(X)) -> f(a(b(f(X)))),
       b(X) -> a(X)}
  Weak:
   {}
  DP:
   Strict:
    {f#(f(X)) -> f#(a(b(f(X)))),
     f#(f(X)) -> b#(f(X))}
   Weak:
   {f(f(X)) -> f(a(b(f(X)))),
       b(X) -> a(X)}
   EDG:
    {}
    SCCS:
     
     Qed