#1593 ⟨a, b, c | aaa=bc, cbb=1⟩

Up:Monoid enumeration
Prev:#1592 ⟨a, b, c | aaa=bc, cab=1⟩
Next:#1594 ⟨a, b, c | aab=aa, aac=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. a3 ⇒ bc [1]
2. bca ⇒ abc [3]
3. cb2 ⇒ 1 [2]
4. cbab ⇒ cab2 [5]
5. c(ab)2 ⇒ ca2b2 [8]
6. cab2c ⇒ ca [7]
7. cba2b ⇒ ca2b2 [11]
8. ca(ab)2 ⇒ cb [10]
9. ca2b2c ⇒ ca2 [9]
10. caba2b ⇒ cb [12]
11. c(a2b)2 ⇒ cab [13]
# abc:aaa=bc,cbb=1 abc - -
aaa=bc
bca=abc
cbb=1
cbab=cabb
cabab=caabb
cabbc=ca
cbaab=caabb
caabab=cb
caabbc=caa
cabaab=cb
caabaab=cab