〈a, b | aabaab=baaa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right bac
• Auxiliary generator aab=c

Complete rewriting system

1. a²b ⇒ c
2. c²b ⇒ bac
3. ba³ ⇒ c²
4. ca³ ⇒ a²c²
5. c²ab ⇒ ba²c