#3236 ⟨a, b, c | ba=ac, bccb=1⟩

Up:Monoid enumeration
Prev:#3235 ⟨a, b, c | ba=ac, bcbc=1⟩
Next:#3243 ⟨a, b, c | bb=aa, aaac=1⟩

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. b2d ⇒ db2 [17]
2. cb ⇒ d [3]
3. b2c ⇒ db [14]
4. dbd ⇒ b [16]
5. dbc ⇒ 1 [15]
6. cdb ⇒ 1 [9]
7. bcd ⇒ 1 [4]
8. bc2 ⇒ cd [6]
9. dcd ⇒ c [5]
10. cd2 ⇒ bdc2 [18]
11. c2d ⇒ dc2 [7]
12. ba ⇒ ac [1]
13. ca ⇒ dadb [12]
14. cda ⇒ adb [13]
# abc:ba=ac,bccb=1 b/dc/a cb=d morph:2/0
bbd=dbb
cb=d
bbc=db
dbd=b
dbc=1
cdb=1
bcd=1
bcc=cd
dcd=c
cdd=bdcc
ccd=dcc
ba=ac
ca=dadb
cda=adb