〈a, b | aabbaa=aaba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a²ba ⇒ c
2. caba ⇒ a²bc
3. cb²a² ⇒ cba
4. cb²ac ⇒ cbc
5. c(ba)² ⇒ cb²c
6. a²b²c ⇒ cba
7. a²b²a² ⇒ c
8. a²b²ac ⇒ a²bc
9. cab²c ⇒ a²bcba
10. cab²a² ⇒ a²bc
11. cab²ac ⇒ cabc
12. cbab²c ⇒ cb²cba
13. cbab²a² ⇒ cb²c
14. cbab²ac ⇒ cbabc