YES
Time: 0.000425
TRS:
 {g(a(), x) -> f(b(), x),
  f(a(), x) -> g(a(), x),
  f(a(), x) -> f(b(), x)}
 DP:
  DP:
   {g#(a(), x) -> f#(b(), x),
    f#(a(), x) -> g#(a(), x),
    f#(a(), x) -> f#(b(), x)}
  TRS:
  {g(a(), x) -> f(b(), x),
   f(a(), x) -> g(a(), x),
   f(a(), x) -> f(b(), x)}
  EDG:
   {(f#(a(), x) -> g#(a(), x), g#(a(), x) -> f#(b(), x))}
   SCCS (0):
    
    Qed