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