#811 ⟨a, b, c | ab=a, bccb=1⟩

Up:Monoid enumeration
Prev:#809 ⟨a, b, c | ab=a, bcbc=1⟩
Next:#812 ⟨a, b, c | ab=a, bccc=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. ac2 ⇒ a [8]
2. acd ⇒ a [5]
3. dc2 ⇒ c2d [9]
4. ab ⇒ a [1]
5. cb ⇒ d [3]
6. bc2 ⇒ cd [7]
7. dcd ⇒ c [6]
8. bcd ⇒ 1 [4]
9. adb ⇒ ac [12]
10. cdb ⇒ 1 [10]
11. dbc ⇒ 1 [14]
12. b2c ⇒ db [13]
13. dbd ⇒ b [15]
14. d2b ⇒ b2dc [17]
15. db2 ⇒ b2d [16]
# abc:ab=a,bccb=1 reversed:ac/db cb=d morph:2/0
acc=a
acd=a
dcc=ccd
ab=a
cb=d
bcc=cd
dcd=c
bcd=1
adb=ac
cdb=1
dbc=1
bbc=db
dbd=b
ddb=bbdc
dbb=bbd