#3040 ⟨a, b, c | aba=b, bcb=c⟩

Up:Monoid enumeration
Prev:#3039 ⟨a, b, c | aba=b, bcb=a⟩
Next:#3041 ⟨a, b, c | aba=b, cac=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. b2d ⇒ db2 [8]
2. ab2 ⇒ d [3]
3. b2a ⇒ d [4]
4. dbd ⇒ b5 [12]
5. dba ⇒ b3 [7]
6. ad ⇒ da [6]
7. abd ⇒ b3 [5]
8. aba ⇒ b [1]
9. bcb ⇒ c [2]
10. bcd ⇒ cba [10]
11. ac ⇒ dcb2 [13]
12. abc ⇒ dcb [11]
13. bc2 ⇒ c2b [9]
# abc:aba=b,bcb=c b/da/c abb=d morph:3/3
bbd=dbb
abb=d
bba=d
dbd=bbbbb
dba=bbb
ad=da
abd=bbb
aba=b
bcb=c
bcd=cba
ac=dcbb
abc=dcb
bcc=ccb