#3382 ⟨a, b | aaaababaaa=a⟩

Up:Monoids with two generators and one relation
Prev:#3381 ⟨a, b | aaaabaabbb=b⟩
Next:#3383 ⟨a, b | aaaababaaa=b⟩

Quick links

  1. Properties
  2. Rewriting system

Properties

Rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
#RuleProof
1. aba ⇒ c [2]
2. abc ⇒ cba [4]
3. cba2 ⇒ acba [20]
4. cbca ⇒ c2ba [21]
5. cbac ⇒ acbc [15]
6. cbc2 ⇒ c2bc [16]
7. a5c ⇒ ca5 [27]
8. ca4c ⇒ a [26]
# ab:aaaababaaa=a reversed:bac aba=c morph:3/0
aba=c
abc=cba
cbaa=acba
cbca=ccba
cbac=acbc
cbcc=ccbc
aaaaac=caaaaa
caaaac=a