#256 ababbaabaa=baabaaba

Original presentation

\( \left\langle a, b \;\middle|\; a b a b^{2} a^{2} b a^{2} = b a^{2} b a^{2} b a \right\rangle \)

Modified presentation

\( \left\langle a, b, c, d, e \;\middle|\; a e a = c a c a c,\; c = b a,\; d = b c a,\; e = c d c \right\rangle \)

Complete rewriting system

Using reversed recursive path order (RevRPOCmp) with \(e < c < d < a < b\):

\( \begin{aligned} b a &\rightarrow c \\ b c a &\rightarrow d \\ c a c a c &\rightarrow a e a \\ c d c &\rightarrow e \\ d c a c &\rightarrow c e a \\ c a^{2} e a &\rightarrow a e a^{2} c \\ c a c a e &\rightarrow a e a d c \\ c d e &\rightarrow e d c \\ d a e a &\rightarrow c e a^{2} c \\ d c a e &\rightarrow c e a d c \\ c^{2} e a &\rightarrow e a c \end{aligned} \)