YES

Problem:
 f(g(x)) -> g(g(f(x)))
 f(g(x)) -> g(g(g(x)))

Proof:
 String Reversal Processor:
  g(f(x)) -> f(g(g(x)))
  g(f(x)) -> g(g(g(x)))
  KBO Processor:
   weight function:
    w0 = 1
    w(f) = 1
    w(g) = 0
   precedence:
    g > f
   problem:
    
   Qed