#23310 ⟨a, b | aaa=1, babb=abba⟩

Up:Monoid enumeration
Prev:#23309 ⟨a, b | aaa=1, babb=abab⟩
Next:#23311 ⟨a, b | aaa=1, babb=abbb⟩

Contents

  1. Properties
  2. Rewriting system

Properties

Rewriting system

Format:
Word:
Enter a word above to compute its normal form. Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Strategy:
Result: 1 
1
#RuleProof
1. a3 ⇒ 1 [1]
2. b2a2b ⇒ a2b2a [13]
3. bab2 ⇒ ab2a [2]
4. ba2b2 ⇒ b(ba)2 [11]
5. ab3 ⇒ b3a [14]
6. b4 ⇒ ab2aba2 [17]
7. b3ab ⇒ a2b2aba2 [16]
8. b2(ab)2 ⇒ ab(ba)2 [18]
9. b2aba2b ⇒ a2b2 [15]
# ab:aaa=1,babb=abba a/b - -
aaa=1
bbaab=aabba
babb=abba
baabb=bbaba
abbb=bbba
bbbb=abbabaa
bbbab=aabbabaa
bbabab=abbaba
bbabaab=aabb