〈a, b | abaabab=aab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left bc/a
• Auxiliary generator aab=c

Complete rewriting system

1. ac ⇒ c²ab
2. abc² ⇒ c²ab
3. a²b ⇒ c
4. abcab ⇒ c