#12474 ⟨a, b | aabb=ba, abbb=a⟩

Up:Monoid enumeration
Prev:#12468 ⟨a, b | aabb=ab, bbbb=b⟩
Next:#12477 ⟨a, b | aabb=ba, baaa=b⟩

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. ab3 ⇒ a [2]
2. b4a ⇒ ba [10]
3. a2 ⇒ bab [3]
4. (ba)2 ⇒ (ab)2 [4]
5. b(b2a)2 ⇒ ab2a [8]
6. abab2a ⇒ (b2a)2b [5]
7. ba(b2a)2 ⇒ a(b2a)2b [6]
# ab:aabb=ba,abbb=a b/a - -
abbb=a
bbbba=ba
aa=bab
baba=abab
bbbabba=abba
ababba=bbabbab
babbabba=abbabbab