#4550 ⟨a, b | aaabbaba=aab⟩

Up:Monoids with two generators and one relation
Prev:#4549 ⟨a, b | aaabbaba=aaa⟩
Next:#4551 ⟨a, b | aaabbaba=aba⟩

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. a2b ⇒ c [2]
2. c2(ba)2 ⇒ cab [6]
3. c(ab)2 ⇒ c2babc [7]
4. acbabc ⇒ cab [5]
5. ac(ba)2 ⇒ c [4]
6. cabcbabc ⇒ c2babcab [9]
7. cabc(ba)2 ⇒ c2babc [8]
# ab:aaabbaba=aab ca/b aab=c magic:0
aab=c
ccbaba=cab
cabab=ccbabc
acbabc=cab
acbaba=c
cabcbabc=ccbabcab
cabcbaba=ccbabc