〈a, b | abaaab=baab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right cab
• Auxiliary generator aba=c

Complete rewriting system

1. abc ⇒ cba
2. aba ⇒ c
3. bc² ⇒ c³
4. bac ⇒ cac
5. ac³ ⇒ c²ac
6. (ac)² ⇒ c²
7. bcab ⇒ c²ab
8. ba²b ⇒ ca²b
9. ac²ab ⇒ c²a²b
10. aca²b ⇒ cab