〈a, b | ababba=baba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left c/a/b
• Auxiliary generator babba=c

Complete rewriting system

1. ca²c² ⇒ ac²ac
2. acac² ⇒ cac
3. c(ac)²bc ⇒ ac⁴
4. ac²acbc ⇒ c³
5. a²c²bc ⇒ c²
6. bc² ⇒ a²c³bc
7. cba ⇒ ac²
8. bcac ⇒ a²c²ac³
9. bac² ⇒ (ac)²bc
10. ba²c ⇒ a²c²
11. b(ac)² ⇒ a(ac²)²
12. ba³c² ⇒ (ac)²
13. (ab)²c ⇒ bac
14. cb²a ⇒ babc
15. (ba)² ⇒ ac
16. b²ac ⇒ acbc
17. bab²a ⇒ c