YES
Trs:
 {g(c(s(X), Y)) -> f(c(X, s(Y))),
  f(c(X, s(Y))) -> f(c(s(X), Y))}
 Comment:
  We consider a non-duplicating trs.
  BOUND:
   Automaton:
    {     g_0(q3) -> q3,
          g_0(q2) -> q3,
          g_0(q1) -> q3,
          g_0(q0) -> q3,
         s_2(q14) -> q14,
          s_2(q3) -> q14,
          s_2(q2) -> q14,
          s_2(q1) -> q14,
          s_2(q0) -> q14,
         s_1(q18) -> q18,
         s_1(q14) -> q18,
          s_1(q7) -> q7,
          s_1(q3) -> q7,
          s_1(q2) -> q7,
          s_1(q1) -> q7,
          s_1(q0) -> q7,
          s_0(q3) -> q2,
          s_0(q2) -> q2,
          s_0(q1) -> q2,
          s_0(q0) -> q2,
     c_2(q14, q7) -> q15,
     c_2(q14, q3) -> q15,
     c_2(q14, q2) -> q15,
     c_2(q14, q1) -> q15,
     c_2(q14, q0) -> q15,
     c_1(q18, q3) -> q8,
     c_1(q18, q2) -> q8,
     c_1(q18, q1) -> q8,
     c_1(q18, q0) -> q8,
      c_1(q7, q3) -> q11,
      c_1(q7, q2) -> q11,
      c_1(q7, q1) -> q11,
      c_1(q7, q0) -> q11,
      c_1(q3, q7) -> q8,
      c_1(q2, q7) -> q8,
      c_1(q1, q7) -> q8,
      c_1(q0, q7) -> q8,
      c_0(q3, q3) -> q1,
      c_0(q3, q2) -> q1,
      c_0(q3, q1) -> q1,
      c_0(q3, q0) -> q1,
      c_0(q2, q3) -> q1,
      c_0(q2, q2) -> q1,
      c_0(q2, q1) -> q1,
      c_0(q2, q0) -> q1,
      c_0(q1, q3) -> q1,
      c_0(q1, q2) -> q1,
      c_0(q1, q1) -> q1,
      c_0(q1, q0) -> q1,
      c_0(q0, q3) -> q1,
      c_0(q0, q2) -> q1,
      c_0(q0, q1) -> q1,
      c_0(q0, q0) -> q1,
         f_2(q15) -> q3,
         f_1(q11) -> q0,
          f_1(q8) -> q3,
          f_0(q3) -> q0,
          f_0(q2) -> q0,
          f_0(q1) -> q0,
          f_0(q0) -> q0}
   Strict:
   {}
   Qed