YES
Trs:
 {f(x, y) -> h(y, x),
  f(x, y) -> h(x, y),
  h(x, x) -> x}
 Comment:
  We consider a non-duplicating trs.
  BOUND:
   Automaton:
    {f_0(q2, q2) -> q2,
     h_1(q2, q2) -> q2,
     h_0(q2, q2) -> q2}
   Strict:
   {}
   Qed