〈a, b | ababba=baab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ac/b
• Auxiliary generator bba=c

Complete rewriting system

1. ba²b ⇒ abac
2. bcab ⇒ cbac
3. b²a ⇒ c
4. abacba ⇒ ba²c
5. (cba)² ⇒ bcac
6. (ba)²c ⇒ cab
7. ba³bac ⇒ abaca²b
8. bca²bac ⇒ cbaca²b
9. (abac)² ⇒ ba²cab
10. cbacabac ⇒ b(ca)²b
11. ba²cbac ⇒ abac²ab
12. bcacbac ⇒ cbac²ab
13. baba²c ⇒ ab(ac)²ba
14. bcba²c ⇒ cb(ac)²ba
15. (ab)²cac ⇒ ba²c²ba
16. cbabcac ⇒ bcac²ba