〈a, b | aaaaba=baba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a⁴c² ⇒ ca⁴c
2. a⁸c ⇒ c²
3. (a⁴c)² ⇒ c³
4. cba ⇒ a⁴c
5. a⁴ba ⇒ c
6. cbc ⇒ a⁴ca³ba
7. a⁴bc ⇒ ca³ba
8. bac ⇒ a⁴c
9. ba⁵c ⇒ c²
10. (ba)² ⇒ c
11. babc ⇒ ca³ba