〈a, b | ababba=bbaa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right abc
• Auxiliary generator bbaa=c

Complete rewriting system

1. abac ⇒ ca
2. b²a² ⇒ c
3. b²aca ⇒ cbac
4. abab²a ⇒ c
5. abab²c ⇒ b²ac
6. cbab²a ⇒ b²ac
7. (b²a)²c ⇒ cbab²c
8. cbab²ca ⇒ b(bac)²
9. c(bac)² ⇒ b²ac²a
10. abab⁴ac ⇒ cbab²c
11. cbab⁴ac ⇒ b²acbab²c
12. (cba)²b²c ⇒ (b²ac)²