YES
Trs:
 {  v a a -> u v,
    v a c -> u b d,
      v c -> b,
    a c d -> c,
  u b d d -> b,
    w a a -> u w,
    w a c -> u b d,
      w c -> b}
 Comment:
  We consider a non-duplicating trs.
  BOUND:
   Automaton:
    {v_1(q21) -> q22,
      v_0(q7) -> q7,
      a_0(q7) -> q7,
     d_1(q44) -> q45,
     d_1(q25) -> q26,
      d_0(q7) -> q7,
     u_1(q17) -> q18,
      u_0(q7) -> q7,
     c_1(q12) -> q13,
      c_0(q7) -> q7,
     w_1(q16) -> q17,
      w_0(q7) -> q7,
     b_2(q36) -> q37,
     b_1(q32) -> q33,
     b_1(q26) -> q27,
      b_1(q8) -> q9,
      b_0(q7) -> q7,
          q45 -> q26,
          q37 -> q22 | q17,
          q33 -> q7,
          q27 -> q17,
          q22 -> q17,
          q18 -> q22 | q17 | q7,
          q13 -> q7,
          q12 -> q44 | q36 | q32,
           q9 -> q18 | q17 | q7,
           q7 -> q25 | q21 | q16 | q12 | q8}
   Strict:
   {}
   Qed