YES
Trs:
 {d u -> c,
    d -> e u,
  c u -> b,
  v e -> ,
  b u -> a e}
 Comment:
  We consider a non-duplicating trs.
  BOUND:
   Automaton:
    { d_0(q6) -> q6,
     c_1(q25) -> q26,
      c_1(q9) -> q10,
      c_0(q6) -> q6,
      v_0(q6) -> q6,
     u_1(q14) -> q15,
      u_0(q6) -> q6,
     b_2(q29) -> q30,
     b_1(q21) -> q22,
      b_1(q7) -> q8,
      b_0(q6) -> q6,
     e_2(q37) -> q38,
     e_1(q33) -> q34,
     e_1(q15) -> q16,
     e_1(q11) -> q12,
      e_0(q6) -> q6,
     a_2(q38) -> q39,
     a_1(q12) -> q13,
      a_0(q6) -> q6,
          q39 -> q30 | q22 | q8,
          q34 -> q12,
          q30 -> q26 | q10,
          q26 -> q6,
          q22 -> q6,
          q16 -> q6,
          q15 -> q6,
          q14 -> q37 | q33 | q29 | q25 | q21,
          q13 -> q30 | q22 | q8 | q6,
          q10 -> q6,
           q8 -> q26 | q10 | q6,
           q6 -> q14 | q11 | q9 | q7}
   Strict:
   {}
   Qed