Skip to content

#361 baaaabaaba=a

Original presentation

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

Modified presentation

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

Complete rewriting system

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

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