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