#064 aaaabababa=babaaaaa

Original presentation

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

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

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

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