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