YES

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

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