#1709 ⟨a, b | aabbaaaab=a⟩

Up:Monoid enumeration
Prev:#1708 ⟨a, b | aababbbba=b⟩
Next:#1710 ⟨a, b | aabbaaaab=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. c2b2cb ⇒ cb(bc)2 [9]
2. c2(bcb)2 ⇒ c2b3cbc [20]
3. (cb)3bcb ⇒ cbcb3cbc [19]
4. (cb2cb)2 ⇒ c(b2cb)2c [11]
5. c2b3c(bcb)2 ⇒ c2(b3c)2bc [22]
6. cbcb3c(bcb)2 ⇒ cbc(b3c)2bc [21]
7. cb2cb3c(bcb)2 ⇒ c(b2cb)3c [17]
8. c2(b3c)2(bcb)2 ⇒ cbc(b3c)2bcb2c [23]
9. cbc(b3c)2(bcb)2 ⇒ c(b2cb)3cb2c [18]
10. c(b2cb)3cb2cb ⇒ c [16]
11. a ⇒ c(b2cb)3 [14]
# ab:aabbaaaab=a bc/a aaaa=c morph:4/0
ccbbcb=cbbcbc
ccbcbbcb=ccbbbcbc
cbcbcbbcb=cbcbbbcbc
cbbcbcbbcb=cbbcbbbcbc
ccbbbcbcbbcb=ccbbbcbbbcbc
cbcbbbcbcbbcb=cbcbbbcbbbcbc
cbbcbbbcbcbbcb=cbbcbbbcbbbcbc
ccbbbcbbbcbcbbcb=cbcbbbcbbbcbcbbc
cbcbbbcbbbcbcbbcb=cbbcbbbcbbbcbcbbc
cbbcbbbcbbbcbcbbcb=c
a=cbbcbbbcbbbcb