YES
Trs:
 {a a -> a b a}
 Comment:
  We consider a non-duplicating trs.
  BOUND:
   Automaton:
    {b_2(q11) -> q12,
      b_1(q3) -> q4,
      b_0(q1) -> q1,
     a_2(q12) -> q13,
     a_2(q10) -> q11,
      a_1(q4) -> q5,
      a_1(q2) -> q3,
      a_0(q1) -> q1,
          q13 -> q3,
           q5 -> q3 | q1,
           q4 -> q10,
           q1 -> q2}
   Strict:
   {}
   Qed