Back

〈a, b | aabbbbaab=a〉

Monoid presentation of length 10

Properties

Completion parameters

Complete rewriting system

  1. a3bab ⇒ (aba)2
  2. (aba)2b ⇒ ab2a2ba
  3. a2b4a ⇒ ab3a2b
  4. ab2a(ab)2 ⇒ ab3a2ba
  5. ab3a(ab)2 ⇒ a