YES
O(n)
TRS:
 {a(b(a(x))) -> b(a(b(x)))}
 DUP: We consider a non-duplicating system.
  Trs:
   {a(b(a(x))) -> b(a(b(x)))}
  BOUND:
   Automaton:
    {
      a_1(4) -> 5,
      a_0(2) -> 2,
     b_1(13) -> 14,
      b_1(5) -> 6,
      b_1(3) -> 4,
      b_0(2) -> 2,
          14 -> 4,
           6 -> 5 | 2,
           4 -> 13,
           2 -> 3
    }
   Strict:
    {}
   Qed