#1858 ⟨a, b, c | aba=bb, cac=1⟩

Up:Monoid enumeration
Prev:#1857 ⟨a, b, c | aba=bb, caa=1⟩
Next:#1860 ⟨a, b, c | aba=bb, ccc=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. c2b3 ⇒ b3c2 [9]
2. c2b2cb ⇒ bcb2c2 [10]
3. c2b2c2 ⇒ b [7]
4. ab ⇒ b2c2 [5]
5. acb ⇒ cb2c2 [6]
6. ac2 ⇒ 1 [4]
7. ba ⇒ c2b2 [8]
8. ca ⇒ ac [3]
# abc:aba=bb,cac=1 bc/a - -
ccbbb=bbbcc
ccbbcb=bcbbcc
ccbbcc=b
ab=bbcc
acb=cbbcc
acc=1
ba=ccbb
ca=ac