========================================================
The given Problem was:
a b a -> b b b 
b a b -> a b a 
========================================================
A self-embedding rewrite structure for the given SRS is:
   b a b a b b --(6)-> b a b a b b (#222)
   OC+OC at 1
      OC: b a b a b b --(5)-> b b a b b b (#25)
          OC+OC at 2
             OC: b a b --(2)-> b b b (#4)
                 OC+OC at 0
                    OC: b a b --(1)-> a b a (#2)
                        Rule
                    OC: a b a --(1)-> b b b (#1)
                        Rule
             OC: b a b b --(3)-> a b b b (#7)
                 OC+OC at 1
                    OC: b a b --(1)-> a b a (#2)
                        Rule
                    OC: b a b --(2)-> b b b (#4)
                        OC+OC at 0
                           OC: b a b --(1)-> a b a (#2)
                               Rule
                           OC: a b a --(1)-> b b b (#1)
                               Rule
      OC: b a b --(1)-> a b a (#2)
          Rule
Hence, the SRS is non-terminating.