#3607 ⟨a, b | aababbabaa=a⟩

Up:Monoid enumeration
Prev:#3606 ⟨a, b | aababbaabb=b⟩
Next:#3608 ⟨a, b | aababbabaa=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. ba ⇒ c [2]
2. cacbc2 ⇒ c2bc2a [6]
3. cbc2a2 ⇒ ca2cbc [11]
4. a2cbc2 ⇒ acbc2a [5]
5. abc2a2 ⇒ a3cbc [10]
6. c2a2cbc ⇒ c [12]
7. aca2cbc ⇒ a [13]
# ab:aababbabaa=a cab ba=c morph:2/0
ba=c
cacbcc=ccbcca
cbccaa=caacbc
aacbcc=acbcca
abccaa=aaacbc
ccaacbc=c
acaacbc=a