========================================================
The given Problem was:
a -> 
a b -> b c b a a 
b -> a 
c c -> 
========================================================
A self-embedding rewrite structure for the given SRS is:
   b b b --(10)-> b c b b b a (#12567)
   OC+OC at 3
      OC: b b b --(4)-> b c b a b c b a (#183)
          OC+OC at 0
             OC: b --(1)-> a (#3)
                 Rule
             OC: a b b --(3)-> b c b a b c b a (#169)
                 OC+OC at 4
                    OC: a b --(1)-> b c b a a (#2)
                        Rule
                    OC: a b --(2)-> b c b a (#6)
                        OC+OC at 3
                           OC: a b --(1)-> b c b a a (#2)
                               Rule
                           OC: a --(1)->  (#1)
                               Rule
      OC: a b c --(6)-> b (#77)
          OC+OC at 1
             OC: a b --(5)-> b c (#34)
                 OC+OC at 2
                    OC: a b --(4)-> b c a (#13)
                        OC+OC at 2
                           OC: a b --(2)-> b c b a (#6)
                               OC+OC at 3
                                  OC: a b --(1)-> b c b a a (#2)
                                      Rule
                                  OC: a --(1)->  (#1)
                                      Rule
                           OC: b --(2)->  (#5)
                               OC+OC at 0
                                  OC: b --(1)-> a (#3)
                                      Rule
                                  OC: a --(1)->  (#1)
                                      Rule
                    OC: a --(1)->  (#1)
                        Rule
             OC: c c --(1)->  (#4)
                 Rule
Hence, the SRS is non-terminating.