YES
Trs:
 {    f(0()) -> s(0()),
   f(s(0())) -> s(0()),
  f(s(s(x))) -> f(f(s(x)))}
 Comment:
  We consider a non-duplicating trs.
  BOUND:
   Automaton:
    {   0_3() -> q36,
        0_2() -> q24,
        0_1() -> q4,
        0_0() -> q3,
     s_3(q36) -> q37,
     s_2(q24) -> q25,
     s_2(q20) -> q21,
     s_1(q30) -> q31,
      s_1(q8) -> q9,
      s_1(q4) -> q5,
      s_0(q3) -> q3,
     f_2(q34) -> q35,
     f_2(q22) -> q23,
     f_2(q21) -> q22,
     f_1(q10) -> q11,
      f_1(q9) -> q10,
      f_0(q3) -> q3,
          q37 -> q35 | q23,
          q35 -> q10,
          q31 -> q10,
          q25 -> q22 | q11,
          q24 -> q30,
          q23 -> q34 | q10,
          q11 -> q10 | q3,
           q5 -> q10 | q3,
           q4 -> q20,
           q3 -> q8}
   Strict:
   {}
   Qed